From 8bd7de80e3f29d5102b78e0e9dff29251dad94e4 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 15 Oct 2009 21:08:15 +0000 Subject: [PATCH] cleaned up old code so it now at least compiles (and, in some cases, runs) svn: r16331 --- collects/games/paint-by-numbers/info.ss | 18 +- .../raw-problems/build-final.ss | 10 +- .../raw-problems/build-hattori.ss | 34 +- .../raw-problems/build-kajitani.ss | 36 +- .../raw-problems/build-rows-cols.ss | 7 +- .../raw-problems/build-solution-sets.ss | 27 +- .../raw-problems/count-missing.ss | 45 - .../raw-problems/raw-hattori.ss | 3317 +---------------- .../raw-problems/raw-kajitani.ss | 7 +- .../paint-by-numbers/raw-problems/raw-misc.ss | 9 +- .../raw-problems/raw-problems.ss | 5 + .../raw-problems/size-calculation.ss | 8 +- 12 files changed, 111 insertions(+), 3412 deletions(-) delete mode 100644 collects/games/paint-by-numbers/raw-problems/count-missing.ss diff --git a/collects/games/paint-by-numbers/info.ss b/collects/games/paint-by-numbers/info.ss index 55beccd2a9..7f1911b79a 100644 --- a/collects/games/paint-by-numbers/info.ss +++ b/collects/games/paint-by-numbers/info.ss @@ -3,23 +3,7 @@ (define game "paint-by-numbers.ss") (define game-set "Puzzle Games") (define compile-omit-paths - '(;; Skipped because it's huge - lots of data-encoding units - "all-problems.ss" - ;; Skipped because it requires all-problems.ss - "paint-by-numbers.ss" - ;; Skipped because these are used only to build the huge units. - "build-hattori.ss" - "build-kajitani.ss" - "build-problems.ss" - "raw-hattori.ss" - "raw-kajitani.ss" - "raw-problems.ss" - "raw-misc.ss" - "build-rows-cols.ss" - "count-missing.ss" - "main.ss" - ;; directories too + '("main.ss" "hattori" "problems" - "raw-problems" "solution-sets")) diff --git a/collects/games/paint-by-numbers/raw-problems/build-final.ss b/collects/games/paint-by-numbers/raw-problems/build-final.ss index b2d7fd4d0f..6af4d81b1b 100644 --- a/collects/games/paint-by-numbers/raw-problems/build-final.ss +++ b/collects/games/paint-by-numbers/raw-problems/build-final.ss @@ -1,6 +1,6 @@ -#!/bin/sh +#lang mzscheme + #| -exec mzscheme -qr $0 "$@" This script constructs the contents of the problems directory from the solutions directory. This process merely consists of @@ -30,7 +30,7 @@ in ... (define set-name ,set-name) - (define problems (list ,@problems))) + (define problems (list ,problems ...))) `(unit/sig paint-by-numbers:problem-set^ (import paint-by-numbers:problem^) @@ -68,4 +68,6 @@ in ... (copy-file (build-path 'up "solution-sets" "directory") (build-path 'up "problems" "directory")) -(for-each shrink-file (call-with-input-file (build-path 'up "problems" "directory") read)) +(provide main) +(define (main) + (for-each shrink-file (call-with-input-file (build-path 'up "problems" "directory") read))) diff --git a/collects/games/paint-by-numbers/raw-problems/build-hattori.ss b/collects/games/paint-by-numbers/raw-problems/build-hattori.ss index 79ee274b42..0a963b55a2 100644 --- a/collects/games/paint-by-numbers/raw-problems/build-hattori.ss +++ b/collects/games/paint-by-numbers/raw-problems/build-hattori.ss @@ -1,18 +1,13 @@ -#!/bin/sh - -string=? ; exec mred -qmvr $0 +#lang scheme/gui ;;; these come from: ;;; http://www.ask.ne.jp/~hattori/puzzle/menu.html ;;; We must cite him in the game somewhere... -(require-library "pretty.ss") -(require-library "errortrace.ss" "errortrace") - (define pixel-size 10) -(define (main n) - (let ([grid (calculate-grid (build-path "hattori" (format "~a.gif" n)))]) +(define (main-n n) + (let ([grid (calculate-grid (build-path 'up "hattori" (format "~a.gif" n)))]) (display-grid grid) (pretty-print (build-problem @@ -162,14 +157,15 @@ string=? ; exec mred -qmvr $0 (map on-off->blocks (transpose on-off-lists)) on-off-lists)) -(call-with-output-file "raw-hattori.ss" - (lambda (port) - (parameterize ([current-output-port port]) - (printf "`(~n") - (let loop ([n 1]) - (when (<= n 139) - (main n) - (loop (+ n 1)))) - (printf ")"))) - 'text - 'truncate) +(provide main) +(define (main) + (call-with-output-file "raw-hattori.ss" + (lambda (port) + (parameterize ([current-output-port port]) + (printf "`(~n") + (let loop ([n 1]) + (when (<= n 139) + (main-n n) + (loop (+ n 1)))) + (printf ")"))) + #:exists 'truncate)) diff --git a/collects/games/paint-by-numbers/raw-problems/build-kajitani.ss b/collects/games/paint-by-numbers/raw-problems/build-kajitani.ss index 924d06478a..d7da60ae12 100644 --- a/collects/games/paint-by-numbers/raw-problems/build-kajitani.ss +++ b/collects/games/paint-by-numbers/raw-problems/build-kajitani.ss @@ -1,3 +1,7 @@ +#lang scheme + +;; AFAICT, the input to the thing is long gone. + #!/bin/sh string=? ; exec mzscheme -qr $0 @@ -5,11 +9,6 @@ string=? ; exec mzscheme -qr $0 ;; this builds raw-kajitani.ss from full-kajitani ;; raw-kajitani.ss is used in build-problems.ss -(require-library "pretty.ss") -(require-library "function.ss") -(require-library "errortrace.ss" "errortrace") -(require-library "string.ss") - (define (make-strings-mutable sexp) (cond [(string? sexp) (string-copy sexp)] @@ -29,40 +28,41 @@ string=? ; exec mzscheme -qr $0 "allowed-email") read))) -(define counters (make-hash-table)) +(define counters (make-hasheq)) -(define email-ht (make-hash-table)) -(for-each (lambda (email) (hash-table-put! email-ht (string->symbol email) null)) +(define email-ht (make-hasheq)) +(for-each (lambda (email) (hash-set! email-ht (string->symbol email) null)) allowed-emails) (define kajitani-sets - (let ([ht (make-hash-table)]) + (let ([ht (make-hasheq)]) (for-each (lambda (kaj-set) - (let ([email (cadddr kaj-set)]) - (when (string? email) - (string-lowercase! email)) + (let* ([raw-email (cadddr kaj-set)] + [email (if (string? raw-email) + (string-downcase raw-email) + raw-email)]) (when (member email allowed-emails) (let ([email-sym (string->symbol email)]) - (hash-table-put! email-ht email-sym + (hash-set! email-ht email-sym (cons (car kaj-set) - (hash-table-get email-ht email-sym)))) + (hash-ref email-ht email-sym)))) (let ([tag (string->symbol (format "~ax~a" (car (car kaj-set)) (cadr (car kaj-set))))] [rows/cols (list (caddr (car kaj-set)) (cdr kaj-set))]) - (hash-table-put! + (hash-set! ht tag (cons rows/cols - (hash-table-get + (hash-ref ht tag (lambda () null)))))))) raw-kajitani) - (hash-table-map ht (lambda (x l) (list x (reverse l)))))) + (hash-map ht (lambda (x l) (list x (reverse l)))))) (printf "stats by email~n") (let ([total 0]) @@ -76,7 +76,7 @@ string=? ; exec mzscheme -qr $0 len ;v )))) - (sort (hash-table-map email-ht list) + (sort (hash-map email-ht list) (lambda (x y) (> (length (cadr x)) (length (cadr y)))))) diff --git a/collects/games/paint-by-numbers/raw-problems/build-rows-cols.ss b/collects/games/paint-by-numbers/raw-problems/build-rows-cols.ss index 831689e365..180e88ed4e 100644 --- a/collects/games/paint-by-numbers/raw-problems/build-rows-cols.ss +++ b/collects/games/paint-by-numbers/raw-problems/build-rows-cols.ss @@ -1,6 +1,7 @@ -#!/bin/sh - -string=? ; exec mred -mvgqr $0 "$@" +#lang mzscheme +(require mred + mzlib/class) +(define argv (current-command-line-arguments)) (when (equal? (vector) argv) (error 'build-rows-cols.ss diff --git a/collects/games/paint-by-numbers/raw-problems/build-solution-sets.ss b/collects/games/paint-by-numbers/raw-problems/build-solution-sets.ss index 597ebfad59..3de1fa9f5a 100644 --- a/collects/games/paint-by-numbers/raw-problems/build-solution-sets.ss +++ b/collects/games/paint-by-numbers/raw-problems/build-solution-sets.ss @@ -1,6 +1,4 @@ -#!/bin/sh - -string=? ; exec mred -qr $0 "$@" +#lang mzscheme #| @@ -24,9 +22,12 @@ The col and row type specs are in sig.ss and the solution type is: mzlib/list mzlib/file mzlib/pretty + mzlib/class + mred + "raw-hattori.ss" (prefix solve: "../solve.ss")) -(if (eq? (vector) argv) +(if (equal? (vector) argv) (fprintf (current-error-port) "pass any command line argument to skip the solver~n~n") (fprintf (current-error-port) "skipping the solver~n")) @@ -34,7 +35,7 @@ The col and row type specs are in sig.ss and the solution type is: (define memory-frame% (class frame% - (define/override (can-close?) #f) + (define/augment (can-close?) #f) (super-instantiate ()))) (define memory-frame (parameterize ([current-eventspace (make-eventspace)]) @@ -45,7 +46,7 @@ The col and row type specs are in sig.ss and the solution type is: (define memory-ec (make-object editor-canvas% memory-vp memory-text '(hide-hscroll hide-vscroll))) (define memory-gauge (make-object gauge% #f 10000 memory-vp)) (define memory-canvas (make-object canvas% memory-hp)) -(define memory-on-bitmap (make-object bitmap% (build-path (collection-path "icons") "recycle.gif"))) +(define memory-on-bitmap (make-object bitmap% (build-path (collection-path "icons") "recycle.png"))) (define memory-off-bitmap (make-object bitmap% (send memory-on-bitmap get-width) (send memory-on-bitmap get-height))) @@ -82,9 +83,6 @@ The col and row type specs are in sig.ss and the solution type is: (define hattori-sets (let* ([set-size 30] - [raw-hattori - (call-with-input-file (build-path problems-dir "raw-problems" "raw-hattori.ss") - (compose eval read))] [hattori-count (length raw-hattori)]) (let o-loop ([n 0]) (cond @@ -111,13 +109,14 @@ The col and row type specs are in sig.ss and the solution type is: output-file (call-with-input-file (build-path problems-dir input-file) (compose eval read)))) -(define games-set (build-set "Games Magazine" "games" "raw-problems/raw-problems.ss")) +(require "raw-problems.ss") +(define games-set (list "Games Magazine" "games" raw-problems)) -(define misc-set (build-set "Misc" "misc" "raw-problems/raw-misc.ss")) +(require "raw-misc.ss") +(define misc-set (list "Misc" "misc" raw-misc)) -(define kajitani-sets - (call-with-input-file (build-path (collection-path "games" "paint-by-numbers") "raw-problems" "raw-kajitani.ss") - read)) +(require "raw-kajitani.ss") +(define kajitani-sets raw-kajitani) (define sets (append (list games-set) (list misc-set) diff --git a/collects/games/paint-by-numbers/raw-problems/count-missing.ss b/collects/games/paint-by-numbers/raw-problems/count-missing.ss deleted file mode 100644 index 2d208eaaaf..0000000000 --- a/collects/games/paint-by-numbers/raw-problems/count-missing.ss +++ /dev/null @@ -1,45 +0,0 @@ -#!/bin/sh - -string=? ; exec mzscheme -qr $0 - -(printf "checking problems in ~s~n" (collection-path "games" "paint-by-numbers")) - -(require-library "sig.ss" "games" "paint-by-numbers") - -(require-library "errortrace.ss" "errortrace") - -(define counter - (unit/sig () - (import paint-by-numbers:problem^ - paint-by-numbers:all-problems^) - - (define total 0) - (define total-missing 0) - - (define (filter p l) - (cond - [(null? l) null] - [(p (car l)) (cons (car l) (filter p (cdr l)))] - [else (filter p (cdr l))])) - - (define (check-set problems set-name) - (let ([missing (filter (lambda (x) x) - (map (lambda (problem) (if (problem-solution problem) #f (problem-name problem))) - problems))]) - (set! total (+ (length problems) total)) - (set! total-missing (+ (length missing) total-missing)) - (unless (null? missing) - (printf "~a missing ~a~n" set-name (length missing)) - (for-each (lambda (x) (printf " ~a~n" x)) missing)))) - - - (for-each check-set problemss set-names) - (printf "missing ~a of ~a~n" total-missing total))) - -(invoke-unit/sig - (compound-unit/sig (import) - (link - [problem : paint-by-numbers:problem^ ((require-library "problem.ss" "games" "paint-by-numbers"))] - [all : paint-by-numbers:all-problems^ ((require-library "all-problems.ss" "games" "paint-by-numbers") problem)] - [counter : () (counter problem all)]) - (export))) diff --git a/collects/games/paint-by-numbers/raw-problems/raw-hattori.ss b/collects/games/paint-by-numbers/raw-problems/raw-hattori.ss index dafe8a38c6..d48bc094b3 100644 --- a/collects/games/paint-by-numbers/raw-problems/raw-hattori.ss +++ b/collects/games/paint-by-numbers/raw-problems/raw-hattori.ss @@ -1,16 +1,11 @@ +#lang scheme/base + +(provide raw-hattori) +(define raw-hattori `( ("Hattori 1" ((5) (1) (3 1) (8) (2 1) (1 6) (1 1 1) (3) (1) (10)) - ((1) - (4 1) - (2 3) - (1 2 1) - (1 1 1 1) - (1 2 1 1) - (4 1 1) - (1 2 1 1) - (1 1 1 1) - (5 1)) + ((1) (4 1) (2 3) (1 2 1) (1 1 1 1) (1 2 1 1) (4 1 1) (1 2 1 1) (1 1 1 1) (5 1)) ((o o o o x x x x x o) (o o o o o o x o o o) (o o o o o x x x o x) @@ -23,36 +18,8 @@ (x x x x x x x x x x))) ("Hattori 2" - ((5 1 5) - (5 2 6) - (15) - (4 5) - (3 5 2) - (3 6 1 2) - (3 4 1 2) - (3 3) - (3 4) - (1 1 1 1) - (8) - () - (2) - (1 9 1) - (2 2 2)) - ((10 2) - (9 1) - (9) - (4 2 1) - (3 2 1 3) - (1 3 1 3) - (2 3 1 1) - (3 3 1 1) - (1 3 1 1) - (2 1 1 1) - (4 2 1) - (4 2 1 1) - (4 2) - (9 1) - (10 2)) + ((5 1 5) (5 2 6) (15) (4 5) (3 5 2) (3 6 1 2) (3 4 1 2) (3 3) (3 4) (1 1 1 1) (8) () (2) (1 9 1) (2 2 2)) + ((10 2) (9 1) (9) (4 2 1) (3 2 1 3) (1 3 1 3) (2 3 1 1) (3 3 1 1) (1 3 1 1) (2 1 1 1) (4 2 1) (4 2 1 1) (4 2) (9 1) (10 2)) ((x x x x x o o x o o x x x x x) (x x x x x o x x o x x x x x x) (x x x x x x x x x x x x x x x) @@ -70,36 +37,8 @@ (x x o o x x o o o o o o o x x))) ("Hattori 3" - ((11) - (1 11) - (2 3 4 2) - (4 2 2) - (3 4) - (2 3 3 3) - (2 1 1 3) - (2 1 1 3) - (2 3 4) - (2 1 4) - (3 3 4) - (2 2 2 4) - (4 6) - (11) - (9)) - ((9) - (12) - (1 2 4) - (4 1 3) - (3 1 4) - (3 4 2 2) - (2 3 2) - (2 4 2 2) - (3 1 4) - (3 1 3) - (4 4) - (5 7) - (2 10) - (12) - (9)) + ((11) (1 11) (2 3 4 2) (4 2 2) (3 4) (2 3 3 3) (2 1 1 3) (2 1 1 3) (2 3 4) (2 1 4) (3 3 4) (2 2 2 4) (4 6) (11) (9)) + ((9) (12) (1 2 4) (4 1 3) (3 1 4) (3 4 2 2) (2 3 2) (2 4 2 2) (3 1 4) (3 1 3) (4 4) (5 7) (2 10) (12) (9)) ((o o x x x x x x x x x x x o o) (o x o x x x x x x x x x x x o) (x x o x x x o o x x x x o x x) @@ -117,36 +56,8 @@ (o o o x x x x x x x x x o o o))) ("Hattori 4" - ((6) - (3 2) - (2 1) - (2 2) - (2 1) - (1 1) - (2 1) - (5 1) - (2 4 5) - (1 4 2 4) - (1 5 1 4) - (7 1 5) - (7 7) - (5 7) - (5)) - ((5) - (2 3) - (1 4) - (8) - (10) - (2 7) - (2 5) - (2) - (1 5) - (2 2 3) - (1 1 4) - (1 12) - (4 7) - (2 7) - (1 5)) + ((6) (3 2) (2 1) (2 2) (2 1) (1 1) (2 1) (5 1) (2 4 5) (1 4 2 4) (1 5 1 4) (7 1 5) (7 7) (5 7) (5)) + ((5) (2 3) (1 4) (8) (10) (2 7) (2 5) (2) (1 5) (2 2 3) (1 1 4) (1 12) (4 7) (2 7) (1 5)) ((o o o o o o o o o x x x x x x) (o o o o o o o x x x o o x x o) (o o o o o o x x o o o o x o o) @@ -164,36 +75,8 @@ (o o o o o o o o o x x x x x o))) ("Hattori 5" - ((2 1) - (11) - (3 3) - (2 4) - (3 3) - (2 2 2 3) - (2 2 2 2) - (2 1 1 2) - (2 2 2 2) - (3 2) - (1 1 2) - (1 4) - (1 3 1 1) - (1 1 1 2) - (6)) - ((7) - (8) - (4 5) - (3 1) - (2 4 3) - (1 2 1 1 1) - (1 3) - (1 1) - (1 2 1 1) - (1 4 1) - (1 2) - (4 1) - (5 1) - (10) - (10)) + ((2 1) (11) (3 3) (2 4) (3 3) (2 2 2 3) (2 2 2 2) (2 1 1 2) (2 2 2 2) (3 2) (1 1 2) (1 4) (1 3 1 1) (1 1 1 2) (6)) + ((7) (8) (4 5) (3 1) (2 4 3) (1 2 1 1 1) (1 3) (1 1) (1 2 1 1) (1 4 1) (1 2) (4 1) (5 1) (10) (10)) ((o o o x x o o o o o o x o o o) (o o x x x x x x x x x x x o o) (o x x x o o o o o o o x x x o) @@ -211,36 +94,8 @@ (o o o x x x x x x o o o o o o))) ("Hattori 6" - ((4) - (6 1) - (2 1 1 2) - (5 1 3) - (5 1 2 1) - (6 1 2 1) - (6 3 1) - (6 2 2) - (4 1 1 2) - (2 1 1) - (2 2) - (7) - (1 1) - (2 2) - (6)) - ((1 1) - (1 6) - (1 7) - (9) - (8) - (2 4) - (1 1 6 1) - (1 2 2) - (8 4) - (3 1 1) - (2 1 2) - (2 4) - (2 1 1) - (2 2 2) - (6 2)) + ((4) (6 1) (2 1 1 2) (5 1 3) (5 1 2 1) (6 1 2 1) (6 3 1) (6 2 2) (4 1 1 2) (2 1 1) (2 2) (7) (1 1) (2 2) (6)) + ((1 1) (1 6) (1 7) (9) (8) (2 4) (1 1 6 1) (1 2 2) (8 4) (3 1 1) (2 1 2) (2 4) (2 1 1) (2 2 2) (6 2)) ((o o o o o x x x x o o o o o o) (x x x x x x o o x o o o o o o) (o o o x x o x o x o o o o x x) @@ -258,36 +113,8 @@ (o o o o o o x x x x x x o o o))) ("Hattori 7" - ((3) - (5) - (3 1) - (3 3 1) - (6 2 1) - (7 3) - (2 2 1) - (1 1 1 1 1) - (2 1 1 1 1) - (1 1 2 1) - (1 1 1) - (13) - (4 8) - (9) - (4 3)) - ((3 3) - (3 2 4) - (2 5) - (3 2 4) - (3 1 1 1) - (3 2 4) - (3 6) - (5 4) - (3) - (2) - (4 2) - (6 2) - (4 8) - (2 1 1) - (4)) + ((3) (5) (3 1) (3 3 1) (6 2 1) (7 3) (2 2 1) (1 1 1 1 1) (2 1 1 1 1) (1 1 2 1) (1 1 1) (13) (4 8) (9) (4 3)) + ((3 3) (3 2 4) (2 5) (3 2 4) (3 1 1 1) (3 2 4) (3 6) (5 4) (3) (2) (4 2) (6 2) (4 8) (2 1 1) (4)) ((o o o o o o o o o o o x x x o) (o o o o o o o o o o x x x x x) (o o o o o o o o o o x x x o x) @@ -305,21 +132,7 @@ (x x x x o x x x o o o o o o o))) ("Hattori 8" - ((7) - (6 2) - (1 3 3) - (2 2 2) - (2 1) - (3 2 1) - (3 3 2 1) - (1 4 2 1) - (1 2 2) - (2 2 6) - (1 2 1) - (1 1 3) - (1 4 1) - (2 5) - (9)) + ((7) (6 2) (1 3 3) (2 2 2) (2 1) (3 2 1) (3 3 2 1) (1 4 2 1) (1 2 2) (2 2 6) (1 2 1) (1 1 3) (1 4 1) (2 5) (9)) ((4) (3 1 5) (1 2 2 2) @@ -352,36 +165,8 @@ (o o x x x x x x x x x o o o o))) ("Hattori 9" - ((3) - (2 2) - (1 2) - (1 11) - (1 2 4) - (2 2 2 1) - (3 3 1 1) - (2 2) - (1 1) - (1 1) - (7) - (3 3) - (2 2) - (3 3) - (3 3)) - ((5) - (2 2) - (1 1) - (2 2 5) - (5 8) - (3 2 2 2) - (1 1 1) - (1 2 2 2) - (1 8) - (1 5) - (4) - (3) - (2) - (4) - (1)) + ((3) (2 2) (1 2) (1 11) (1 2 4) (2 2 2 1) (3 3 1 1) (2 2) (1 1) (1 1) (7) (3 3) (2 2) (3 3) (3 3)) + ((5) (2 2) (1 1) (2 2 5) (5 8) (3 2 2 2) (1 1 1) (1 2 2 2) (1 8) (1 5) (4) (3) (2) (4) (1)) ((o x x x o o o o o o o o o o o) (x x o x x o o o o o o o o o o) (x o o o x x o o o o o o o o o) @@ -419,21 +204,7 @@ (2 2) (2 2) (6)) - ((5) - (5) - (3 2) - (2 5) - (1 2 2 2) - (10 2 2) - (2 6 1 2 1) - (1 7 1 4 1) - (2 13 1) - (14 1 1) - (1 2 5 2) - (2 3 2 2) - (2 2 2 5) - (7 3) - (5 4)) + ((5) (5) (3 2) (2 5) (1 2 2 2) (10 2 2) (2 6 1 2 1) (1 7 1 4 1) (2 13 1) (14 1 1) (1 2 5 2) (2 3 2 2) (2 2 2 5) (7 3) (5 4)) ((o o o o x x x x x x x o o x o) (o o o o o x x o x x o o o x o) (o o o o o x o o o x o o x x x) @@ -456,26 +227,7 @@ (o o o o o x x x x x x o o o o))) ("Hattori 11" - ((4) - (6) - (6) - (3 6) - (3 2 6) - (3 6 4) - (4 7) - (11) - (2 13) - (1 13) - (14) - (9 4) - (9 2) - (8) - (7) - (6) - (5 1) - (3 4 3) - (5 3 4) - (16)) + ((4) (6) (6) (3 6) (3 2 6) (3 6 4) (4 7) (11) (2 13) (1 13) (14) (9 4) (9 2) (8) (7) (6) (5 1) (3 4 3) (5 3 4) (16)) ((5) (4) (3 1) @@ -580,46 +332,8 @@ (o o x x x x x x x x x x x x x x x x x x))) ("Hattori 13" - ((2 2) - (2 3) - (3) - (2 12) - (2 15) - (17) - (18) - (3 12) - (4 1 13) - (4 13) - (8 7) - (10 7) - (11 7) - (18) - (18) - (17) - (14) - (3) - (3) - (2)) - ((2 2 2) - (2 7) - (2 9) - (2 11) - (2 6) - (3 1 7) - (3 7) - (14) - (14) - (7 6) - (10 8) - (10 7) - (10 6) - (14) - (14) - (14) - (14) - (14) - (14) - (3 2 2 2)) + ((2 2) (2 3) (3) (2 12) (2 15) (17) (18) (3 12) (4 1 13) (4 13) (8 7) (10 7) (11 7) (18) (18) (17) (14) (3) (3) (2)) + ((2 2 2) (2 7) (2 9) (2 11) (2 6) (3 1 7) (3 7) (14) (14) (7 6) (10 8) (10 7) (10 6) (14) (14) (14) (14) (14) (14) (3 2 2 2)) ((o o x x o o o o o o x x o o o o o o o o) (o o x x o o o o o o x x x o o o o o o o) (o o o o o o o o o o x x x o o o o o o o) @@ -766,26 +480,7 @@ (x o o o o o o o o o o x x o o o o o x o))) ("Hattori 16" - ((6) - (10) - (3 5 3) - (8 7) - (6 7 3) - (2 8 7) - (5 10 3) - (1 5 4 1) - (5 5) - (3 3) - (3 4 2) - (3 5 3) - (3 5 2) - (13) - (5) - (6) - (7) - (7) - (7) - (5)) + ((6) (10) (3 5 3) (8 7) (6 7 3) (2 8 7) (5 10 3) (1 5 4 1) (5 5) (3 3) (3 4 2) (3 5 3) (3 5 2) (13) (5) (6) (7) (7) (7) (5)) ((5) (3 4) (10) @@ -1138,46 +833,8 @@ (o o x x x x x x x x x x x x x x x x x x))) ("Hattori 22" - ((7) - (3 1 7) - (1 3 7) - (2 2 8) - (7 8) - (4 1 8) - (1 1 4 8) - (2 3 8) - (3 10) - (14) - (15) - (15) - (18) - (16 1) - (8 6) - (7 5) - (7 2 2) - (2 2 1) - (1) - (1)) - ((2 10) - (11) - (9) - (3 9) - (3 8) - (1 4 9) - (2 2 1 9) - (14) - (3 1 6) - (10) - (9) - (2 8 2) - (1 14) - (16) - (16) - (9 5) - (9 1 2) - (7 2) - (6) - (6)) + ((7) (3 1 7) (1 3 7) (2 2 8) (7 8) (4 1 8) (1 1 4 8) (2 3 8) (3 10) (14) (15) (15) (18) (16 1) (8 6) (7 5) (7 2 2) (2 2 1) (1) (1)) + ((2 10) (11) (9) (3 9) (3 8) (1 4 9) (2 2 1 9) (14) (3 1 6) (10) (9) (2 8 2) (1 14) (16) (16) (9 5) (9 1 2) (7 2) (6) (6)) ((o o o o o o o o o o o x x x x x x x o o) (o o o o o x x x o o o x o x x x x x x x) (o o o x o o x x x o o o o x x x x x x x) @@ -1778,26 +1435,7 @@ (5 9) (3 9) (3 1 1)) - ((3) - (4 5) - (7 3 2) - (10 2) - (7 1 3) - (7 7) - (7 1 3) - (10 2) - (7 3 2) - (4 5) - (3) - (16) - (18) - (19) - (3 7 2) - (3 2) - (3 7 2) - (19) - (18) - (16)) + ((3) (4 5) (7 3 2) (10 2) (7 1 3) (7 7) (7 1 3) (10 2) (7 3 2) (4 5) (3) (16) (18) (19) (3 7 2) (3 2) (3 7 2) (19) (18) (16)) ((x x x x x x x x x x x o o x x x x x o o) (x x x x x x x x x x x o x x x x x x x o) (x x x x x x x x x x x o x x x x x x x o) @@ -1840,26 +1478,7 @@ (1 1 1 1) (1 1 1 1) (2 2 2 2)) - ((2) - (3) - (11) - (14) - (1 11) - (16) - (9 1) - (6 5) - (9) - (1 12 1) - (2 16) - (3 10) - (2 9 1) - (1 7 6) - (1 9) - (2 10 1) - (3 14) - (4 7) - (3 3) - (2 4)) + ((2) (3) (11) (14) (1 11) (16) (9 1) (6 5) (9) (1 12 1) (2 16) (3 10) (2 9 1) (1 7 6) (1 9) (2 10 1) (3 14) (4 7) (3 3) (2 4)) ((o o o x o x o o o o o x o o o o o x o o) (o o o x x x o o o o x x x o o o x x x o) (o x x x o x o o o x x x x x o x x x x x) @@ -3266,26 +2885,7 @@ (2 2 1) (4 1) (2)) - ((6) - (2 2) - (2 4 1) - (10 2) - (10 1) - (10 1) - (9 2) - (10 1) - (2 6) - (1 3 3) - (1 4 6) - (8 1) - (6) - (1 4 4) - (9 4) - (7 2) - (7 2) - (6 2) - (4 1) - (1)) + ((6) (2 2) (2 4 1) (10 2) (10 1) (10 1) (9 2) (10 1) (2 6) (1 3 3) (1 4 6) (8 1) (6) (1 4 4) (9 4) (7 2) (7 2) (6 2) (4 1) (1)) ((o o o o o o o o o o o o x x o x x x o o) (o o o o o o o o o o o x x o o x x x x o) (o o o o o o o o o o o x x o x x x x x o) @@ -3680,26 +3280,7 @@ (o o o x x x x o o o o o o x o o o o o o))) ("Hattori 63" - ((5) - (7) - (1 1) - (2 2) - (1 1) - (1 1 1) - (7) - (9) - (2 4 2) - (16) - (3 4 3) - (5) - (3 2) - (2 2) - (2 2) - (3 2) - (1 3 1) - (20) - (1 1) - (1 1)) + ((5) (7) (1 1) (2 2) (1 1) (1 1 1) (7) (9) (2 4 2) (16) (3 4 3) (5) (3 2) (2 2) (2 2) (3 2) (1 3 1) (20) (1 1) (1 1)) ((1 4) (1 1) (2 1) @@ -4811,21 +4392,7 @@ ("Hattori 82" ((1) (2) (3) (2) (4) (4 1) (5 2) (6 2) (7 3) (8 4) (15) (1) (15) (13) (11)) - ((1 1) - (2 2) - (3 3) - (4 3) - (5 3) - (6 3) - (7 3) - (8 3) - (15) - (2 1 1 3) - (1 6 3) - (5 3) - (3 3) - (2 2) - (1 1)) + ((1 1) (2 2) (3 3) (4 3) (5 3) (6 3) (7 3) (8 3) (15) (2 1 1 3) (1 6 3) (5 3) (3 3) (2 2) (1 1)) ((o o o o o o o o x o o o o o o) (o o o o o o o o x x o o o o o) (o o o o o o o o x x x o o o o) @@ -5773,26 +5340,7 @@ (o x x x x x x x x x x x x x x x x o x o))) ("Hattori 98" - ((3) - (7) - (2 3 3) - (8 1 4) - (2 3 5) - (10) - (9) - (3 4) - (4 10) - (3 10) - (3 9) - (2 4 4) - (2 15) - (2 15) - (3 13) - (4 5 5) - (7 7) - (18) - (17) - (13)) + ((3) (7) (2 3 3) (8 1 4) (2 3 5) (10) (9) (3 4) (4 10) (3 10) (3 9) (2 4 4) (2 15) (2 15) (3 13) (4 5 5) (7 7) (18) (17) (13)) ((1 1 8) (3 11) (1 3 5) @@ -5835,46 +5383,8 @@ (o o o x x x x x x x x x x x x x o o o o))) ("Hattori 99" - ((8) - (14) - (14) - (14) - (8 1) - (1 1) - (1 1) - (1 1) - (1 1) - (1 1) - (1 1) - (1 1) - (1 1) - (1 4) - (4 6) - (6 7) - (7 7) - (7 6) - (6 4) - (4)) - ((3) - (5) - (5) - (6) - (6) - (5) - (17) - (4) - (4) - (4) - (4) - (4) - (5) - (5 3) - (4 5) - (4 5) - (4 6) - (4 6) - (4 5) - (17)) + ((8) (14) (14) (14) (8 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 4) (4 6) (6 7) (7 7) (7 6) (6 4) (4)) + ((3) (5) (5) (6) (6) (5) (17) (4) (4) (4) (4) (4) (5) (5 3) (4 5) (4 5) (4 6) (4 6) (4 5) (17)) ((o o o o o o o o o o o o x x x x x x x x) (o o o o o o x x x x x x x x x x x x x x) (o o o o o o x x x x x x x x x x x x x x) @@ -5958,2759 +5468,4 @@ (o x x x o o x x x o o x x o o x x o o x) (o o o o x x x x o o o x x x o o x x o o))) -("Hattori 101" - ((5) - (7) - (9) - (1 1 1 1) - (1 1) - (1 2 1) - (2 2) - (1 4 1 1) - (6 4 7) - (1 2 4 2 2) - (1 4 4 7) - (1 1 1 1 1 1) - (3 1 1 1 1) - (4 8 1 1) - (1 3 1) - (1 7 1) - (1 4 4 1) - (2 9 2) - (1 5 5 1) - (11)) - ((1) - (6 3) - (1 2 2) - (1 4) - (1 1 1 2) - (1 3 2 4) - (11 7) - (3 1 1 5) - (4 7 5) - (3 1 4 1 1 1 1) - (4 1 4 1 5) - (3 7 5) - (6 7) - (6 1 4) - (3 3 2) - (1 1) - (1 1) - (1 1 2) - (3 5) - (4)) - ((o o o o o o o x x x x x o o o o o o o o) - (o o o o o o x x x x x x x o o o o o o o) - (o o o o x x x x x x x x x o o o o o o o) - (o o o o o o x o x o x o x o o o o o o o) - (o o o o o o x o o o o o x o o o o o o o) - (o o o o o o x o o x x o x o o o o o o o) - (o o o o o o x x o o o o x x o o o o o o) - (o o o o o o x o x x x x o x o o o o o x) - (o x x x x x x o x x x x o x x x x x x x) - (o x o o o x x o x x x x o x x o o o x x) - (o x o x x x x o x x x x o x x x x x x x) - (o x o x o o x o x o o x o x o o o o o o) - (o x x x o x o o x o o x o o x o o o o o) - (x x x x o x x x x x x x x o x o o o x o) - (o o o o o o x o o o o o x x x o o o x o) - (o x o o o o x x x x x x x o o o o o x o) - (o x o o o x x x x o x x x x o o o o x o) - (o x x o o x x x x x x x x x o o o x x o) - (o o x o x x x x x o x x x x x o o x o o) - (o o o o x x x x x x x x x x x o o o o o))) - -("Hattori 102" - ((2 7) - (1 5 3) - (2 7 2 2 1) - (1 2 2 2 2 1) - (1 2 2 3 1) - (1 2 4 6) - (4 6 5) - (3 6 4) - (1 4 1) - (3 1 3 1) - (6 5 1) - (7 5 2) - (3 5 3 1) - (1 1 1 6 2) - (1 2 1 2 3) - (1 4 1 5 1) - (1 4 4 3) - (7 1) - (1 1) - (4)) - ((1 5) - (5 1) - (1 9) - (3 4 3 2) - (6 3 1 2) - (3 2 2) - (2 2 8) - (4 9 2) - (4 4 3 1 1) - (3 4 2 1 1) - (1 5 6 1) - (1 2 2 2 5 1) - (1 2 4 5) - (3 4 2) - (1 2 4 2) - (2 4 2 1) - (6 4) - (5 3 1) - (7 3) - (4)) - ((o o x x o o o x x x x x x x o o o o o o) - (o o o x o x x x x x o o o x x x o o o o) - (x x o x x x x x x x o o x x o x x o o x) - (o x o o x x o x x o o x x o o o x x o x) - (o x o x x o o o o o x x o o o x x x o x) - (o x o x x o o x x x x o o o x x x x x x) - (o x x x x o x x x x x x o o x x x x x o) - (o o x x x o x x x x x x o o o x x x x o) - (o o x o o o o x x x x o o o o o o o x o) - (o o x x x o o x o o o o x x x o o o x o) - (o o x x x x x x o o o x x x x x o o x o) - (o o x x x x x x x o o x x x x x o x x o) - (x x x o o o x x x x x o x x x o o x o o) - (x o x o x o x x x x x x o o o o x x o o) - (x o x x o o x o o o x x o o x x x o o o) - (x o o x x x x o x o x x x x x o x o o o) - (x o o o x x x x o o x x x x o o x x x o) - (o o o o o o x x x x x x x o o o o o x o) - (o o o o o o o o o o o o x o o o o o x o) - (o o o o o o o o o x x x x o o o o o o o))) - -("Hattori 103" - ((7) - (2 2) - (1 2 2 1) - (1 1 1 1) - (1 5 1) - (1 1 1 1) - (9) - (9) - (1 1 2) - (9 4) - (9 4) - (9 2) - (9) - (1 1 7) - (9 7) - (10 2) - (1 1 2) - (10 2) - (9 2) - (9 2)) - ((3) - (1 1) - (1 1) - (1 4) - (1 2 1) - (12 2 3) - (2 2 4 2 3) - (1 1 4 4 2 3) - (1 3 2 7 3) - (1 1 2 3 1 3) - (1 3 2 3 1 3) - (1 1 4 3 1 3) - (2 2 3 5) - (11 2 2) - (2) - (2 2) - (4 7) - (4 7) - (2 2) - (2)) - ((o o o o o o x x x x x x x o o o o o o o) - (o o o o o x x o o o o o x x o o o o o o) - (o o o o o x o x x o x x o x o o o o o o) - (o o o o o x o o x o x o o x o o o o o o) - (o o o o o x o x x x x x o x o o o o o o) - (o o o o o x o x o o o x o x o o o o o o) - (o o o o o x x x x x x x x x o o o o o o) - (o o o o o x x x x x x x x x o o o o o o) - (o o o o o x o o o o o o o x o o x x o o) - (o o o o o x x x x x x x x x o x x x x o) - (o o o o o x x x x x x x x x o x x x x o) - (o o o o o x x x x x x x x x o o x x o o) - (x x x x x x x x x o o o o o o o o o o o) - (x o o o o o o o x o o o o x x x x x x x) - (x x x x x x x x x o o o o x x x x x x x) - (o o o x x x x x x x x x x o o o x x o o) - (o o o x o o o o o o o o x o o o x x o o) - (o o o x x x x x x x x x x o o o x x o o) - (o o o o o x x x x x x x x x o o x x o o) - (o o o o o x x x x x x x x x o o x x o o))) - -("Hattori 104" - ((11) - (1 1) - (1 1) - (2 1 1 1) - (5 1) - (3 1) - (5 1) - (7 1) - (9 1) - (9 1) - (8 1) - (6 4 1) - (1 3 1) - (3 2 3 1) - (2 1 4 1) - (1 3 5 1) - (1 1 4 1) - (5 5) - (7 4 1) - (9 5)) - ((3) - (3) - (6) - (2 3) - (1 1 3) - (3 1 2) - (2 1 2 2) - (1 5 1) - (2 6 1) - (1 8) - (12) - (1 7 2) - (1 2 6 1 1) - (1 5 1 1) - (1 9 2) - (1 9) - (1 8) - (1 5) - (1 1) - (19)) - ((o o o o o o o o o x x x x x x x x x x x) - (o o o o o o o o o o x o o o o o o o o x) - (o o o o o o o o o o x o o o o o o o o x) - (o o o o o o o x x o x o x o o o o o o x) - (o o o o o o o o x x x x x o o o o o o x) - (o o o o o o o o o x x x o o o o o o o x) - (o o o o o o o o x x x x x o o o o o o x) - (o o o o o o o x x x x x x x o o o o o x) - (o o o o o o x x x x x x x x x o o o o x) - (o o o o o o x x x x x x x x x o o o o x) - (o o o o o o o x x x x x x x x o o o o x) - (o o o o o x x x x x x o x x x x o o o x) - (o o o o o x o o o o o o o o x x x o o x) - (o o o x x x o o o o o x x o x x x o o x) - (o o x x o o o o o o o x o o x x x x o x) - (o o x o x x x o o o o o o x x x x x o x) - (o o x o o o x o o o o o o o x x x x o x) - (x x x x x o o o o o o o o o o x x x x x) - (x x x x x x x o o o o o o o x x x x o x) - (x x x x x x x x x o o o x x x x x o o o))) - -("Hattori 105" - ((3) - (2 6) - (2 2 2) - (2 2 2) - (13) - (1 2) - (1 3 3 1) - (1 1 1 1 1 1) - (1 3 3 1) - (3 1) - (1 4 1) - (1 4 1 1) - (1 1 2 1 2 1) - (1 1 2 1 1 1) - (4 2 3 1) - (1 2) - (2 1) - (3 2) - (4 2) - (11)) - ((6) - (1 1) - (7 3) - (3 3) - (2 1 3 2) - (2 1 1 1 1 1) - (1 1 3 4 2) - (2 1 4 1) - (2 1 3 1 1) - (4 1 1 2) - (1 2 3 5 1) - (1 1 1 1 1) - (2 1 1 3 1) - (3 1 1 1) - (3 1) - (11 1) - (3 1) - (3) - (2) - (1)) - ((o o o o o x x x o o o o o o o o o o o o) - (o o o o x x o x x x x x x o o o o o o o) - (o o o x x o o o x x o o x x o o o o o o) - (o o x x o o o o o x x o o x x o o o o o) - (o o x x x x x x x x x x x x x o o o o o) - (o o x o o o o o o o o o o o x x o o o o) - (o o x o x x x o x x x o o o o x o o o o) - (o o x o x o x o x o x o o o o x o o o o) - (o o x o x x x o x x x o o o o x o o o o) - (x x x o o o o o o o o o o o o x o o o o) - (x o o o o o o o o o x x x x o x o o o o) - (x o o o o x x x x o x o o o o x o o o o) - (x o x o o o x x o o x o x x o x o o o o) - (x o x o o o x x o o x o x o o x o o o o) - (x x x x o o x x o o x x x o o x o o o o) - (o o o x o o o o o o o o o o o x x o o o) - (o o o x x o o o o o o o o o o o x o o o) - (o o o o x x x o o o o o o o o o x x o o) - (o o o o o o x x x x o o o o o o o x x o) - (o o o o o o o o o x x x x x x x x x x x))) - -("Hattori 106" - ((3 3 4) - (2 1 3 1 2 1) - (1 9 1 4) - (13 1) - (9 4) - (3 4 1) - (1 2 3 1 4) - (1 7 1 1 2 1) - (2 1 3 2 4 1) - (2 1 1 2 1) - (2 1 2 2 1) - (1 1 1 4) - (1 1 1 1 1) - (2 1 2 3) - (1 1 1 1) - (1 1 1 4) - (1 3 1 2 1) - (1 5 1 4) - (1 7 1 2 1) - (13 4)) - ((1 1 6) - (3 4 4 1) - (1 1 2 1) - (8 1) - (5 2 2) - (1 3 1 3) - (5 2 4) - (4 13) - (5 2 4) - (1 3 2 3) - (5 1 2) - (7 1) - (1 1 3 1) - (3 1 4 1) - (1 4 6) - (1) - (20) - (1 1 1 6 1 5) - (1 1 1 1 3 1 1 1) - (1 1 1 6 5)) - ((o o o o x x x o x x x o o o o o x x x x) - (x x o o x o x x x o x o o x x o x o o o) - (o x o x x x x x x x x x o x o o x x x x) - (o x x x x x x x x x x x x x o o x o o o) - (o o o x x x x x x x x x o o o o x x x x) - (o x x x o o o o o o o x x x x o x o o o) - (o x o x x o o o o x x x o o x o x x x x) - (o x o x x x x x x x o x o o x o x x o x) - (x x o x o o x x x o o x x o x x x x o x) - (o o x x o o o x o o o o x o o o x x o x) - (o x x o o o o x o o o o x x o o x x o x) - (o x o o o o o x o o o o o x o o x x x x) - (o x o o o o o x o o o o o x o o x o x o) - (x x o o o o o x o o o o o x x o x x x o) - (x o o o o o o x o o o o o o x o x o o o) - (x o o o o o o x o o o o o o x o x x x x) - (x o o o o o x x x o o o o o x o x x o x) - (x o o o o x x x x x o o o o x o x x x x) - (x o o o x x x x x x x o o o x o x x o x) - (o x x x x x x x x x x x x x o o x x x x))) - -("Hattori 107" - ((1) - (1 5) - (1 1 1 1) - (1 8) - (1 4 1 2) - (1 14) - (1 4 9 1) - (1 1 1 3) - (2 12 2) - (5 2 1 2 6) - (8 8) - (1 2 2 2 2 3) - (1 13) - (1 4 4) - (1 1 1 1) - (1 1 1 1) - (1 7) - (1 1 1) - (1 3 3) - (1 1 1)) - ((3) - (19) - (2) - (2 5) - (3 6) - (4 1 1 2) - (15 1) - (1 3 6 4) - (1 1 2 1 1 1 1) - (7 2 1 3) - (1 1 2 1 1 1 1) - (1 4 6 4) - (15 1) - (2 1 1 2) - (2 6) - (2 4) - (2 2) - (5) - (6) - (1 1 1)) - ((o o o o o o o o o x o o o o o o o o o o) - (o x o o o o o x x x x x o o o o o o o o) - (o x o o o o x o o x o o x o o o o o o o) - (o x o o o x x x x x x x x o o o o o o o) - (o x o o x x x x o x o x x o o o o o o o) - (o x o x x x x x x x x x x x x x x o o o) - (o x o x x x x o x x x x x x x x x o x o) - (o x o o o o x o o o o o x o o o o x x x) - (x x o x x x x x x x x x x x x o o x x o) - (x x x x x o x x o x o x x o x x x x x x) - (x x x x x x x x o o o x x x x x x x x o) - (o x o x x o x x o o o x x o x x o x x x) - (o x o x x x x x x x x x x x x x o o o o) - (o x o o x x x x o o o x x x x o o o o o) - (o x o o o o x o o x o o x o o o o o o o) - (o x o o o o x o o x o o x o o o o o o o) - (o x o o o o x x x x x x x o o o o o o o) - (o x o o o o o x o o o x o o o o o o o o) - (o x o o o o x x x o x x x o o o o o o o) - (o x o o o o o x o o o x o o o o o o o o))) - -("Hattori 108" - ((11 7) - (1 2 1 1 9) - (1 1 1 3 10) - (6 2 1 10) - (1 4 1 10) - (1 4 1 1 5) - (1 1 3 1 1) - (1 2 1 2 1 4 3) - (3 1 3 4 3) - (1 1 1 2 1 1 1) - (11 4 3) - (1 1) - (1 1 6) - (1 1 1 6) - (1 4 1 4) - (1 2 1 2 2) - (3 1 1 5) - (5 3 1 1) - (6 2 1 1 1) - (6 2 1 11) - (2 4 1 8) - (1 4 2 8) - (12 12) - (4 1 8) - (4 3 2 1) - (4 3 2 2 1) - (4 1 8 1) - (4 1 1) - (4 4 1) - (6 15)) - ((16 4) - (1 1 1 1 8) - (2 1 2 1 3 7) - (4 3 1 3 8) - (1 3 1 4 1 4) - (11 6 1 2) - (1 3 1 8 1) - (1 2 2 1 6 2) - (1 2 2 1 3 5) - (1 1 1 1 2 2 1 1) - (11 6 1 2 2) - (1 1 3 1) - (2 5 2 1) - (2 2 2 1) - (5 1 1 1) - (3 1 1 1 1) - (15 1 1 1 1) - (4 4 2 5 1 1) - (5 2 1 2 1 5 1 1) - (5 4 3 1 8 1) - (6 3 1 8 1) - (6 3 8 1) - (6 4 3 5 1) - (6 2 1 2 5 1) - (6 4 11)) - ((x x x x x x x x x x x o o o o o o o x x x x x x x) - (x o x x o x o o o o x o o o o o x x x x x x x x x) - (x o o x o x o o x x x o o o o x x x x x x x x x x) - (x x x x x x o x x o x o o o o x x x x x x x x x x) - (x o o o x x x x o o x o o o o x x x x x x x x x x) - (x o o x x x x o o o x o o o o o x o o o x x x x x) - (x o o x o x x x o o x o o o o o x o o o o o o o o) - (x o x x o x o x x o x o o o o o x x x x o o x x x) - (x x x o o x o o x x x o o o o o x x x x o o x x x) - (x o o o o x o o o o x o o o o o x x o x o o x o x) - (x x x x x x x x x x x o o o o o x x x x o o x x x) - (x o o o o o o o o o o o o o o o x o o o o o o o o) - (x o o o o o o o o o o o o o o o x o x x x x x x o) - (x o o o o o o o o o o o x o o o x o x x x x x x o) - (x o o o o o o o o o x x x x o o x o o x x x x o o) - (x o o o o x x o o o x o o x x o x x o o o o o o o) - (o o o o x x x o o o x o o o x o o x x x x x o o o) - (o o o x x x x x o o x x x o x o o o o o o x o o o) - (o o x x x x x x o x x o x o x o o o o o o x o o o) - (o o x x x x x x o x x o x o x x x x x x x x x x x) - (o x x o o x x x x o o o x o o o o x x x x x x x x) - (o x o o o o x x x x o o x x o o o x x x x x x x x) - (x x x x x x x x x x x x o x x x x x x x x x x x x) - (x x x x o o o o o o o x o o o o o x x x x x x x x) - (x x x x o o o o o o x x x o o o o o o x x o o o x) - (x x x x o o o o x x x o x x o o o o o x x o o o x) - (o x x x x o o o x o o o o x x x x x x x x o o o x) - (o x x x x o o o x o o o o o o o o o o o o o o o x) - (o o x x x x o x x x x o o o o o o o o o o o o o x) - (o o o x x x x x x o x x x x x x x x x x x x x x x))) - -("Hattori 109" - ((11 7) - (13 11) - (16 13) - (31) - (9 18) - (7 17) - (4 1 1 1 2 8) - (3 1 1 1 1 2 6) - (3 2 3 1 2 2 6) - (3 1 1 2 2 5) - (5 2 1 8 4) - (4 2 3 1 1 1 4) - (3 3 1 1 1 3) - (4 4 1 2 5) - (1 7 6 1 2) - (2 1 2 2 1 2 3) - (4 1 2 2 2 5) - (4 11 4 1) - (10 2 2 1 3) - (20 1 1 2) - (2 4 3 3 3 2 4) - (1 2 4 2 2 5 1) - (1 5 1 1 1 2 3 1 1) - (1 1 5 6 1 2 5) - (1 1 5 4 1 1 1 1) - (1 1 1 5 1 1 1) - (1 1 5 5 1) - (1 3 4 2 1) - (1 2 3 6 1) - (4 4 3 3 2 1) - (17 12) - (10 7 9)) - ((8 8 1) - (10 3 2 2) - (13 4 4) - (7 4 4 3) - (6 2 4 6 3) - (6 1 8 3) - (6 8 2) - (5 2 5 2) - (5 1 2 1 2 3 2) - (4 1 1 3 4 3) - (4 3 1 4 6 1 2) - (4 2 1 1 3 2 5) - (4 4 21) - (4 8 2) - (4 1 2 1 2 10) - (12 1 3 9) - (4 18) - (7 6 5 2) - (13 1 1 3 2 2) - (5 1 1 7 4) - (6 1 3 1 4) - (6 4 1 2 2 3 2 2) - (6 2 2 1 2 2) - (6 1 4 2 4) - (7 1 1 2 2 3 3) - (7 1 1 1 1 2) - (9 2 1 1 2) - (9 1 2 3 1 2) - (11 1 1 2 4 1) - (13 2 2 1 1 1) - (16 2 1 1) - (13 10)) - ((o o o x x x x x x x x x x x o o o o o o x x x x x x x o o o o o) - (o o x x x x x x x x x x x x x o o o o x x x x x x x x x x x o o) - (o x x x x x x x x x x x x x x x x o x x x x x x x x x x x x x o) - (x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x o) - (x x x x x x x x x o o o o o x x x x x x x x x x x x x x x x x x) - (x x x x x x x o o o o o o o o x x x x x x x x x x x x x x x x x) - (x x x x o o o o o o x o x o o x o x x o o o o o x x x x x x x x) - (x x x o x o o o o o x o x o o x o x x o o o o o o o x x x x x x) - (x x x o x x o o x x x o x o x x o x x o o o o o o o x x x x x x) - (x x x o o o o o o o o o x o o x o x x o o x x o o o o x x x x x) - (x x x x x o o x x o o o o o o x o o x x x x x x x x o o x x x x) - (o x x x x o o x x o x x x o o x o o x o o x o o o o o o x x x x) - (o o x x x o o o o o o x x x o x o o x o o x o o o o o o o x x x) - (o o x x x x o o o o o o x x x x o o x o o o o o x x o x x x x x) - (o o o o o x o o x x x x x x x o x x x x x x o o o o x o o o x x) - (o o o o x x o o o o x o x x o o x x o o x o o o o o x x o x x x) - (o o x x x x o o o o x o x x o o x x o o x x o o o o o x x x x x) - (o o x x x x o o o x x x x x x x x x x x o x x x x o o o o o x o) - (x x x x x x x x x x o o x x o o x x o x o o x x x o o o o o o o) - (x x x x x x x x x x x x x x x x x x x x o x o x o o o o o x x o) - (x x o o x x x x o o x x x o x x x o o x x x o x x o o o x x x x) - (x o o o o o x x o x x x x o o x x o x x o o o o x x x x x o o x) - (x o o o o o x x x x x o x o x o x o x x o x x x o o o x o o o x) - (x o o o o o x o x x x x x o x x x x x x o x o x x o o x x x x x) - (x o o o o o x o x x x x x o x x x x o o o x o o x o o o x o o x) - (x o o o o o x o o o o o x o x x x x x o o o o o x o o o x o o x) - (o x o o o o o o o o o o x o x x x x x o o o o o o x x x x x o x) - (o x o o o o o o o o x x x o x x x x o o o x x o o o o o o o o x) - (o o x o o o o o o o o x x o x x x o x x x x x x o o o o o o o x) - (o o x x x x o o o x x x x o x x x o x x x o o x x o o o o o o x) - (o x x x x x x x x x x x x x x x x x o x x x x x x x x x x x x o) - (x x x x x x x x x x o x x x x x x x o x x x x x x x x x o o o o))) - -("Hattori 110" - ((2 2 8 5) - (3 1 2 1 4 1 1 3) - (1 3 8 7 2) - (3 4 2 2 4 4 2) - (2 1 5 2 2 5 4) - (2 1 5 1 5 3) - (4 1 2) - (4 3 2) - (4 2) - (4 6 2) - (5 10 3) - (1 8 1) - (30) - (1 5 5 6 7 1) - (11 3 1 2 1) - (3 8 8 1) - (1 23) - (1 2 9 9 1) - (1 3 10 5 2 1) - (1 6 1 2 3 1 1 2 1) - (3 2 14 1 1 1) - (1 1 2 13 1 2 1) - (1 1 4 6 1 1) - (2 1 2 7 2 1) - (2 2 1 1 1) - (2 2 2 2) - (1 5 2 2) - (1 4 2 2) - (1 5 2 2) - (1 7 3 2) - (1 10 7 2) - (30)) - ((2 4 5) - (3 5 2 2 1) - (1 8 1 2 2 1) - (12 1 4 1) - (2 1 4 2 1) - (1 1 1 6 2 1) - (2 2 7 3) - (1 2 3 1 2 1 5) - (4 1 8 5) - (5 6 2 2 5) - (2 2 8 1 1 6) - (4 10 2 1 4) - (5 12 1 3) - (1 1 7 3 2 2) - (1 2 3 10 2 2) - (1 2 5 4 4 2) - (2 4 5 6 1 1) - (2 1 5 1 6 1) - (2 1 5 3 4 1) - (2 1 5 8 1) - (1 2 5 3 5 2) - (1 2 3 9 2 2) - (5 1 7 4 1 2) - (4 9 1 1 3) - (2 2 2 4 2 1 6) - (4 8 1 5) - (4 2 3 2 2) - (1 2 5 1 1 1) - (1 2 3 2 1) - (2 2 1 1 2 1) - (16 1 7) - (11 14)) - ((x x o o o o x x o o o o o o x x x x x x x x o o o o o x x x x x) - (x x x o o o x o o x x o x o o o x x x x o o x o x o o o o x x x) - (o x o x x x o x x x x x x x x o o o o o o x x x x x x x o o x x) - (o o x x x o x x x x o x x o x x o o o o x x x x o x x x x o x x) - (o o x x o o x o x x x x x o o x x o o x x o x x x x x o x x x x) - (o o x x o x o o x x x x x o o o x o o o o o x x x x x o o x x x) - (x x x x o o o o o o o o o o o o x o o o o o o o o o o o o o x x) - (x x x x o o o o o o o o o o o o x x x o o o o o o o o o o o x x) - (x x x x o o o o o o o o o o o o o o o o o o o o o o o o o o x x) - (x x x x o o o o o o o o o o o x x x x x x o o o o o o o o o x x) - (o x x x x x o o o o o o o x x x x x x x x x x o o o o o o x x x) - (o o o x o o o o o o o o o o x x x x x x x x o o o o o o o o x o) - (o x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x o) - (o x o x x x x x o x x x x x o x x x x x x o x x x x x x x o x o) - (o o o o x x x x x x x x x x x o o o o o o x x x o x o x x o x o) - (o o o o x x x o x x x x x x x x o o o o x x x x x x x x o o x o) - (o o x o o x x x x x x x x x x x x x x x x x x x x x x x o o o o) - (o o x o o x x o x x x x x x x x x o x x x x x x x x x o o o x o) - (o o o x o o x x x o x x x x x x x x x x o x x x x x o x x o o x) - (o o o o x o o x x x x x x o x o x x o x x x o x o x o o x x o x) - (o o o x x x o o x x o x x x x x x x x x x x x x x o x o o x o x) - (o o o x o x o x x o x x x x x x x x x x x x x o x o x x o o o x) - (o o o x o o o o o x o o x x x x o x x x x x x o o x o o o o o x) - (o o x x o o o o o x o x x o x x x x x x x o x x o o o o o o o x) - (o x x o o o o o o o x x o o o o o o o o o x o o x o o o o o o x) - (x x o o o o o o o o o o o x x o o o o o o x x o o o o o o o x x) - (x o o o o o o o o o x x x x x o o o o o o o o x x o o o o o x x) - (x o o o o o o x x x x o o o o o o o o o o o o o x x o o o o x x) - (x o o o o o o x x x x x o o o o o o o o o o o o x x o o o o x x) - (x o o o o o x x x x x x x o o o o o o o o o o x x x o o o o x x) - (o x o o o o x x x x x x x x x x o o o o x x x x x x x o o o x x) - (o o x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x))) - -("Hattori 111" - ((7) - (1 1 2 6) - (2 2 1 7) - (5 1 8) - (8 1 9) - (5 1 10) - (3 1 10) - (2 2 6) - (5) - (1 4) - (1 1 6) - (3 1 8) - (4 1 1 7) - (1 3 1 1 1 3) - (3 1 1 1 2) - (6 3 1 1) - (1 2 2 1 4 1) - (8 3 6) - (3 2 1 1 10) - (8 1 6) - (5 3 12) - (2 4 2 1 5) - (4 4 1 8) - (6 1 2 3 1) - (3 2 1 1 4) - (1 3 4 1 1 1 2) - (4 2 1 1 2 2 1) - (2 8 4) - (7 2) - (2 1 1 1 3)) - ((2 9 3 4) - (3 2 2 8 2) - (1 4 10 5) - (7 2 3 5 2) - (3 3 5 3) - (4 5 4) - (3 2 5 2) - (2 4 1 3 1) - (4 1 3) - (1 4) - (7 1 3) - (2 2 6 2) - (1 8 1 4 3) - (1 1 4 1 4) - (2 2 4 1 1 1 2) - (9 2 2 1 1) - (8 3 1 3 1 4) - (8 4 4 2 2) - (7 4 6 1 1) - (7 5 13) - (5 14 4) - (5 4 8) - (4 1 5 1) - (3 1 1 2) - (2 5)) - ((o o o o o o o o o o o x x x x x x x o o o o o o o) - (o o o x o x o o o o x x o o x x x x x x o o o o o) - (o o x x o x x o o o x o o o o x x x x x x x o o o) - (o o o x x x x x o o x o o o o x x x x x x x x o o) - (x x x x x x x x o o x o o o o x x x x x x x x x o) - (x x x x x o o o o o x o o o o x x x x x x x x x x) - (o x x x o o o o o o x o o o o x x x x x x x x x x) - (o o x x o o o o o o x x o o x x x x x x o o o o o) - (o o o o o o o o o o o x x x x x o o o o o o o o o) - (o o o o o o o o o o o o x o o o x x x x o o o o o) - (x o o o o o o o o o o o x o o x x x x x x o o o o) - (x x x o o o o o o o o o x o x x x x x x x x o o o) - (x x x x o o o o o o o o x o x o o x x x x x x x o) - (x o x x x o o o o o o o x o x o x o o x x x o o o) - (x x x o x o o o o o o o x o x o o o o o x x o o o) - (x x x x x x o o o o o x x x o x o o o o x o o o o) - (x o x x o x x o o o o x o x x x x o o o x o o o o) - (x x x x x x x x o o o x x x o o x x x x x x o o o) - (x x x o x x o x o o o x o x x x x x x x x x x o o) - (o x x x x x x x x o o x o o o o o x x x x x x o o) - (x x x x x o x x x o o x x x x x x x x x x x x o o) - (x x o x x x x o x x o o x o o o o o x x x x x o o) - (x x x x o x x x x o o o x o o o o x x x x x x x x) - (o x x x x x x o o o o o x o o o x x o x x x o o x) - (x x x o x x o o o o o o o o o o x o o x o x x x x) - (x o x x x o o x x x x o o x o o x o o x o o o x x) - (x x x x o o x x o x o o o x o o x x o x x o o o x) - (x x o o o o x x x x x x x x o o o x x x x o o o o) - (o o o o o o o o x x x x x x x o o o o x x o o o o) - (o o o o o o o x x o x o x o x o o o x x x o o o o))) - -("Hattori 112" - ((3 6) - (9 4) - (1 1 1 5) - (2 2 2 3) - (1 1 1 1) - (1 2 1) - (15 1) - (4 1 4) - (3 1 4) - (3 5) - (7) - (6 1) - (7 2) - (8 1 3) - (7 3 3) - (1 2 1 1 6) - (1 3 4) - (1 2 1) - (1 1 2) - (20)) - ((1 1) - (2 1) - (3 1) - (1 4 1 1) - (1 9 1) - (3 1 7 1) - (2 2 1 5 1) - (3 15) - (2 2 1 7 1) - (3 1 7 1) - (1 5 4 1) - (1 4 1) - (3 6) - (2 2 2 1) - (1 1 1 3 1) - (1 2 1 1) - (3 1 3 2) - (6 7) - (4 5 1) - (7 3 2 1)) - ((o o o o o o x x x o o o o o x x x x x x) - (o o o x x x x x x x x x o o o o x x x x) - (o o o o o x o x o x o o o o o x x x x x) - (o o o o o x x o x x o o o o x x o x x x) - (o o o o o o x o x o o o o o o o o x o x) - (o o o o o o o x o o o o o o o o x x o x) - (x x x x x x x x x x x x x x x o o o o x) - (o x x x x o o x o o x x x x o o o o o o) - (o o x x x o o x o x x x x o o o o o o o) - (o o o x x x o x x x x x o o o o o o o o) - (o o o o x x x x x x x o o o o o o o o o) - (o o o o x x x x x x o o o o o o o o o x) - (o o o o x x x x x x x o o o o o o o x x) - (o o o x x x x x x x x o o x o o o x x x) - (o o o o x x x x x x x o x x x o x x x o) - (o o o o o x o x x o x o x o x x x x x x) - (o o o o o o o x o o o o x x x o x x x x) - (o o o o o o o x o o o o x x o o o x o o) - (o o o o o o o x o o o o x o o o x x o o) - (x x x x x x x x x x x x x x x x x x x x))) - -("Hattori 113" - ((9) - (1 3) - (1 1 1 3) - (4 1 1) - (1 4 1 1 1) - (2 1 3 1) - (4 2 6) - (1 3 1) - (1 1 1 1) - (1 3 7 1) - (8 1) - (1 7 1) - (10) - (3 1 2 1) - (5 1 4) - (5 1 1) - (5 7) - (3 1 1) - (1 1) - (10 5 3)) - ((3 1) - (2 5 1) - (1 1 1 1 5 1) - (1 2 5 1) - (1 1 3 1) - (1 1 1) - (6 1) - (1 1 1) - (1 1 1) - (3 1 1 1) - (1 3 9) - (1 1 2 4 1 1) - (1 1 2 4 4) - (1 1 1 4 1 1) - (1 2 4 4) - (3 2 4 1 1) - (5 1 9) - (3 1 3 1) - (1 1 1 1) - (9 1)) - ((o o o o o o o o o x x x x x x x x x o o) - (o o o o o o o o o x o o o o o x x x o o) - (o o o o o o o o o x o x o x o x x x o o) - (o x x x x o o o o o x o o o o o x o o o) - (o x o o o x x x x o x o x o o o x o o o) - (o o x x o o x o o x x x o o o x o o o o) - (o o o x x x x o o o o x x o x x x x x x) - (o o o o o o x o o o o o x x x o o o o x) - (o o o o o o x o o o x o o o o o x o o x) - (o o x o o o x x x o x x x x x x x o o x) - (o o o o o o o o o x x x x x x x x o o x) - (o o x o o o o o o o x x x x x x x o o x) - (o o o o o o o o o o x x x x x x x x x x) - (o x x x o o o o o o x o o o o o x x o x) - (x x x x x o o o o o x o o o o o x x x x) - (x x x x x o o o o o x o o o o o x o o o) - (x x x x x o o o o o x x x x x x x o o o) - (o x x x o o o o o o o o x o x o o o o o) - (o o o o o o o o o o o o x o x o o o o o) - (x x x x x x x x x x o x x x x x o x x x))) - -("Hattori 114" - ((8 7) - (10 7) - (12 1 1) - (4 1 1 1) - (3 1 1 3) - (3 1 1 1 1 4) - (2 3 4 3 3) - (2 1 4) - (3 1 3 2) - (2 1 2) - (2 3 1 2) - (2 3 2) - (2 3 2 2) - (6 1 3) - (5 3 5) - (6 2 2) - (7 2 2 1) - (3 8 1 6) - (3 7 3 1 1 1) - (3 6 2 5 4) - (4 4 3 8 2) - (6 1 4 5) - (4 5) - (2 4) - (1 4)) - ((6 7) - (9 9) - (5 4 11) - (4 6 4) - (3 1 8 2 1) - (3 1 9) - (3 2 1 1 5) - (3 1 2 5) - (3 2 1 1 4 1) - (3 1 1 1 3 4) - (3 1 1 2 2 5) - (11 1 2 6) - (1 2 2 7) - (4 2) - (2 2 3) - (3 3 3) - (3 2 1 1 3) - (8 2 1 2 3) - (2 2 1 5) - (2 2 3 2) - (2 2 1 1 1) - (2 3 1 2) - (2 3 3) - (6 2) - (3)) - ((o o o x x x x x x x x o o o o o o x x x x x x x o) - (o o x x x x x x x x x x o o o o o x x x x x x x o) - (o x x x x x x x x x x x x o o o o x o o o o o x o) - (x x x x o o o o o o o x o o o o o x o o o o o x o) - (x x x o o o o o o o o x o o o o o x o o o x x x o) - (x x x o o o x o x o o x o o o o o x o o x x x x o) - (x x o o x x x o x x x x o o o x x x o o x x x o o) - (x x o o o o o o o o o x o o x x x x o o o o o o o) - (x x x o o o o o o o o x o o x x x o o x x o o o o) - (o x x o o o o o o o o x o o o o o o x x o o o o o) - (o x x o o o x x x o o x o o o o o x x o o o o o o) - (o o x x o o o o o o x x x o o o x x o o o o o o o) - (o o o x x o o x x x o o x x o x x o o o o o o o o) - (o o x x x x x x o o x o o x x x o o o o o o o o o) - (o x x x x x o o o x x x o x x x x x o o o o o o o) - (x x x x x x o o o o o o x x o o o o x x o o o o o) - (x x x x x x x o o o o x x o o o x x o x o o o o o) - (x x x o x x x x x x x x o x o o o x x x x x x o o) - (x x x o x x x x x x x o x x x o o o x o o o x o x) - (x x x o x x x x x x o x x o x x x x x o o x x x x) - (x x x x o x x x x o x x x o x x x x x x x x o x x) - (x x x x x x o x o x x x x o o x x x x x o o o o o) - (o x x x x o o o x x x x x o o o o o o o o o o o o) - (o o x x o o o o o x x x x o o o o o o o o o o o o) - (o o o o x o o o o x x x x o o o o o o o o o o o o))) - -("Hattori 115" - ((11 12 4) - (1 12 3) - (1 2 1 12 3) - (1 2 1 1 4 3 2 3) - (1 1 2 1 1 1 1 2) - (6 6 2 2 3 1) - (1 9 4) - (3 1 7 3 6) - (1 1 1 4 2 2 8) - (3 2 2 3 9) - (4 3 4 10 4) - (7 10 1 1) - (2 1 2 8 2 1) - (2 1 2 9 1 1) - (3 4 2 1 2 4) - (1 3 5 1 2) - (1 1 1 2 1 1 1 3) - (1 1 1 1 11 2) - (1 1 1 1 2 2 2 2) - (1 3 3 2 1 2 1 1) - (3 5 3 2 3 1 1) - (2 2 2 1 2 7 1) - (2 1 2 2 5 4) - (2 2 2 4 2 4) - (7 8 5)) - ((1 4 2 8) - (1 1 2 2 3) - (1 9 4 2 2) - (1 2 1 1 3 5 2) - (1 1 3 1 1 2 1) - (1 2 3 1 2 1) - (1 2 2 1 5) - (1 3 5 1 2) - (1 1 1 1 2 2 1) - (1 1 2 2 5 2) - (4 4 1 2 1 2 2) - (4 1 3 3) - (4 1 3 3 1) - (2 3 1 4 2) - (3 3 4) - (12 6 3) - (4 7 4 2) - (4 1 5 1 2 1) - (6 1 4 1 2 1) - (3 2 4 1 1 1) - (6 2 4 3 1) - (4 1 5 7) - (4 6 1 5) - (3 8 1 2) - (12 2 1 2) - (2 5 4 4) - (1 6 3 2 4) - (4 7 1 1 5) - (5 4 1 3 2) - (6 7 6 1)) - ((x x x x x x x x x x x o o x x x x x x x x x x x x o x x x x) - (o o o o o o o o o o x o o x x x x x x x x x x x x o o x x x) - (x o x x o o o o o o x o o o x x x x x x x x x x x x o x x x) - (x o x x o o x o o o x o o o o x x x x o x x x o x x o x x x) - (x o x o o x x o o o o o o o o x o o x o x o o o x o o o x x) - (x x x x x x o o o o x x x x x x o x x o x x o o x x x o o x) - (o o x o o o o x x x x x x x x x o o o o o o o o x x x x o o) - (o o x x x o o x o o x x x x x x x o x x x o o x x x x x x o) - (o o x o x o o x o x x x x o o x x o o x x o x x x x x x x x) - (x x x o x x o o x x o o o o o x x x o o o x x x x x x x x x) - (x x x x o x x x o o x x x x o x x x x x x x x x x o x x x x) - (o o o x x x x x x x o o o o o x x x x x x x x x x o o x o x) - (o o x x o o o x o x x o o o o o x x x x x x x x o o x x o x) - (o x x o o o o x o o x x o o o x x x x x x x x x o o x o o x) - (x x x o o x x x x o o x x o o x o o o o o o o x x o x x x x) - (x o x x x o o o x x x x x o o x o o o o o o o o x x o o o o) - (x o o x o o o o o x o o x x o x o o o o x o o o o x o x x x) - (x o o x o o o o o x o o o x o x x x x x x x x x x x o o x x) - (x o o x o o o o o x o o o x o x x o o o x x o o o x x o x x) - (x o x x x o o o x x x o x x o o x o o o o x x o o o x o o x) - (x x x o x x x x x o x x x o o o x x o o o x x x o o o x o x) - (x x o o o x x o o o o x x o x o o x x o o x x x x x x x o x) - (o x x o o o x o o o x x o o x x o o x x x x x o x x x x o o) - (o o x x o o x x o x x o o x x x x o o o o x x o o x x x x o) - (o o o x x x x x x x o o x x x x x x x x o o o o o x x x x x))) - -("Hattori 116" - ((3 2) - (7) - (9) - (9) - (6) - (2 3 2) - (4 2) - (12 1) - (15) - (5 11) - (3 11) - (3 13) - (2 13) - (2 14) - (16) - (15) - (9 5) - (8 4) - (7 4) - (11)) - ((8) - (11) - (3 6) - (3 7) - (2 8) - (2 9) - (2 9) - (11 1) - (10 1) - (10 2) - (14) - (2 15) - (3 14) - (3 11) - (6 10) - (6 8) - (6 7) - (4 5) - (7) - (1 6)) - ((o o o o o o o o o o o o o o x x x o x x) - (o o o o o o o o o o o o x x x x x x x o) - (o o o o o o o o o o o x x x x x x x x x) - (o o o o o o o o o o o x x x x x x x x x) - (o o o o o o o o o o o o o o x x x x x x) - (o o o o o o o o o o o x x o x x x o x x) - (o o o o o o o o o x x x x o o o o o x x) - (o o o o o o x x x x x x x x x x x x o x) - (o o o x x x x x x x x x x x x x x x o o) - (o x x x x x o x x x x x x x x x x x o o) - (o x x x o o o x x x x x x x x x x x o o) - (x x x o o x x x x x x x x x x x x x o o) - (x x o o x x x x x x x x x x x x x o o o) - (x x o x x x x x x x x x x x x x x o o o) - (x x x x x x x x x x x x x x x x o o o o) - (x x x x x x x x x x x x x x x o o o o o) - (x x x x x x x x x o x x x x x o o o o o) - (x x x x x x x x o o x x x x o o o o o o) - (x x x x x x x o o x x x x o o o o o o o) - (o x x x x x x x x x x x o o o o o o o o))) - -("Hattori 117" - ((15 3) - (15 4) - (2 3 1 3 2 4) - (2 1 5 1) - (15 2 3) - (3 3 2 2 1 2) - (3 3 1 1 3) - (14 3 1) - (15 1 2 2) - (5 6 1 1 1) - (18 1 3) - (5 5 2 5) - (7 7 7) - (7 7 6) - (15 5) - (15 4) - (15 5) - (15 8) - (15 1 2) - (3 1 2) - (3 1 2) - (3 8) - (3 2) - (3 4) - (7 4)) - ((19) - (19) - (2 15) - (3 1 12) - (3 1 12 1) - (3 1 2 1 7 1) - (2 5 1 13) - (9 1 11) - (2 5 1 13) - (3 1 2 1 7 1) - (3 1 12 1) - (3 1 12) - (2 15) - (6 12) - (5 11) - (1 2) - (1 1) - (2 5 5) - (2 1 2 1 1) - (4 2 1 1) - (7 2 1) - (2 3 7 1 2) - (5 12 1 2) - (3 3 1 15) - (3 1 15)) - ((x x x x x x x x x x x x x x x o o o o o o o x x x) - (x x x x x x x x x x x x x x x o o o o o o x x x x) - (x x o x x x o x o x x x o x x o o o o o o x x x x) - (x x o o o o o x o o o o o x x x x x o o o o x o o) - (x x x x x x x x x x x x x x x o o x x o o x x x o) - (x x x o o o x x x o o o x x o o o o x x o x o x x) - (x x x o o o x x x o o o x o o o o o o x o x x x o) - (x x x x x x x x x x x x x x o o o x x x o o x o o) - (x x x x x x x x x x x x x x x o o x o x x o x x o) - (x x x x x o o o o o x x x x x x o x o o x o x o o) - (x x x x x x x x x x x x x x x x x x o o x o x x x) - (x x x x x o o o o o x x x x x o o x x o x x x x x) - (x x x x x x x o x x x x x x x o o o x x x x x x x) - (x x x x x x x o x x x x x x x o o o o x x x x x x) - (x x x x x x x x x x x x x x x o o o o o x x x x x) - (x x x x x x x x x x x x x x x o o o o o o x x x x) - (x x x x x x x x x x x x x x x o o o o o x x x x x) - (x x x x x x x x x x x x x x x o o x x x x x x x x) - (x x x x x x x x x x x x x x x o o x o o o o o x x) - (o o o o o o x x x o o o o o o o o x o o o o o x x) - (o o o o o o x x x o o o o o o o o x o o o o o x x) - (o o o o o o x x x o o o o o o o o x x x x x x x x) - (o o o o o o x x x o o o o o o o o o o o o o o x x) - (o o o o o o x x x o o o o o o o o o o o o x x x x) - (o o o o x x x x x x x o o o o o o o o o o x x x x))) - -("Hattori 118" - ((11) - (12) - (7 1) - (6 2 2) - (6 2 1) - (4 1) - (5 2 2) - (8 1 3) - (11 1) - (8 5 3) - (7 9) - (6 5 2) - (6 4 1) - (6 1 1) - (6 4 2) - (6 4 1 1) - (6 4 2 2) - (6 4 2 2) - (5 4 2 1) - (3 11)) - ((10) - (12) - (13) - (14) - (14) - (14) - (5) - (3 2 6) - (5 2 3 6) - (7 1 3 6) - (20) - (6 3 1) - (5 2 2 1) - (5 2 2 1) - (3 2 3) - (2 2 2 2) - (2 2 1 6 1) - (2 1 1 3 1) - (4 4 2) - (2 4 2)) - ((o o o o o o o o o x x x x x x x x x x x) - (o o o o o o o o x x x x x x x x x x x x) - (o o o o o o o o x x x x x x x o o o x o) - (o o o o o o o o x x x x x x o x x o x x) - (o o o o o o o o x x x x x x o x x o o x) - (o o o o o o o o x x x x o o o o o o o x) - (o o x x x x x o o x x o o o o o o o x x) - (o x x x x x x x x o x o o o o o x x x o) - (x x x x x x x x x x x o o o o o o o x o) - (x x x x x x x x o o x x x x x o x x x o) - (x x x x x x x o x x x x x x x x x o o o) - (x x x x x x o x x x x x o o o x x o o o) - (x x x x x x o x x x x o o o o o x o o o) - (x x x x x x o o o o x o o o o o x o o o) - (x x x x x x o x x x x o o o o o x x o o) - (x x x x x x o x x x x o x o o o o x o o) - (x x x x x x o x x x x o x x o o o x x o) - (x x x x x x o x x x x o o x x o o o x x) - (o x x x x x o x x x x o o o x x o o o x) - (o o o x x x o x x x x x x x x x x x o o))) - -("Hattori 119" - ((12) - (1 11) - (3 3 3) - (1 1 1 1) - (1 1 1) - (3 1 3 1 3 3) - (3 1 1 5 2 1) - (2 13 5) - (7 5 3 4) - (11 3 5) - (3 2 2 3 7) - (5 3 9) - (8 1 1 4) - (4 5 5 3) - (3 3 2 1 2) - (3 2 1 2) - (4 3 2 2) - (5 4) - (9 1 2 3) - (2 7 12) - (1 6 6 5) - (2 2 3 5 1) - (3 2 2 2 2 2) - (7 2 6 2) - (8 3 7) - (4 7 9) - (3 3 2 4 5) - (2 2 1 3 5) - (2 3 2 3 4) - (8 4 1)) - ((3 6 6) - (1 1 7 9) - (3 2 3 1 2 7) - (2 2 4 1 3 2) - (6 3 7 2 1) - (3 14 3 1) - (4 1 7 9 2) - (2 1 1 1 2 5 6) - (4 1 7 4 5) - (3 8 3 2 1) - (6 3 3 4 2 2) - (2 2 5 10) - (1 3 2 4 6) - (3 3 1 3 1) - (7 2 5) - (5 2 6) - (3 1 2 2 7) - (7 9) - (3 1 10) - (7 1 1 1 3) - (5 1 11) - (7 13) - (9 2 3 4) - (1 1 6 2 2 3) - (3 4 5 4)) - ((x x x x x x x x x x x x o o o o o o o o o o o o o) - (x o x x x x x x x x x x x o o o o o o o o o o o o) - (x x x o x x x o x x x o o o o o o o o o o o o o o) - (o o o o x o x o x o x o o o o o o o o o o o o o o) - (o x o o x o o o o o x o o o o o o o o o o o o o o) - (x x x o x o x x x o x o o x x x o o o o o o x x x) - (x x x o o x o o o x o o x x x x x o o o o x x o x) - (x x o o x x x x x x x x x x x x x o o o x x x x x) - (x x x x x x x o x x x x x o x x x o o x x x x o o) - (x x x x x x x x x x x o o x x x o o x x x x x o o) - (x x x o o x x o x x o o x x x o o x x x x x x x o) - (o o o o o x x x x x o o x x x o x x x x x x x x x) - (o o o o x x x x x x x x o o o o o x o x o x x x x) - (o o o x x x x o x x x x x o o o x x x x x o x x x) - (o o o x x x o o o o x x x o o o x x o x o o o x x) - (o o o x x x o o o o o x x o o o o x o o o o x x o) - (o o x x x x o o o o o x x x o o o x x o o x x o o) - (o o o o x x x x x o o o o o o o o o x x x x o o o) - (o o x x x x x x x x x o o x o o o x x o x x x o o) - (o x x o o x x x x x x x o x x x x x x x x x x x x) - (o x o o o o x x x x x x o x x x x x x o x x x x x) - (x x o o o o x x o o x x x o o o o x x x x x o o x) - (x x x o o x x o o o o x x o o o o x x o x x o x x) - (x x x x x x x o o o o x x o o o x x x x x x o x x) - (x x x x x x x x o o x x x o o x x x x x x x o o o) - (x x x x o o x x x x x x x o x x x x x x x x x o o) - (x x x o o o o x x x o x x o x x x x o o x x x x x) - (o x x o o o o x x o o x o o x x x o o o x x x x x) - (o o x x o o x x x o x x o o x x x o o o o x x x x) - (o o o x x x x x x x x o o x x x x o o o o o o o x))) - -("Hattori 120" - ((2) - (2 2 3) - (3 2 4 3 3) - (3 2 6 6) - (3 4 4 4 1) - (9 5 1) - (17 1) - (17 1) - (16 2) - (18) - (16) - (13) - (11) - (9) - (8) - (2 3) - (3 2 2) - (1 3 1) - (1 2 2) - (1 3 3) - (2 14) - (15) - (12) - (10) - (8)) - ((5) - (1 2) - (1 2 1) - (2 5) - (4 7) - (5 2 5) - (5 2 5) - (5 1 5) - (7 1 5) - (9 1 5) - (11 1 5) - (2 11 5) - (1 1 10 5) - (3 10 5) - (5 8 1 5) - (5 8 2 5) - (3 8 5) - (1 1 9) - (2 9) - (13) - (11) - (9) - (3 2) - (2 3) - (8)) - ((o o o o o o o o o o o o o o x x o o o o o o o o o) - (o o o o o o o o o o o x x o x x o x x x o o o o o) - (o o x x x o o o o o x x o x x x x o x x x o x x x) - (o o o x x x o o o x x o x x x x x x o x x x x x x) - (o o o o x x x o x x x x o x x x x o o x x x x o x) - (o o o o x x x x x x x x x o o o o x x x x x o o x) - (o o o o o x x x x x x x x x x x x x x x x x o o x) - (o o o o o x x x x x x x x x x x x x x x x x o o x) - (o o o o o o x x x x x x x x x x x x x x x x o x x) - (o o o o o o o x x x x x x x x x x x x x x x x x x) - (o o o o o o o o x x x x x x x x x x x x x x x x o) - (o o o o o o o o o x x x x x x x x x x x x x o o o) - (o o o o o o o o o o x x x x x x x x x x x o o o o) - (o o o o o o o o o o o x x x x x x x x x o o o o o) - (o o o o o o x x x x x x x x o o o o o o o o o o o) - (o o o o o x x o o o o o o x x x o o o o o o o o o) - (x x x o x x o o o o o o o o o x x o o o o o o o o) - (x o x x x o o o o o o o o o o o x o o o o o o o o) - (x o o x x o o o o o o o o o o x x o o o o o o o o) - (x o o x x x o o o o o o o o x x x o o o o o o o o) - (x x o x x x x x x x x x x x x x x o o o o o o o o) - (o x x x x x x x x x x x x x x x o o o o o o o o o) - (o o o o x x x x x x x x x x x x o o o o o o o o o) - (o o o o o x x x x x x x x x x o o o o o o o o o o) - (o o o o o o x x x x x x x x o o o o o o o o o o o))) - -("Hattori 121" - ((2) - (3) - (4) - (5) - (2 2) - (2 2) - (3) - (8 3) - (2 1 2 4) - (3 1 2 1) - (5 2 2 1) - (1 4 2 1) - (1 1 5) - (3 3 5) - (5 7) - (6 6) - (7 7) - (17) - (15) - (13)) - ((3) - (5) - (6) - (2 7) - (4 7) - (1 11) - (3 1 1 4) - (7 1 3) - (4 3 2 3) - (8 1 3) - (4 1 1 4) - (2 10) - (3 7) - (7) - (6) - (7) - (10) - (8) - (2 2) - (7)) - ((o o o o o o o o x x o o o o o o o o o o) - (o o o o o o o x x x o o o o o o o o o o) - (o o o o o o o x x x x o o o o o o o o o) - (o o o o o o x x x x x o o o o o o o o o) - (o o o o o o x x o x x o o o o o o o o o) - (o o o o o o x x o x x o o o o o o o o o) - (o o o o o o o x x x o o o o o o o o o o) - (o o o o x x x x x x x x o o o o o x x x) - (o o o x x o o o x o o x x o o o x x x x) - (o o o x x x o o o o o o x o o o x x o x) - (o o o o x x x x x o o x x o o o x x o x) - (o o o o o x o o x x x x o o o o x x o x) - (o o o o o x o o o o o x o o o x x x x x) - (o o o x x x o o o o o x x x o x x x x x) - (o x x x x x o o o o o x x x x x x x o o) - (x x x x x x o o o o o x x x x x x o o o) - (x x x x x x x o o o x x x x x x x o o o) - (x x x x x x x x x x x x x x x x x o o o) - (o x x x x x x x x x x x x x x x o o o o) - (o o x x x x x x x x x x x x x o o o o o))) - -("Hattori 122" - ((2 2 5) - (2 2 7) - (9 6 4) - (1 1 1 1 8 1) - (7 9 2) - (7 10 3) - (9 2 3 2) - (12 1 2 2 2 3) - (3 3 1 1 1 1 2) - (2 2 1 1 2) - (2 2 2 3 2 2) - (2 2 1 3 2 2) - (12 7 3) - (1 2 2) - (5 6) - (2 1 1 1 4) - (2 1 1 2 3 2) - (1 1 3 4 2) - (1 1 1 1 1 1) - (1 1 1 1 1 1) - (5 1 4 2) - (5 1 1 1 3 4) - (1 4 1 13) - (1 2 4 3 3) - (1 3 5 3) - (1 1 1 6 2) - (2 3 6 4) - (2 8 5) - (3 22) - (1 12 8) - (15 8) - (11 7) - (9 6) - (12 6) - (3 18 2) - (2 18 3) - (2 2 12 3 1) - (1 2 7 1) - (2 2 2 2) - (10 8)) - ((1 1 6) - (2 7 1 2 3) - (13 1 2 2 2) - (1 1 5 1 2 3 2 2 1) - (6 1 2 1 1 1 1 1 1) - (1 4 1 1 3 1 2 1) - (6 1 2 1 1 1) - (1 1 5 1 3 5 1 1) - (13 14 1) - (2 7 12 3) - (1 1 5 13 2) - (1 1 2 17 1) - (2 1 1 12) - (6 1 1 2 11) - (3 3 9 11) - (3 2 1 1 1 11) - (4 1 8 1 4 5) - (4 3 6 4 4) - (4 1 3 2 2 3 4) - (4 2 5 3 1 4) - (5 4 7 1 5) - (7 2 1 2 3 1 4 2) - (2 8 4 1 1 9 1) - (2 11 8 1) - (3 5 2 8 1) - (3 4 2 3 10 1) - (3 4 2 2 2 8 1 1) - (2 4 4 10 2 1) - (4 8 2 2) - (3 5 5)) - ((o o x x o o o x x o o o o o o o o o o o o o x x x x x o o o) - (o x x o o o o o x x o o o o o o o o o o o x x x x x x x o o) - (o x x x x x x x x x o o o o o o x x x x x x o o x x x x o o) - (o o x o x o x o x o o o o o o x x x x x x x x o o o o o o x) - (o o x x x x x x x o o o o o x x x x x x x x x o o o o o x x) - (o o x x x x x x x o o o o x x x x x x x x x x o o o o x x x) - (o x x x x x x x x x o o o x x o o o o o x x x o o o o x x o) - (x x x x x x x x x x x x o x o x x o x x o x x o o o x x x o) - (o x x x o o o x x x o o o x o x o o o x o o x o o o x x o o) - (o x x o o o o o x x o o o x o o o o o o o o x o o x x o o o) - (o x x o o o o o x x o o o x x o x x x o o x x o o x x o o o) - (o x x o o o o o x x o o o o x o x x x o x x o o x x o o o o) - (x x x x x x x x x x x x o o x x x x x x x o o x x x o o o o) - (o o o o o o o o o o o o o o o o x o o x x o o x x o o o o o) - (o o o o o o o o o o o o x x x x x o o x x x x x x o o o o o) - (o o o o o o o o o o o x x o x o x o o x o o x x x x o o o o) - (o o o o o o o o o o x x o o x o x o x x o x x x o x x o o o) - (o o o o o o o o o o x o o o x o x x x o x x x x o o x x o o) - (o o o o o o o o o o x o o o x o o x o o x o o x o o o x o o) - (o o o o o o o o o o x o o o x o o x o o x o o x o o o x o o) - (o o o o o o o o o o x x x x x o o x o o x x x x o o x x o o) - (x x x x x o o o o o o x o o x o o x o x x x o x x x x o o o) - (x o o x x x x o o o o x o x x x x x x x x x x x x x o o o o) - (x o o o o o x x o o x x x x o o o o x x x o o o o x x x o o) - (x o o x x x o x x x x x o o o o o o o o o o o o o o x x x o) - (x o o x o x o x x x x x x o o o o o o o o o o o o o o x x o) - (x x o x x x o o x x x x x x o o o o o o o o o o o o x x x x) - (o x x o o o o o x x x x x x x x o o o o o o o o o x x x x x) - (o o x x x o o o x x x x x x x x x x x x x x x x x x x x x x) - (o o o x o o o x x x x x x x x x x x x o o o x x x x x x x x) - (o o o o x x x x x x x x x x x x x x x o o o x x x x x x x x) - (o o o o o o o x x x x x x x x x x x o o o o x x x x x x x o) - (o o o o o o o x x x x x x x x x o o o o o o x x x x x x o o) - (o o o o o x x x x x x x x x x x x o o o o x x x x x x o o o) - (o o o x x x o o x x x x x x x x x x x x x x x x x x o o x x) - (o o x x o o o o x x x x x x x x x x x x x x x x x x o x x x) - (o x x o o o o x x o o x x x x x x x x x x x x o o x x x o x) - (o x o o o o o o x x o o o o x x x x x x x o o o o o o o o x) - (o x x o o o o o o x x o o o o o o o o o x x o o o o o o x x) - (o o x x x x x x x x x x o o o o o o o o o x x x x x x x x o))) - -("Hattori 123" - ((4 8) - (5 1 9) - (3 1 1 10) - (3 1 1 3 8) - (3 1 2 2 1 7) - (1 1 2 1 1 1 2 5) - (1 2 1 1 1 2 1 2) - (1 1 2 1 2 1) - (2 1 1 1 2) - (2 2 1 2 1) - (2 1 2 1 2) - (2 1 1 1 1) - (2 2 1 2 2) - (2 2 1 1 1) - (1 1 1 1 1) - (2 3 2 2) - (2 2 1 2) - (2 2 2 2) - (2 2 2 1) - (2 2 1 2) - (2 2 5) - (8 6) - (6 7) - (6 7) - (12 6)) - ((6) - (1 4 1) - (4 3 2) - (1 2 2 2) - (4 3 2) - (1 2 3 2) - (4 4 2) - (1 2 4 2) - (1 3 1) - (4 2 1) - (2 3 2 1) - (1 2 1) - (1 5 2 1) - (4 3 4 3) - (5 7) - (2 10) - (2 5) - (4 2 4 2) - (6 4 3 3) - (5 3 2 4) - (8 7) - (6 4 5) - (6 3 2 5) - (7 3 2 5) - (9 6)) - ((o o o o o o o o o o x x x x o o o x x x x x x x x) - (o o o o o o x x x x x o o x o o x x x x x x x x x) - (o o o o x x x o o x o o o x o x x x x x x x x x x) - (o o x x x o x o o x o o o x x x o x x x x x x x x) - (x x x o x o x x o x x o o o x o o o x x x x x x x) - (x o x o x x o x o o x o o o x o o x x o x x x x x) - (x o x x o x o o o o x o o o x o x x o o x o o x x) - (x o o x o o o o o o o o o x x o x o o x x o o o x) - (x x o o o o o o o o o o o x o o x o o x o o o x x) - (x x o o o o o o o o o o x x o o x o x x o o o x o) - (o x x o o o o o o o o o x o o x x o x o o o x x o) - (o x x o o o o o o o o o x o o x o o x o o o x o o) - (o o x x o o o o o o o o x x o x o x x o o x x o o) - (o o o x x o o o o o o o x x o x o x o o o x o o o) - (o o o o x o o o o o o o o x o x o x o o o x o o o) - (o o o o x x o o o o o o o x x x o x x o o x x o o) - (o o o o o x x o o o o o o o x x o o x o o o x x o) - (o o o o o x x o o o o o o o x x o o x x o o o x x) - (o o o o o o x x o o o o o o x x o o o x x o o o x) - (o o o o o o x x o o o o o o x x o o o o x o o x x) - (o o o o o o o x x o o o o x x o o o o o x x x x x) - (o o o o o o o x x x x x x x x o o o o x x x x x x) - (o o o o o o o o x x x x x x o o o o x x x x x x x) - (o o x x x x x x o o o o o o o o o x x x x x x x o) - (o x x x x x x x x x x x x o o o o x x x x x x o o))) - -("Hattori 124" - ((8) - (12) - (14) - (3 5) - (1 3) - (1 1 1 2) - (9) - (2 5 2) - (2 2 2 2) - (2 1 3 1 2) - (1 1 3 1 1) - (2 1 3 1 2) - (2 2 2 2) - (2 5 2) - (9)) - ((2 3) - (2 2 2) - (3 2 2) - (2 2 2) - (3 1 5 1) - (3 4 3) - (3 2 3 2) - (3 3 3 2) - (3 2 3 2) - (3 4 3) - (4 1 5 1) - (4 2 2) - (4 2 2) - (5 2 2) - (4 3)) - ((o o o o x x x x x x x x o o o) - (o o x x x x x x x x x x x x o) - (o x x x x x x x x x x x x x x) - (x x x o o o o o o o x x x x x) - (x o o o o o o o o o o o x x x) - (o o o o o x o x o x o o o x x) - (o o o x x x x x x x x x o o o) - (o o x x o x x x x x o x x o o) - (o x x o x x o o o x x o x x o) - (x x o o x o x x x o x o o x x) - (x o o o x o x x x o x o o o x) - (x x o o x o x x x o x o o x x) - (o x x o x x o o o x x o x x o) - (o o x x o x x x x x o x x o o) - (o o o x x x x x x x x x o o o))) - -("Hattori 125" - ((11) - (11) - (2 7) - (6 5) - (8 3) - (3 5 2) - (4 4 3 1) - (3 3 5 1) - (1 3 2 3 1) - (3 2 3 1) - (4 2 2 1) - (2 2 1 4 1) - (2 2 3 1) - (4 1 2) - (3 2 2 2) - (3 1) - (2) - (2 2) - (3 2) - (2 4)) - ((3 2 6) - (3 2 6) - (2 3 2 2) - (2 2 4) - (3 2 2) - (5) - (7) - (11) - (12) - (9 1) - (6 3) - (1 1 1 2) - (2 2 2 2) - (1 2 1 1 1) - (1 2 2 2 1) - (1 4 4 2) - (2 6 2) - (1 3 2) - (2 4) - (10)) - ((x x x x x x x x x x x o o o o o o o o o) - (x x x x x x x x x x x o o o o o o o o o) - (x x o o x x x x x x x o o o o o o o o o) - (o o o o o x x x x x x o x x x x x o o o) - (o o o o o x x x x x x x x o o o x x x o) - (x x x o o o x x x x x o o o o o o o x x) - (x x x x o o x x x x o o o x x x o o o x) - (o o x x x o o x x x o o x x x x x o o x) - (o o o o x o o x x x o x x o o x x x o x) - (x x x o o o o x x o o o o o o x x x o x) - (x x x x o o o x x o o o o o o o x x o x) - (x x o x x o o o x o o o o x x x x o o x) - (x x o x x o o o o o o o o o x x x o o x) - (x x x x o o o o o o o o o o o x o o x x) - (x x x o o o o o o o o x x o x x o o x x) - (o o o o o o o o o o o o x x x o o o x o) - (o o o o o o o o o o o o o o o o o x x o) - (o o o o o o o o o o x x o o o o x x o o) - (o o o o o o o o o o x x x o o x x o o o) - (o o o o o o o o o x x o x x x x o o o o))) - -("Hattori 126" - ((2 2) - (4 4) - (12) - (13) - (3 1 1 1 3) - (2 1 1 1 2) - (1 7 1) - (1 1) - (2 2) - (2 2) - (3 3) - (3 3) - (9) - (7) - (5)) - ((5) - (3 3) - (3 3) - (3 3) - (7 3) - (4 1 3) - (3 1 3) - (5 3) - (2 1 3) - (3 1 3) - (7 3) - (4 3) - (4 3) - (4 3) - (5)) - ((o o o o x x o o o o x x o o o) - (o o o x x x x o o x x x x o o) - (o o x x x x x x x x x x x x o) - (o x x x x x x x x x x x x x o) - (x x x o x o o x o o x o x x x) - (x x o o x o o x o o x o o x x) - (x o o o x x x x x x x o o o x) - (x o o o o o o o o o o o o o x) - (x x o o o o o o o o o o o x x) - (o x x o o o o o o o o o x x o) - (o x x x o o o o o o o x x x o) - (o o x x x o o o o o x x x o o) - (o o o x x x x x x x x x o o o) - (o o o o x x x x x x x o o o o) - (o o o o o x x x x x o o o o o))) - -("Hattori 127" - ((4) - (5) - (5 6) - (6 6) - (15) - (7 3 2) - (7 2 3 2) - (3 3 4 2) - (2 13 1) - (1 5 7 1) - (1 5 4 1) - (1 3 2 1) - (1 1) - (1 1 1 1) - (1 1 1 2) - (2 1 1 2) - (2 2 2 2) - (6 2 2) - (16) - (14)) - ((9) - (1 3 3) - (3 2 3) - (5 2 3) - (5 4 7) - (10 4) - (8 3) - (8 2) - (2 2 2) - (4 1 2) - (3 1 2 2) - (4 2 2) - (10 2) - (11 3) - (11 4) - (3 1 5 4 2) - (2 4 2) - (2 3) - (2 4) - (9)) - ((o o o o o o o o o o o o x x x x o o o o) - (o o o o o o o o o o o x x x x x o o o o) - (o x x x x x o o o o x x x x x x o o o o) - (o o x x x x x x o x x x x x x o o o o o) - (o o x x x x x x x x x x x x x x x o o o) - (o o o x x x x x x x o o x x x o x x o o) - (o x x x x x x x o x x o x x x o o x x o) - (x x x o o x x x o o o o x x x x o o x x) - (x x o o x x x x x x x x x x x x x o o x) - (x o o o x x x x x o x x x x x x x o o x) - (x o o x x x x x o o o o o x x x x o o x) - (x o o x x x o o o o o o o o o x x o o x) - (x o o o o o o o o o o o o o o o o o o x) - (x o o o x o o o o o o o o o o x o o o x) - (x o o o x o o o o o o o o o o x o o x x) - (x x o o x o o o o o o o o o o x o o x x) - (o x x o x x o o o o o o o o x x o x x o) - (o x x x x x x o o o o o o x x o o x x o) - (o o x x x x x x x x x x x x x x x x o o) - (o o o x x x x x x x x x x x x x x o o o))) - -("Hattori 128" - ((14 1) - (4 8 1) - (3 8 3) - (3 1 1 7 1 1) - (4 1 1 1 6 2 1) - (4 3 1 6 1 1) - (4 5 2 1) - (4 4 5 1 1) - (5 1 1 3 3) - (4 4 1) - (2 2) - (5 7 1) - (7 5 6) - (4 3 3 3) - (4 2 4) - (7 4 1) - (4 4 3 6 1) - (4 2 6 3 2) - (7 5 1 3) - (2 2 1 1) - (2 4 2) - (1 1 2) - (2 7) - (3 8) - (14)) - ((4) - (6) - (6 8) - (9 6 3) - (10 4 1 2) - (3 6 3 1 1 2) - (2 5 2 2 2) - (1 3 3 1 2 1) - (1 1 2 1 1 1) - (1 3 3 2 2 1 1) - (1 1 1 2 4 1) - (3 2 1 1 1 1 2) - (4 3 2 3 3) - (6 2 3 4) - (8 3 3 3) - (9 3 1 3) - (10 3 2 3) - (9 1 1 2 4) - (7 1 4 5) - (2 7) - (1 3) - (5 1 5) - (1 1 1 1 3 1) - (4 1 2 3 2) - (1 1 1 1 7)) - ((o o o o x x x x x x x x x x x x x x o o o o o x o) - (o o o x x x x o o o o x x x x x x x x o o o o x o) - (o o o x x x o o o o o x x x x x x x x o o o x x x) - (o o x x x o o x o x o o x x x x x x x o o x o x o) - (o o x x x x o x o x o x o x x x x x x o o x x o x) - (o o x x x x o x x x o x o x x x x x x o o x o x o) - (o o x x x x o o o o o o o o x x x x x o o x x o x) - (o o x x x x o o o x x x x o x x x x x o o x o x o) - (o o x x x x x o o x o o x o o x x x o o o o x x x) - (o o o x x x x o o x x x x o o o x o o o o o o o o) - (o o o o o o x x o o o o o o x x o o o o o o o o o) - (o o o o o x x x x x o o o x x x x x x x o o o o x) - (o o o o x x x x x x x o x x x x x o o x x x x x x) - (o o x x x x o o o o x x x o o o x x x o o o x x x) - (o x x x x o o o o o o o o o o o o o x x o x x x x) - (x x x x x x x o o o o o o o o o o o x x x x o o x) - (x x x x o o x x x x o o x x x o x x x x x x o o x) - (x x x x o o o o o x x o x x x x x x o x x x o x x) - (x x x x x x x o o o x x x x x o o o o x o x x x o) - (o x x o o o x x o o x o o o o o o o o x o o o o o) - (o o x x o o o x x x x o o o o o o o x x o o o o o) - (o o o x o o o o o o o o o x o o o x x o o o o o o) - (o o o x x o o o o o o o x x x x x x x o o o o o o) - (o o o o x x x o o o o x x x x x x x x o o o o o o) - (o o o o o x x x x x x x x x x x x x x o o o o o o))) - -("Hattori 129" - ((3) - (5) - (5) - (6) - (5 6) - (7 6) - (4 3 6) - (4 2 8) - (4 2 10) - (4 1 5 5) - (4 2 7 4) - (6 2 8 2) - (3 1 12) - (1 1 2 1 11 1) - (1 1 2 11 1) - (1 2 3 14) - (1 6 14) - (1 3 17) - (1 5 17) - (8 5 3) - (1 5 1 1 1) - (1 6 1 1 1) - (11 1 1) - (1 1 4 1 1 1) - (4 3)) - ((5 11) - (6 1 1) - (15 1) - (9 9) - (3 3 7) - (2 1 2 1 6) - (3 1 1 1 1 6) - (7 2 5) - (3 1 2 3) - (2 1 2 1) - (1 1 8) - (9 1) - (13) - (10 1) - (12) - (13) - (14) - (16) - (18) - (9 9) - (10 8) - (6 4 2 4) - (4 6 5 1) - (4 1 10) - (2 6 1)) - ((o o o o o o o o o o o o o o o o o o o x x x o o o) - (o o o o o o o o o o o o o o o o o o x x x x x o o) - (o o o o o o o o o o o o o o o o o o x x x x x o o) - (o o o o o o o o o o o o o o o o o x x x x x x o o) - (o o o x x x x x o o o o o o o o o x x x x x x o o) - (o o x x x x x x x o o o o o o o x x x x x x o o o) - (o x x x x o x x x o o o o o o x x x x x x o o o o) - (x x x x o o o x x o o o o o o x x x x x x x x o o) - (x x x x o o x x o o o o o o x x x x x x x x x x o) - (x x x x o o o x o o o o o o x x x x x o x x x x x) - (x x x x o o x x o o o o o x x x x x x x o x x x x) - (x x x x x x o o o o x x o x x x x x x x x o x x o) - (o o x x x o o o o x o x x x x x x x x x x x x o o) - (x o x o x x o o o x o x x x x x x x x x x x o x o) - (x o x o o x x o o o x x x x x x x x x x x o o o x) - (x o x x o o o x x x o x x x x x x x x x x x x x x) - (x o x x x x x x o o o x x x x x x x x x x x x x x) - (x o x x x o o o x x x x x x x x x x x x x x x x x) - (x o x x x x x o x x x x x x x x x x x x x x x x x) - (x x x x x x x x o o x x x x x o o o o o o o x x x) - (x o o x x x x x o o x o x o o o o o o o o o o x o) - (x o o x x x x x x o x o x o o o o o o o o o o x o) - (x x x x x x x x x x x o x o o o o o o o o o o x o) - (x o o x o x x x x o x o x o o o o o o o o o o x o) - (o o o o o o o o o o x x x x o o o o o o o o x x x))) - -("Hattori 130" - ((3) - (5 8) - (6 9) - (7 9) - (7 5 3) - (7 4 3) - (5 3 2) - (3 2 2) - (2 1 1 1) - (2 1 1) - (1 1) - (3 5 1) - (1 5 1) - (3 5 1) - (7 1) - (7 3 1) - (6 4 1) - (6 4 1 1) - (13 6) - (5 6)) - ((6 1 4) - (6 2 1 4) - (7 2 3 4) - (6 1 4) - (11 4) - (6 4) - (5 2 1) - (1 1 1) - (2 4 2) - (3 4 4) - (4 9) - (5 9) - (6 9) - (7) - (8 2) - (2 3) - (3 2) - (3 2) - (4 2) - (15)) - ((x x x o o o o o o o o o o o o o o o o o) - (x x x x x o o x x x x x x x x o o o o o) - (x x x x x x o o x x x x x x x x x o o o) - (x x x x x x x o o x x x x x x x x x o o) - (x x x x x x x o o o x x x x x o x x x o) - (x x x x x x x o o o o x x x x o o x x x) - (o o x x x x x o o o o o x x x o o o x x) - (o o o o x x x o o o o o o x x o o o x x) - (o x x o x o o o o o o o o o x o o o o x) - (o x x o x o o o o o o o o o o o o o o x) - (o o o o x o o o o o o o o o o o o o o x) - (o o x x x o o o x x x x x o o o o o o x) - (o o x o o o o o x x x x x o o o o o o x) - (x x x o o o o o x x x x x o o o o o o x) - (o o o o o o x x x x x x x o o o o o o x) - (x x x x x x x o o o x x x o o o o o o x) - (x x x x x x o o o x x x x o o o o o o x) - (x x x x x x o o o x x x x o o x o o o x) - (x x x x x x x x x x x x x o x x x x x x) - (o o o o o o o o x x x x x o x x x x x x))) - -("Hattori 131" - ((4) - (2 3) - (1 4) - (1 4 4) - (6 6) - (4 7) - (7) - (7) - (4 6) - (6 1 1) - (2 5 3) - (1 6 1 1) - (1 6 2 1) - (8 1) - (7 2) - (6 1) - (9) - (3) - (1) - (4)) - ((4) - (2 2) - (1 4) - (6 4) - (6 2 2) - (4 2 5) - (8) - (9) - (9) - (8) - (7) - (1) - (1) - (3 1) - (5 3 1) - (9 4) - (6 1 1 1) - (6 3 3) - (6 1) - (7 1)) - ((o x x x x o o o o o o o o o o o o o o o) - (x x o x x x o o o o o o o o o o o o o o) - (x o x x x x o o o o o o o o o o o o o o) - (x o x x x x o o o o o o o o o o x x x x) - (x x x x x x o o o o o o o o x x x x x x) - (o x x x x o o o o o o o o x x x x x x x) - (o o o o o o o o o o o o o x x x x x x x) - (o o o o o o o o o o o o o x x x x x x x) - (o o o o o x x x x o o o o o x x x x x x) - (o o o o x x x x x x o o o o o x o o o x) - (o o o x x o x x x x x o o o o x x x o o) - (o o o x o x x x x x x o o o o x o x o o) - (o o o x o x x x x x x o o o x x o x o o) - (o o o x x x x x x x x o o o x o o o o o) - (o o o o x x x x x x x o o o x x o o o o) - (o o o o o x x x x x x o o o o x o o o o) - (o o o o o o o x x x x x x x x x o o o o) - (o o o o o o o o o o o o o o o x x x o o) - (o o o o o o o o o o o o o o o o o x o o) - (o o o o o o o o o o o o o o o o x x x x))) - -("Hattori 132" - ((3) - (1 1) - (1 1 6) - (1 1 1 4) - (1 1 2 5) - (1 1 2 5) - (1 1 9) - (1 1 10) - (1 1 3 1 3) - (1 1 3 1 2) - (1 1 2 1 3) - (1 1 2 2) - (5 1 2) - (1 2 2 1) - (1 2 7) - (3 7 2) - (5 1 7) - (5 1 7) - (5 14) - (3 1)) - ((3) - (5) - (5) - (5) - (3) - (4) - (13 4) - (1 1 1 1) - (14 1 1) - (7) - (1 5) - (6 4) - (11 3) - (1 6 2 3) - (1 2 1 1 1 4) - (1 6 1 5) - (6 2 1) - (9 1 1) - (10 1 1) - (6 2 2 1)) - ((o o o o o o x x x o o o o o o o o o o o) - (o o o o o o x o x o o o o o o o o o o o) - (o o o o o o x o x o o o o x x x x x x o) - (o o o o o o x o x o o o x o o o x x x x) - (o o o o o o x o x o o o x x o x x x x x) - (o o o o o o x o x o o o x x o x x x x x) - (o o o o o o x o x o o x x x x x x x x x) - (o o o o o o x o x o x x x x x x x x x x) - (o o o o o o x o x o o x x x o x o x x x) - (o o o o o o x o x o o x x x o x o x x o) - (o o o o o o x o x o o x x o x o o x x x) - (o o o o o o x o x o o x x o o o o o x x) - (o o o o o x x x x x o o x o x x o o o o) - (o o o o o x o o x x o o x x o o o o o x) - (o o o o o x o o o x x o o x x x x x x x) - (o x x x o x x x x x x x o o o x x o o o) - (x x x x x o x o o x x x x x x x o o o o) - (x x x x x o x o o x x x x x x x o o o o) - (x x x x x o x x x x x x x x x x x x x x) - (o x x x o o o o o o o o o o x o o o o o))) - -("Hattori 133" - ((3) - (3 4 1) - (7 4 5) - (11 4 2 1) - (15 2) - (13 2) - (14) - (11) - (17) - (20) - (22) - (24) - (24) - (5 13 2) - (16 1) - (18) - (19) - (10 10) - (9 11) - (9 6 5) - (9 6 4) - (8 7 2) - (7 6 1) - (5 5) - (3 3)) - ((1 3 3) - (2 4 6) - (2 5 8) - (4 6 8) - (5 6 9) - (6 5 9) - (6 5 9) - (21) - (20) - (19) - (1 16) - (3 14 4) - (17 7) - (24) - (23) - (21) - (17) - (17) - (2 11) - (2 12) - (2 4 7) - (1 4 6) - (1 4 5) - (1 4 4) - (3)) - ((o o o o o o o o o o x x x o o o o o o o o o o o o) - (o o o o o x x x o o o x x x x o o o o o o o o o x) - (o o o x x x x x x x o x x x x o o o o o x x x x x) - (x x x x x x x x x x x o x x x x o o o x x o o o x) - (o x x x x x x x x x x x x x x x o o x x o o o o o) - (o o o x x x x x x x x x x x x x o x x o o o o o o) - (o o o o x x x x x x x x x x x x x x o o o o o o o) - (o o o o o o o x x x x x x x x x x x o o o o o o o) - (o o o x x x x x x x x x x x x x x x x x o o o o o) - (o o x x x x x x x x x x x x x x x x x x x x o o o) - (o x x x x x x x x x x x x x x x x x x x x x x o o) - (x x x x x x x x x x x x x x x x x x x x x x x x o) - (x x x x x x x x x x x x x x x x x x x x x x x x o) - (x x x x x o o x x x x x x x x x x x x x o o x x o) - (o o o o o x x x x x x x x x x x x x x x x o o x o) - (o o o o x x x x x x x x x x x x x x x x x x o o o) - (o o o x x x x x x x x x x x x x x x x x x x o o o) - (o o x x x x x x x x x x o x x x x x x x x x x o o) - (o o x x x x x x x x x o x x x x x x x x x x x o o) - (o x x x x x x x x x o o x x x x x x o x x x x x o) - (o x x x x x x x x x o o x x x x x x o o x x x x o) - (o x x x x x x x x o o x x x x x x x o o o o x x o) - (x x x x x x x o o o o x x x x x x o o o o o o x o) - (x x x x x o o o o o o x x x x x o o o o o o o o o) - (x x x o o o o o o o o x x x o o o o o o o o o o o))) - -("Hattori 134" - ((4) - (3 3 4) - (2 2 6 5) - (5 8 5) - (2 1 8 3) - (3 7 3) - (4 7 3 3) - (5 5 5 1 1) - (1 3 4 6) - (1 4 4 6) - (1 3 2 3 1) - (1 4 1 3) - (1 3 4) - (1 7 4) - (1 3 2 2 2) - (1 3 1 6) - (1 7 4 2) - (1 4 1 3 4) - (1 2 12) - (2 8 2 1) - (3 1 1 1 4 7) - (14 2 5) - (12 3 3) - (8 4 2) - (5)) - ((2 2) - (4 3) - (1 20) - (3 3 2) - (8 4) - (6 3) - (7 4) - (7 3) - (7 4) - (4 5 3) - (8 1 3 3) - (11 2 8) - (10 4 4 1) - (9 1 5 1) - (6 5 2) - (1 5 2 4) - (1 2 1 2 4) - (2 2 4 2) - (3 2 6) - (3 4 4 4) - (3 4 3 6) - (3 3 11) - (12 1 2 2) - (4 2 10) - (14)) - ((o o o o o o o o o o o o o o o x x x x o o o o o o) - (o x x x o o o o o o o x x x o o o x x x x o o o o) - (x x o x x o o o o o x x x x x x o o x x x x x o o) - (x x x x x o o o o x x x x x x x x o o x x x x x o) - (o x x o x o o o o x x x x x x x x o o o o x x x o) - (o o x x x o o o o x x x x x x x o o o o o o x x x) - (o o x x x x o o o x x x x x x x o x x x o o x x x) - (o o x x x x x o o o x x x x x o x x x x x o x o x) - (o o x o x x x o o o x x x x o o o o o x x x x x x) - (o o x o x x x x o o x x x x o o o o o x x x x x x) - (o o x o o x x x o o o x x o o o o o o o x x x o x) - (o o x o o x x x x o o x o o o o o o o o o o x x x) - (o o x o o o x x x o o o o o o o o o o o o x x x x) - (o o x o o o x x x x x x x o o o o o o o o x x x x) - (o o x o o o o x x x o x x o o o o o o o x x o x x) - (o o x o o o o x x x o o x o o o o o o x x x x x x) - (o o x o o o o o x x x x x x x o o o x x x x o x x) - (o o x o o o o o x x x x o o x o o x x x o x x x x) - (o o x o o o o o o o x x o x x x x x x x x x x x x) - (o x x o o o o o o o o x x x x x x x x o x x o x o) - (x x x o x o x o x o o x x x x o o x x x x x x x o) - (x x x x x x x x x x x x x x o x x o x x x x x o o) - (o o x x x x x x x x x x x x o x x x o x x x o o o) - (o o o o x x x x x x x x o o x x x x o x x o o o o) - (o o o o o o o o o o o o x x x x x o o o o o o o o))) - -("Hattori 135" - ((1) - (2 3 3) - (9 7) - (3 3 2 5) - (2 4 1) - (2 1) - (1 1 2 1) - (1 2 1) - (1 6) - (1 1 2) - (1 1 2 1) - (1 4) - (1 1) - (1 2) - (3 6) - (4 7) - (14) - (1 14 3) - (1 11 3) - (2 6)) - ((3) - (2 1) - (3 2) - (3 4) - (2 3 5) - (4 5) - (3 5) - (13 3) - (2 5) - (2 3 5) - (2 1 6) - (2 13) - (6 5) - (1 1 1 5) - (2 3 2 3 1) - (3 2 1) - (4 1) - (3 3) - (2 3) - (1 3)) - ((o o o o o o o o o o o o o o o o x o o o) - (o o o x x o o x x x o o o o o x x x o o) - (o o x x x x x x x x x o o x x x x x x x) - (o x x x o x x x o o x x o o x x x x x o) - (o x x o x x x x o o o x o o o o o o o o) - (o o o o x x o x o o o o o o o o o o o o) - (o o o o x o o x o o o x x o x o o o o o) - (o o o o o o o x o o o x x o x o o o o o) - (o o o o o o o x o x x x x x x o o o o o) - (o o o o o o o x o x o x x o o o o o o o) - (o o o o o o o x o x o x x o x o o o o o) - (o o o o o o o x o o o x x x x o o o o o) - (o o o o o o o x o o o x o o o o o o o o) - (o o o o o o o x o o x x o o o o o o o o) - (o o o o x x x o x x x x x x o o o o o o) - (o o o x x x x o x x x x x x x o o o o o) - (o o x x x x x x x x x x x x x x o o o o) - (x o x x x x x x x x x x x x x x o x x x) - (x o o x x x x x x x x x x x o o o x x x) - (x x o o o o o o o o o o o o x x x x x x))) - -("Hattori 136" - ((11) - (6 6) - (6 5) - (9 8) - (6 4) - (5 3 3 4) - (5 1 1 1 1 4) - (5 4) - (2 4 2) - (3 2 2) - (1 1 9 3) - (1 7 4 1 1) - (1 3 4 1) - (6 2 2 2 1) - (2 1 1 4) - (9 6) - (1 4 6) - (1 4 2 2 1 1) - (1 1 3 4 1) - (4 7 4)) - ((4 5 1) - (5 1 1 5) - (6 3 1 1 1) - (7 1 3 3) - (8 7) - (5 2 3 4) - (4 4 4) - (4 2 2 3 2) - (2 1 1 2 1 1 1 1) - (1 1 2 1 1 1 1 1 1) - (1 1 1 1) - (1 1 1 1 1 1 1) - (2 1 2 1 2 1 1 1 1) - (2 1 1 2 3 2) - (4 2 4 4) - (4 2 3 2 1) - (8 5 2) - (7 3 1 1 1) - (6 1 1 4) - (5 5 1)) - ((o o o o o x x x x x x x x x x x o o o o) - (o o o x x x x x x o o o x x x x x x o o) - (o o x x x x x x o o o o o o x x x x x o) - (o x x x x x x x x x o o x x x x x x x x) - (x x x x x x o o o o o o o o o o x x x x) - (x x x x x o o x x x o o x x x o x x x x) - (x x x x x o o x o x o o x o x o x x x x) - (x x x x x o o o o o o o o o o o x x x x) - (o o o o x x o o o x x x x o o x x o o o) - (x x x o o x x o o o o o o o x x o o o o) - (x o x o o o x x x x x x x x x o o x x x) - (x o x x x x x x x o o o x x x x o x o x) - (x o o o x x x o o o o o o o x x x x o x) - (x x x x x x o o x x o x x o o x x o o x) - (o o o x x o o x o o o o o x o o x x x x) - (o x x x x x x x x x o x x x x x x o o o) - (o x o o x x x x o o o o o x x x x x x o) - (o x o x x x x o x x o x x o x o o o x o) - (o x o x o x x x o o o o o x x x x o x o) - (x x x x o o o x x x x x x x o o x x x x))) - -("Hattori 137" - ((5 3) - (3 3 2) - (5 3) - (4 1 4) - (3 3 2) - (8 1 1) - (2 4 2 1 1) - (11 2 2) - (4 3 8) - (2 10 4) - (10 5 1) - (8 10) - (5 9 3) - (3 9 6) - (10 6 2) - (6 12) - (3 10 3) - (10 5) - (6 4) - (7)) - ((5) - (8) - (10) - (8 2 3) - (6 10) - (4 13) - (11 2 4) - (3 3 9 1) - (3 15) - (1 1 7 8) - (1 2 7 2 1) - (1 2 1 10) - (2 4 7) - (1 8 4) - (2 8 1) - (2 2 8) - (3 6 4) - (2 1 6 2) - (1 2 3 5) - (1 11)) - ((o o o o o o o o x x x x x o o o o x x x) - (o o o o o o x x x o o o x x x o x x o o) - (o o o o o x x x x x o o o o x x x o o o) - (o o o o x x x x o o o x o o o x x x x o) - (o o o o x x x o o x x x o o o o o o x x) - (o o o x x x x x x x x o o x o o o o o x) - (o o o x x o x x x x o o x x o o x o o x) - (o o o x x x x x x x x x x x o x x o x x) - (o o o x x x x o x x x o x x x x x x x x) - (o o x x o x x x x x x x x x x o x x x x) - (o o x x x x x x x x x x o x x x x x o x) - (o x x x x x x x x o x x x x x x x x x x) - (o x x x x x o x x x x x x x x x o x x x) - (x x x o x x x x x x x x x o x x x x x x) - (x x x x x x x x x x o x x x x x x o x x) - (x x x x x x o x x x x x x x x x x x x o) - (x x x o x x x x x x x x x x o x x x o o) - (x x x x x x x x x x o x x x x x o o o o) - (o x x x x x x o x x x x o o o o o o o o) - (o o o x x x x x x x o o o o o o o o o o))) - -("Hattori 138" - ((6 1 1) - (8 3 3 1) - (3 2 1 2 5 2) - (2 1 1 1 1 4 3 3) - (1 1 1 1 1 2 6) - (1 1 1 4) - (2 3 1 1 2) - (2 2 1) - (6 1 3) - (7 1 1) - (8 3 1 2) - (2 8 1) - (2 3 3 6 1 2) - (2 1 4 1 1 1) - (2 5 4 1 1) - (3 3 3 4 6) - (8 4 1 1) - (8 5 6) - (3 3 2 1) - (3 3 2 4 4) - (3 3 1 6 6) - (3 3 2 2 2 2 2) - (3 3 2 2 5 2) - (8 8 6) - (8 4 4)) - ((7 16) - (4 19) - (3 3 10) - (2 2 1 3 2 2) - (2 1 6 9) - (2 2 1 5 10) - (3 6 10) - (7 2 4 2) - (1 2) - (6 2) - (16 7) - (1 6 3 1) - (2 1 4) - (2 1 6) - (2 6 2 2) - (3 1 3 2 2) - (3 1 3 6) - (3 1 3 4) - (3 1 1) - (3 6 4) - (3 1 1 1 6) - (3 8 1 2 2) - (4 1 1 1 2 2) - (4 1 1 1 8) - (4 1 1 3 4)) - ((o x x x x x x o o o x o o o o o o x o o o o o o o) - (x x x x x x x x o o x x x o o o x x x o o o o o x) - (x x x o o o x x o o x o x x o x x x x x o o o x x) - (x x o x o x o x o o x o o x x x x o x x x o x x x) - (x o o x o x o x o o x o o o x x o o o x x x x x x) - (x o o o o o o x o o x o o o o o o o o o x x x x o) - (x x o x x x o x o o x o o o o o o o o o o x x o o) - (x x o o o o x x o o x o o o o o o o o o o o o o o) - (o x x x x x x o o o x o o o o o o o o o x x x o o) - (x x x x x x x o o o x o o o o o o o o o o x o o o) - (x x x x x x x x o x x x o o o o o o o o o x o x x) - (x x o o x x x x x x x x o o o o o o o o o x o o o) - (x x o o x x x o o x x x o o x x x x x x o x o x x) - (x x o o x o o o x x x x o o x o o o o x o x o o o) - (x x o o o o o x x x x x o o x x x x o x o x o o o) - (x x x o o x x x o x x x o o x x x x o x x x x x x) - (x x x x x x x x o o o o o o x x x x o x o o o o x) - (x x x x x x x x o o x x x x x o o o o x x x x x x) - (x x x o x x x o o o x x o o o o o o o o o o o x o) - (x x x o x x x o o o x x o x x x x o o o x x x x o) - (x x x o x x x o o o x o x x x x x x o x x x x x x) - (x x x o x x x o o x x o x x o o x x o x x o o x x) - (x x x o x x x o o x x o x x o o x x x x x o o x x) - (x x x x x x x x o o x x x x x x x x o x x x x x x) - (x x x x x x x x o o o o o x x x x o o o x x x x o))) - -("Hattori 139" - ((3 5) - (5 1 3 1) - (5 3 7) - (3 3 5 1) - (5 5 6) - (5 3 5 8) - (10 3 9) - (3 5 9) - (3 5 3 8) - (5 3 5 7) - (5 5 6) - (5 3 5 6) - (3 5 3 5) - (5 4 1) - (3 5 3 2 2) - (5 3 5 1) - (5 5 4 2) - (5 3 5 7) - (3 5 3 8) - (5 8) - (3 5 8) - (5 3 9) - (5 9) - (5 7 2) - (3 4)) - ((3 3 3) - (3 5 5 5) - (10 5 5) - (10 5 5) - (5 3 3 3) - (3 3 3) - (2 3 5 5) - (4 5 5 5) - (4 5 5 5) - (4 5 3 3) - (2 3 3) - (3 3 5) - (1 5 5 5) - (7 5 5) - (1 5 5 3) - (1 3 3 2) - (2 2 2 4) - (1 4 9) - (2 10 9) - (1 11 8) - (1 11 8) - (12 7) - (1 9 7) - (1 8 3 6) - (2 5 2 5)) - ((o o o o o o o x x x o o x x x x x o o o o o o o o) - (o o o o o o x x x x x o o x o o x x x o o o o o x) - (o o o o o o x x x x x o x x x o o o x x x x x x x) - (o o x x x o o x x x o x x x x x o o o o o x o o o) - (o x x x x x o o o o o x x x x x o o x x x x x x o) - (o x x x x x o x x x o x x x x x o x x x x x x x x) - (o x x x x x x x x x x o x x x o x x x x x x x x x) - (o o x x x o x x x x x o o o o o x x x x x x x x x) - (o x x x o o x x x x x o x x x o o x x x x x x x x) - (x x x x x o o x x x o x x x x x o o x x x x x x x) - (x x x x x o o o o o o x x x x x o o x x x x x x o) - (x x x x x o x x x o o x x x x x o o x x x x x x o) - (o x x x o x x x x x o o x x x o o o x x x x x o o) - (o o o o o x x x x x o o o o o o o o x x x x o o x) - (o x x x o x x x x x o x x x o o o o o x x o o x x) - (x x x x x o x x x o x x x x x o o o o o o o o x o) - (x x x x x o o o o o x x x x x o o x x x x o x x o) - (x x x x x o x x x o x x x x x o x x x x x x x o o) - (o x x x o x x x x x o x x x o o x x x x x x x x o) - (o o o o o x x x x x o o o o o o o x x x x x x x x) - (o x x x o x x x x x o o o o o o o x x x x x x x x) - (x x x x x o x x x o o o o o o o x x x x x x x x x) - (x x x x x o o o o o o o o o o o x x x x x x x x x) - (x x x x x o o o o o o o o o o x x x x x x x o x x) - (o x x x o o o o o o o o o o o x x x x o o o o o o))) - -) +)) \ No newline at end of file diff --git a/collects/games/paint-by-numbers/raw-problems/raw-kajitani.ss b/collects/games/paint-by-numbers/raw-problems/raw-kajitani.ss index 48d9394b95..cb6b921391 100644 --- a/collects/games/paint-by-numbers/raw-problems/raw-kajitani.ss +++ b/collects/games/paint-by-numbers/raw-problems/raw-kajitani.ss @@ -1,4 +1,7 @@ -(("Kajitani 15x15" +#lang scheme/base +(provide raw-kajitani) +(define raw-kajitani +'(("Kajitani 15x15" "k15x15" (("19980519-KHA (1)" ((2 2) @@ -14474,4 +14477,4 @@ (12) (7) () - ()))))) + ())))))) \ No newline at end of file diff --git a/collects/games/paint-by-numbers/raw-problems/raw-misc.ss b/collects/games/paint-by-numbers/raw-problems/raw-misc.ss index 841909f98f..3d7286cff0 100644 --- a/collects/games/paint-by-numbers/raw-problems/raw-misc.ss +++ b/collects/games/paint-by-numbers/raw-problems/raw-misc.ss @@ -1,6 +1,9 @@ +#lang scheme/base +(provide raw-misc) + #| -raw-problems.ss +raw-misc.ss This file contains the built-in problems in a raw format. It is intended to be processed by the solver which will produce @@ -12,9 +15,8 @@ type: The cols and rows types are specified in sig.ss |# - +(define raw-misc `( - ("Happy Happy Joy Joy" ((5) (9) (2 7) (4 8) (4 7) (6 7) (7 7) (7 6) (7 5) (5 1 4) (4 2 3) (2 4 1) (9) (5)) ((4) (8) (10) (12) (1 8 1) (2 5 2) (4 3 3) (5 4) (7 5) (8 3) (9 1) (10 1) (10) (8) (4))) @@ -36,3 +38,4 @@ The cols and rows types are specified in sig.ss ((1) (2 2) (1 1) (1) (2 2) (1))) ) +) \ No newline at end of file diff --git a/collects/games/paint-by-numbers/raw-problems/raw-problems.ss b/collects/games/paint-by-numbers/raw-problems/raw-problems.ss index 3fd0ef19b7..98138f5235 100644 --- a/collects/games/paint-by-numbers/raw-problems/raw-problems.ss +++ b/collects/games/paint-by-numbers/raw-problems/raw-problems.ss @@ -1,3 +1,5 @@ +#lang scheme/base + #| raw-problems.ss @@ -12,6 +14,8 @@ The cols and rows types are specified in sig.ss |# +(provide raw-problems) +(define raw-problems `( ("Izay (1)" @@ -75,3 +79,4 @@ The cols and rows types are specified in sig.ss (2 4 2) (2 5) (5) (3) (3))) ) +) \ No newline at end of file diff --git a/collects/games/paint-by-numbers/raw-problems/size-calculation.ss b/collects/games/paint-by-numbers/raw-problems/size-calculation.ss index 1180e08427..78345eaed8 100644 --- a/collects/games/paint-by-numbers/raw-problems/size-calculation.ss +++ b/collects/games/paint-by-numbers/raw-problems/size-calculation.ss @@ -1,10 +1,6 @@ -(require-library "function.ss") -(require-library "pretty.ss") +#lang scheme -(define raw-hattori (call-with-input-file - (build-path (collection-path "games" "paint-by-numbers") - "raw-hattori.ss") - (lambda (x) (eval (read x))))) +(require "raw-hattori.ss") (define (num-possibilities size col) (let* ([col-len (length col)]