lo_10x10_000.opb 2.66 KB
Newer Older
Masahiko Sakai's avatar
Masahiko Sakai committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59
* 100 58
1 x1 1 x2 1 x3 1 x4 1 x5 1 x6 1 x7 1 x8 1 x9 1 x10 = 5 ;
1 x11 1 x12 1 x13 1 x14 1 x15 1 x16 1 x17 1 x18 1 x19 1 x20 = 5 ;
1 x21 1 x22 1 x23 1 x24 1 x25 1 x26 1 x27 1 x28 1 x29 1 x30 = 3 ;
1 x31 1 x32 1 x33 1 x34 1 x35 1 x36 1 x37 1 x38 1 x39 1 x40 = 3 ;
1 x41 1 x42 1 x43 1 x44 1 x45 1 x46 1 x47 1 x48 1 x49 1 x50 = 4 ;
1 x51 1 x52 1 x53 1 x54 1 x55 1 x56 1 x57 1 x58 1 x59 1 x60 = 7 ;
1 x61 1 x62 1 x63 1 x64 1 x65 1 x66 1 x67 1 x68 1 x69 1 x70 = 5 ;
1 x71 1 x72 1 x73 1 x74 1 x75 1 x76 1 x77 1 x78 1 x79 1 x80 = 3 ;
1 x81 1 x82 1 x83 1 x84 1 x85 1 x86 1 x87 1 x88 1 x89 1 x90 = 3 ;
1 x91 1 x92 1 x93 1 x94 1 x95 1 x96 1 x97 1 x98 1 x99 1 x100 = 7 ;
1 x1 1 x11 1 x21 1 x31 1 x41 1 x51 1 x61 1 x71 1 x81 1 x91 = 4 ;
1 x2 1 x12 1 x22 1 x32 1 x42 1 x52 1 x62 1 x72 1 x82 1 x92 = 4 ;
1 x3 1 x13 1 x23 1 x33 1 x43 1 x53 1 x63 1 x73 1 x83 1 x93 = 3 ;
1 x4 1 x14 1 x24 1 x34 1 x44 1 x54 1 x64 1 x74 1 x84 1 x94 = 6 ;
1 x5 1 x15 1 x25 1 x35 1 x45 1 x55 1 x65 1 x75 1 x85 1 x95 = 5 ;
1 x6 1 x16 1 x26 1 x36 1 x46 1 x56 1 x66 1 x76 1 x86 1 x96 = 4 ;
1 x7 1 x17 1 x27 1 x37 1 x47 1 x57 1 x67 1 x77 1 x87 1 x97 = 4 ;
1 x8 1 x18 1 x28 1 x38 1 x48 1 x58 1 x68 1 x78 1 x88 1 x98 = 6 ;
1 x9 1 x19 1 x29 1 x39 1 x49 1 x59 1 x69 1 x79 1 x89 1 x99 = 6 ;
1 x10 1 x20 1 x30 1 x40 1 x50 1 x60 1 x70 1 x80 1 x90 1 x100 = 3 ;
1 x1 1 x12 1 x23 1 x34 1 x45 1 x56 1 x67 1 x78 1 x89 1 x100 = 3 ;
1 x2 1 x13 1 x24 1 x35 1 x46 1 x57 1 x68 1 x79 1 x90 = 5 ;
1 x3 1 x14 1 x25 1 x36 1 x47 1 x58 1 x69 1 x80 = 5 ;
1 x4 1 x15 1 x26 1 x37 1 x48 1 x59 1 x70 = 2 ;
1 x5 1 x16 1 x27 1 x38 1 x49 1 x60 = 2 ;
1 x6 1 x17 1 x28 1 x39 1 x50 = 2 ;
1 x7 1 x18 1 x29 1 x40 = 2 ;
1 x8 1 x19 1 x30 = 2 ;
1 x9 1 x20 = 1 ;
1 x10 = 0 ;
1 x11 1 x22 1 x33 1 x44 1 x55 1 x66 1 x77 1 x88 1 x99 = 6 ;
1 x21 1 x32 1 x43 1 x54 1 x65 1 x76 1 x87 1 x98 = 3 ;
1 x31 1 x42 1 x53 1 x64 1 x75 1 x86 1 x97 = 4 ;
1 x41 1 x52 1 x63 1 x74 1 x85 1 x96 = 1 ;
1 x51 1 x62 1 x73 1 x84 1 x95 = 2 ;
1 x61 1 x72 1 x83 1 x94 = 2 ;
1 x71 1 x82 1 x93 = 2 ;
1 x81 1 x92 = 0 ;
1 x91 = 1 ;
1 x1 = 0 ;
1 x11 1 x2 = 1 ;
1 x21 1 x12 1 x3 = 0 ;
1 x31 1 x22 1 x13 1 x4 = 2 ;
1 x41 1 x32 1 x23 1 x14 1 x5 = 3 ;
1 x51 1 x42 1 x33 1 x24 1 x15 1 x6 = 3 ;
1 x61 1 x52 1 x43 1 x34 1 x25 1 x16 1 x7 = 3 ;
1 x71 1 x62 1 x53 1 x44 1 x35 1 x26 1 x17 1 x8 = 6 ;
1 x81 1 x72 1 x63 1 x54 1 x45 1 x36 1 x27 1 x18 1 x9 = 1 ;
1 x91 1 x82 1 x73 1 x64 1 x55 1 x46 1 x37 1 x28 1 x19 1 x10 = 6 ;
1 x92 1 x83 1 x74 1 x65 1 x56 1 x47 1 x38 1 x29 1 x20 = 4 ;
1 x93 1 x84 1 x75 1 x66 1 x57 1 x48 1 x39 1 x30 = 1 ;
1 x94 1 x85 1 x76 1 x67 1 x58 1 x49 1 x40 = 4 ;
1 x95 1 x86 1 x77 1 x68 1 x59 1 x50 = 3 ;
1 x96 1 x87 1 x78 1 x69 1 x60 = 3 ;
1 x97 1 x88 1 x79 1 x70 = 2 ;
1 x98 1 x89 1 x80 = 0 ;
1 x99 1 x90 = 2 ;
1 x100 = 1 ;