Testing p = 23, (a,b) = (19,11) J invariant: 16 Fail ratio: 0.761904761904762 Testing p = 53, (a,b) = (29,4) J invariant: 31 Fail ratio: 1.00000000000000 --------------------------------------- Trying p = 3 Trying p = 5 Trying p = 7 Trying p = 11 Trying p = 13 (13, 1, 6) J invariant = 9 Failure rate: 1.00000000000000 (13, 8, 10) J invariant = 2 Failure rate: 1.09090909090909 (13, 9, 7) J invariant = 9 Failure rate: 1.00000000000000 Trying p = 17 Trying p = 19 Trying p = 23 (23, 19, 11) J invariant = 16 Failure rate: 0.904761904761905 Trying p = 29 Trying p = 31 (31, 1, 16) J invariant = 10 Failure rate: 0.965517241379310 Trying p = 37 Trying p = 41 Trying p = 43 (43, 5, 29) J invariant = 33 Failure rate: 1.02439024390244 (43, 12, 38) J invariant = 18 Failure rate: 0.975609756097561 (43, 26, 7) J invariant = 32 Failure rate: 1.02439024390244 (43, 33, 10) J invariant = 18 Failure rate: 1.02439024390244 (43, 36, 14) J invariant = 23 Failure rate: 1.00000000000000 Trying p = 47 Trying p = 53 (53, 29, 4) J invariant = 31 Failure rate: 0.941176470588235 Trying p = 59 Trying p = 61 (61, 23, 43) J invariant = 7 Failure rate: 1.00000000000000 (61, 38, 47) J invariant = 21 Failure rate: 0.966101694915254 (61, 53, 59) J invariant = 23 Failure rate: 0.966101694915254 Trying p = 67 Trying p = 71 (71, 10, 32) J invariant = 39 Failure rate: 1.01449275362319 Trying p = 73 (73, 24, 31) J invariant = 67 Failure rate: 0.985915492957746 (73, 39, 16) J invariant = 11 Failure rate: 1.00000000000000 (73, 60, 49) J invariant = 14 Failure rate: 1.01408450704225 Trying p = 79 (79, 3, 11) J invariant = 6 Failure rate: 1.00000000000000 (79, 50, 58) J invariant = 13 Failure rate: 1.00000000000000 (79, 58, 50) J invariant = 6 Failure rate: 1.00000000000000 (79, 65, 61) J invariant = 13 Failure rate: 0.974025974025974 (79, 72, 47) J invariant = 62 Failure rate: 0.987012987012987 Trying p = 83 (83, 6, 67) J invariant = 26 Failure rate: 0.950617283950617 (83, 56, 81) J invariant = 12 Failure rate: 0.962962962962963 Trying p = 89 Trying p = 97 (97, 21, 18) J invariant = 71 Failure rate: 0.978947368421053 (97, 64, 27) J invariant = 54 Failure rate: 0.989473684210526 Trying p = 101 Trying p = 103 (103, 13, 29) J invariant = 33 Failure rate: 0.960396039603960 (103, 26, 44) J invariant = 18 Failure rate: 0.950495049504950 Trying p = 107 (107, 11, 13) J invariant = 60 Failure rate: 0.971428571428571 Trying p = 109 (109, 31, 57) J invariant = 88 Failure rate: 0.990654205607477 Trying p = 113 Trying p = 127 (127, 3, 61) J invariant = 92 Failure rate: 0.984000000000000 (127, 81, 80) J invariant = 70 Failure rate: 0.976000000000000 (127, 82, 89) J invariant = 70 Failure rate: 1.00800000000000 (127, 85, 31) J invariant = 23 Failure rate: 0.992000000000000 (127, 103, 10) J invariant = 70 Failure rate: 1.00000000000000 Trying p = 131 (131, 86, 126) J invariant = 114 Failure rate: 0.992248062015504 Trying p = 137 (137, 34, 80) J invariant = 95 Failure rate: 1.00000000000000 (137, 53, 47) J invariant = 8 Failure rate: 0.985185185185185 (137, 65, 23) J invariant = 95 Failure rate: 1.00000000000000 Trying p = 139 (139, 70, 112) J invariant = 2 Failure rate: 1.00000000000000 Trying p = 149 (149, 59, 80) J invariant = 16 Failure rate: 1.00680272108844 Trying p = 151 Trying p = 157 Trying p = 163 (163, 6, 29) J invariant = 144 Failure rate: 1.00000000000000 (163, 50, 31) J invariant = 80 Failure rate: 0.993788819875776 (163, 119, 42) J invariant = 56 Failure rate: 0.993788819875776 (163, 134, 80) J invariant = 56 Failure rate: 0.981366459627329 (163, 139, 4) J invariant = 50 Failure rate: 1.00621118012422 Trying p = 167 (167, 88, 22) J invariant = 158 Failure rate: 0.975757575757576 Trying p = 173 (173, 4, 56) J invariant = 161 Failure rate: 1.00584795321637 (173, 41, 122) J invariant = 76 Failure rate: 1.00000000000000 (173, 128, 139) J invariant = 31 Failure rate: 0.994152046783626 Trying p = 179 (179, 166, 30) J invariant = 15 Failure rate: 0.971751412429379 Trying p = 181 Trying p = 191 (191, 70, 84) J invariant = 77 Failure rate: 0.973544973544973 Trying p = 193 (193, 14, 121) J invariant = 109 Failure rate: 0.994764397905759 (193, 16, 175) J invariant = 101 Failure rate: 0.989528795811518 (193, 68, 159) J invariant = 120 Failure rate: 1.00000000000000 (193, 85, 4) J invariant = 56 Failure rate: 0.994764397905759 (193, 131, 48) J invariant = 101 Failure rate: 1.00000000000000 Trying p = 197 (197, 45, 91) J invariant = 59 Failure rate: 0.994871794871795 (197, 142, 10) J invariant = 99 Failure rate: 0.994871794871795 Trying p = 199 (199, 98, 83) J invariant = 23 Failure rate: 0.994923857868020 (199, 126, 169) J invariant = 81 Failure rate: 0.994923857868020 (199, 145, 181) J invariant = 23 Failure rate: 0.989847715736041 Trying p = 211 (211, 64, 179) J invariant = 99 Failure rate: 0.990430622009569 (211, 81, 6) J invariant = 99 Failure rate: 0.990430622009569 (211, 96, 49) J invariant = 99 Failure rate: 0.995215311004785 Trying p = 223 (223, 87, 36) J invariant = 204 Failure rate: 0.995475113122172 (223, 99, 132) J invariant = 161 Failure rate: 0.995475113122172 (223, 122, 160) J invariant = 222 Failure rate: 0.990950226244344 (223, 173, 164) J invariant = 161 Failure rate: 0.995475113122172 (223, 201, 101) J invariant = 143 Failure rate: 0.995475113122172 (223, 220, 97) J invariant = 183 Failure rate: 0.981900452488688 Trying p = 227 Trying p = 229 (229, 3, 23) J invariant = 83 Failure rate: 1.00440528634361 (229, 48, 2) J invariant = 130 Failure rate: 0.982378854625551 (229, 60, 30) J invariant = 171 Failure rate: 0.995594713656388 (229, 129, 39) J invariant = 83 Failure rate: 1.00440528634361 (229, 196, 195) J invariant = 130 Failure rate: 1.00000000000000 Trying p = 233 (233, 50, 137) J invariant = 198 Failure rate: 0.995670995670996 (233, 112, 185) J invariant = 42 Failure rate: 0.995670995670996 (233, 144, 213) J invariant = 198 Failure rate: 0.991341991341991 (233, 213, 109) J invariant = 182 Failure rate: 0.991341991341991 (233, 218, 42) J invariant = 42 Failure rate: 1.00432900432900 Trying p = 239 (239, 126, 183) J invariant = 127 Failure rate: 1.00000000000000 (239, 154, 224) J invariant = 72 Failure rate: 1.00000000000000 (239, 185, 190) J invariant = 72 Failure rate: 1.00421940928270 Trying p = 241 (241, 41, 81) J invariant = 223 Failure rate: 1.00418410041841 (241, 43, 153) J invariant = 105 Failure rate: 0.987447698744770 (241, 75, 220) J invariant = 77 Failure rate: 1.00000000000000 (241, 182, 153) J invariant = 164 Failure rate: 1.00418410041841 Trying p = 251 (251, 200, 70) J invariant = 227 Failure rate: 1.00401606425703 (251, 246, 224) J invariant = 227 Failure rate: 1.00401606425703 Trying p = 257 (257, 68, 196) J invariant = 163 Failure rate: 1.00392156862745 (257, 95, 88) J invariant = 163 Failure rate: 0.984313725490196 (257, 121, 72) J invariant = 163 Failure rate: 0.980392156862745 (257, 207, 148) J invariant = 97 Failure rate: 1.00000000000000 (257, 218, 80) J invariant = 124 Failure rate: 1.00000000000000 Trying p = 263 (263, 36, 36) J invariant = 154 Failure rate: 1.00000000000000 (263, 60, 247) J invariant = 249 Failure rate: 0.992337164750958 (263, 67, 213) J invariant = 176 Failure rate: 1.00000000000000 (263, 115, 7) J invariant = 176 Failure rate: 0.996168582375479 (263, 240, 134) J invariant = 66 Failure rate: 1.00000000000000 Trying p = 269 (269, 149, 4) J invariant = 262 Failure rate: 0.992509363295880 (269, 157, 79) J invariant = 148 Failure rate: 1.00000000000000 (269, 250, 124) J invariant = 49 Failure rate: 1.00374531835206 (269, 264, 103) J invariant = 262 Failure rate: 1.00374531835206 Trying p = 271 Trying p = 277 (277, 162, 110) J invariant = 179 Failure rate: 0.996363636363636 (277, 271, 206) J invariant = 137 Failure rate: 0.996363636363636 Trying p = 281 (281, 189, 248) J invariant = 153 Failure rate: 0.996415770609319 (281, 191, 71) J invariant = 257 Failure rate: 1.00358422939068 Trying p = 283 (283, 17, 99) J invariant = 193 Failure rate: 1.00000000000000 (283, 172, 84) J invariant = 123 Failure rate: 0.985765124555160 (283, 239, 151) J invariant = 276 Failure rate: 0.992882562277580 Trying p = 293 (293, 80, 289) J invariant = 247 Failure rate: 1.00000000000000 (293, 89, 41) J invariant = 64 Failure rate: 1.00000000000000 (293, 89, 51) J invariant = 9 Failure rate: 0.993127147766323 Trying p = 307 (307, 59, 225) J invariant = 142 Failure rate: 0.993442622950820 (307, 159, 291) J invariant = 98 Failure rate: 1.00327868852459 (307, 204, 152) J invariant = 98 Failure rate: 1.00000000000000 (307, 279, 181) J invariant = 142 Failure rate: 0.996721311475410 Trying p = 311 (311, 94, 89) J invariant = 129 Failure rate: 0.993527508090615 (311, 97, 236) J invariant = 54 Failure rate: 1.00000000000000 (311, 202, 212) J invariant = 273 Failure rate: 1.00323624595469 (311, 233, 303) J invariant = 54 Failure rate: 0.993527508090615 (311, 299, 164) J invariant = 54 Failure rate: 0.996763754045307 Trying p = 313 (313, 7, 197) J invariant = 20 Failure rate: 1.00321543408360 (313, 21, 190) J invariant = 233 Failure rate: 1.00000000000000 (313, 39, 247) J invariant = 235 Failure rate: 1.00000000000000 (313, 73, 230) J invariant = 250 Failure rate: 0.996784565916399 (313, 167, 124) J invariant = 167 Failure rate: 0.996784565916399 (313, 181, 104) J invariant = 278 Failure rate: 0.996784565916399 (313, 225, 185) J invariant = 235 Failure rate: 0.987138263665595 (313, 292, 258) J invariant = 233 Failure rate: 0.996784565916399 (313, 293, 234) J invariant = 92 Failure rate: 0.996784565916399 (313, 297, 11) J invariant = 278 Failure rate: 0.996784565916399 (313, 298, 206) J invariant = 20 Failure rate: 0.993569131832797 Trying p = 317 Trying p = 331 (331, 64, 144) J invariant = 36 Failure rate: 1.00000000000000 (331, 159, 95) J invariant = 98 Failure rate: 0.990881458966565 (331, 299, 279) J invariant = 36 Failure rate: 1.00000000000000 (331, 329, 190) J invariant = 21 Failure rate: 0.990881458966565 Trying p = 337 (337, 37, 257) J invariant = 305 Failure rate: 1.00000000000000 (337, 219, 203) J invariant = 171 Failure rate: 1.00298507462687 (337, 238, 151) J invariant = 171 Failure rate: 0.994029850746269 Trying p = 347 (347, 210, 168) J invariant = 100 Failure rate: 1.00000000000000 (347, 224, 187) J invariant = 237 Failure rate: 0.997101449275362 (347, 247, 29) J invariant = 275 Failure rate: 0.997101449275362 Trying p = 349 (349, 16, 147) J invariant = 262 Failure rate: 1.00288184438040 (349, 50, 255) J invariant = 209 Failure rate: 0.988472622478386 (349, 72, 176) J invariant = 306 Failure rate: 1.00000000000000 (349, 203, 270) J invariant = 136 Failure rate: 1.00288184438040 (349, 230, 262) J invariant = 284 Failure rate: 0.994236311239193 Trying p = 353 (353, 250, 103) J invariant = 9 Failure rate: 0.994301994301994 Trying p = 359 (359, 12, 223) J invariant = 189 Failure rate: 1.00000000000000 (359, 285, 202) J invariant = 24 Failure rate: 0.997198879551821 (359, 308, 169) J invariant = 176 Failure rate: 0.997198879551821 (359, 346, 282) J invariant = 304 Failure rate: 1.00000000000000 Trying p = 367 (367, 322, 75) J invariant = 236 Failure rate: 0.997260273972603 (367, 342, 263) J invariant = 276 Failure rate: 0.997260273972603 Trying p = 373 (373, 83, 77) J invariant = 198 Failure rate: 0.991913746630728 (373, 217, 242) J invariant = 196 Failure rate: 1.00000000000000 (373, 253, 341) J invariant = 198 Failure rate: 1.00000000000000 (373, 323, 346) J invariant = 98 Failure rate: 1.00269541778976 Trying p = 379 (379, 158, 155) J invariant = 355 Failure rate: 0.989389920424403 (379, 293, 65) J invariant = 122 Failure rate: 0.997347480106101 (379, 306, 256) J invariant = 341 Failure rate: 0.997347480106101 (379, 334, 115) J invariant = 2 Failure rate: 1.00000000000000 Trying p = 383 (383, 111, 33) J invariant = 17 Failure rate: 0.997375328083990 (383, 125, 352) J invariant = 324 Failure rate: 1.00000000000000 (383, 137, 63) J invariant = 239 Failure rate: 1.00262467191601 (383, 318, 130) J invariant = 174 Failure rate: 1.00262467191601 (383, 367, 23) J invariant = 174 Failure rate: 1.00000000000000 Trying p = 389 (389, 253, 162) J invariant = 58 Failure rate: 1.00258397932817 (389, 300, 233) J invariant = 58 Failure rate: 0.994832041343669 Trying p = 397 (397, 2, 376) J invariant = 264 Failure rate: 0.997468354430380 (397, 59, 194) J invariant = 264 Failure rate: 0.994936708860759 (397, 186, 131) J invariant = 156 Failure rate: 1.00000000000000 Empty lifts: [] Negative valuation errors: [(71, (0, 0, 0, 10, 32), (64 : 20 : 1), (48 : 42 : 1)), (71, (0, 0, 0, 10, 32), (64 : 51 : 1), (2 : 42 : 1)), (79, (0, 0, 0, 58, 50), (19 : 36 : 1), (16 : 52 : 1)), (79, (0, 0, 0, 58, 50), (19 : 43 : 1), (42 : 55 : 1)), (83, (0, 0, 0, 6, 67), (6 : 30 : 1), (27 : 18 : 1)), (83, (0, 0, 0, 6, 67), (6 : 53 : 1), (55 : 5 : 1)), (127, (0, 0, 0, 3, 61), (72 : 48 : 1), (124 : 122 : 1)), (127, (0, 0, 0, 3, 61), (72 : 79 : 1), (104 : 12 : 1)), (127, (0, 0, 0, 81, 80), (60 : 50 : 1), (21 : 82 : 1)), (127, (0, 0, 0, 81, 80), (60 : 77 : 1), (21 : 82 : 1)), (127, (0, 0, 0, 85, 31), (41 : 38 : 1), (25 : 126 : 1)), (127, (0, 0, 0, 85, 31), (41 : 89 : 1), (96 : 102 : 1)), (127, (0, 0, 0, 85, 31), (103 : 13 : 1), (35 : 65 : 1)), (127, (0, 0, 0, 85, 31), (103 : 114 : 1), (2 : 35 : 1)), (127, (0, 0, 0, 103, 10), (108 : 46 : 1), (86 : 48 : 1)), (127, (0, 0, 0, 103, 10), (108 : 81 : 1), (104 : 29 : 1)), (131, (0, 0, 0, 86, 126), (81 : 56 : 1), (21 : 78 : 1)), (131, (0, 0, 0, 86, 126), (81 : 75 : 1), (97 : 39 : 1)), (137, (0, 0, 0, 65, 23), (77 : 62 : 1), (127 : 47 : 1)), (137, (0, 0, 0, 65, 23), (77 : 75 : 1), (7 : 100 : 1)), (163, (0, 0, 0, 6, 29), (98 : 22 : 1), (116 : 9 : 1)), (163, (0, 0, 0, 6, 29), (98 : 141 : 1), (81 : 24 : 1)), (173, (0, 0, 0, 41, 122), (72 : 77 : 1), (4 : 171 : 1)), (173, (0, 0, 0, 41, 122), (72 : 96 : 1), (4 : 171 : 1)), (173, (0, 0, 0, 128, 139), (65 : 70 : 1), (75 : 49 : 1)), (173, (0, 0, 0, 128, 139), (65 : 103 : 1), (145 : 131 : 1)), (193, (0, 0, 0, 14, 121), (61 : 71 : 1), (3 : 24 : 1)), (193, (0, 0, 0, 14, 121), (61 : 122 : 1), (37 : 98 : 1)), (193, (0, 0, 0, 14, 121), (118 : 32 : 1), (72 : 27 : 1)), (193, (0, 0, 0, 14, 121), (118 : 161 : 1), (37 : 95 : 1)), (193, (0, 0, 0, 16, 175), (106 : 95 : 1), (139 : 53 : 1)), (193, (0, 0, 0, 16, 175), (106 : 98 : 1), (20 : 179 : 1)), (193, (0, 0, 0, 85, 4), (162 : 52 : 1), (122 : 153 : 1)), (193, (0, 0, 0, 85, 4), (162 : 141 : 1), (3 : 155 : 1)), (197, (0, 0, 0, 45, 91), (155 : 67 : 1), (43 : 127 : 1)), (197, (0, 0, 0, 45, 91), (155 : 130 : 1), (143 : 113 : 1)), (197, (0, 0, 0, 45, 91), (162 : 44 : 1), (167 : 122 : 1)), (197, (0, 0, 0, 45, 91), (162 : 153 : 1), (132 : 36 : 1)), (197, (0, 0, 0, 142, 10), (125 : 140 : 1), (154 : 17 : 1)), (199, (0, 0, 0, 98, 83), (123 : 4 : 1), (175 : 15 : 1)), (199, (0, 0, 0, 98, 83), (123 : 195 : 1), (100 : 82 : 1)), (199, (0, 0, 0, 126, 169), (0 : 13 : 1), (171 : 34 : 1)), (199, (0, 0, 0, 126, 169), (0 : 186 : 1), (55 : 44 : 1)), (211, (0, 0, 0, 64, 179), (88 : 30 : 1), (61 : 190 : 1)), (211, (0, 0, 0, 64, 179), (88 : 181 : 1), (121 : 200 : 1)), (211, (0, 0, 0, 81, 6), (31 : 5 : 1), (112 : 99 : 1)), (211, (0, 0, 0, 81, 6), (31 : 206 : 1), (124 : 168 : 1)), (211, (0, 0, 0, 96, 49), (33 : 69 : 1), (68 : 17 : 1)), (211, (0, 0, 0, 96, 49), (33 : 142 : 1), (111 : 57 : 1)), (211, (0, 0, 0, 96, 49), (100 : 15 : 1), (23 : 169 : 1)), (211, (0, 0, 0, 96, 49), (100 : 196 : 1), (210 : 116 : 1)), (211, (0, 0, 0, 96, 49), (102 : 60 : 1), (194 : 16 : 1)), (211, (0, 0, 0, 96, 49), (102 : 151 : 1), (149 : 188 : 1)), (223, (0, 0, 0, 87, 36), (135 : 76 : 1), (59 : 6 : 1)), (223, (0, 0, 0, 220, 97), (170 : 41 : 1), (101 : 110 : 1)), (223, (0, 0, 0, 220, 97), (170 : 182 : 1), (190 : 88 : 1)), (229, (0, 0, 0, 48, 2), (122 : 34 : 1), (209 : 109 : 1)), (229, (0, 0, 0, 48, 2), (122 : 195 : 1), (130 : 124 : 1)), (229, (0, 0, 0, 129, 39), (181 : 31 : 1), (44 : 131 : 1)), (229, (0, 0, 0, 129, 39), (181 : 198 : 1), (188 : 224 : 1)), (229, (0, 0, 0, 129, 39), (187 : 15 : 1), (16 : 225 : 1)), (229, (0, 0, 0, 129, 39), (187 : 214 : 1), (101 : 198 : 1)), (229, (0, 0, 0, 196, 195), (120 : 95 : 1), (215 : 165 : 1)), (229, (0, 0, 0, 196, 195), (120 : 134 : 1), (182 : 168 : 1)), (233, (0, 0, 0, 218, 42), (111 : 66 : 1), (120 : 90 : 1)), (233, (0, 0, 0, 218, 42), (111 : 167 : 1), (78 : 30 : 1)), (239, (0, 0, 0, 154, 224), (10 : 59 : 1), (171 : 228 : 1)), (239, (0, 0, 0, 154, 224), (10 : 180 : 1), (98 : 35 : 1)), (239, (0, 0, 0, 154, 224), (211 : 49 : 1), (167 : 205 : 1)), (239, (0, 0, 0, 154, 224), (211 : 190 : 1), (53 : 1 : 1)), (241, (0, 0, 0, 182, 153), (134 : 94 : 1), (101 : 239 : 1)), (241, (0, 0, 0, 182, 153), (134 : 147 : 1), (179 : 82 : 1)), (251, (0, 0, 0, 246, 224), (116 : 18 : 1), (181 : 38 : 1)), (251, (0, 0, 0, 246, 224), (116 : 233 : 1), (71 : 132 : 1)), (251, (0, 0, 0, 246, 224), (204 : 53 : 1), (123 : 243 : 1)), (251, (0, 0, 0, 246, 224), (204 : 198 : 1), (143 : 90 : 1)), (257, (0, 0, 0, 68, 196), (4 : 77 : 1), (16 : 165 : 1)), (257, (0, 0, 0, 68, 196), (4 : 180 : 1), (145 : 155 : 1)), (257, (0, 0, 0, 68, 196), (187 : 97 : 1), (56 : 157 : 1)), (257, (0, 0, 0, 68, 196), (187 : 160 : 1), (222 : 179 : 1)), (257, (0, 0, 0, 218, 80), (36 : 10 : 1), (83 : 143 : 1)), (257, (0, 0, 0, 218, 80), (36 : 247 : 1), (181 : 222 : 1)), (277, (0, 0, 0, 162, 110), (244 : 10 : 1), (3 : 247 : 1)), (277, (0, 0, 0, 162, 110), (244 : 267 : 1), (148 : 34 : 1)), (281, (0, 0, 0, 189, 248), (255 : 111 : 1), (265 : 49 : 1)), (281, (0, 0, 0, 189, 248), (255 : 170 : 1), (151 : 210 : 1)), (283, (0, 0, 0, 239, 151), (255 : 72 : 1), (112 : 198 : 1)), (283, (0, 0, 0, 239, 151), (255 : 211 : 1), (95 : 147 : 1)), (293, (0, 0, 0, 89, 41), (63 : 130 : 1), (156 : 280 : 1)), (293, (0, 0, 0, 89, 41), (63 : 163 : 1), (158 : 211 : 1)), (293, (0, 0, 0, 89, 41), (198 : 57 : 1), (250 : 70 : 1)), (293, (0, 0, 0, 89, 41), (198 : 236 : 1), (242 : 189 : 1)), (307, (0, 0, 0, 159, 291), (84 : 124 : 1), (53 : 248 : 1)), (307, (0, 0, 0, 159, 291), (84 : 183 : 1), (160 : 16 : 1)), (307, (0, 0, 0, 159, 291), (202 : 89 : 1), (134 : 258 : 1)), (307, (0, 0, 0, 159, 291), (202 : 218 : 1), (32 : 152 : 1)), (311, (0, 0, 0, 94, 89), (103 : 25 : 1), (8 : 174 : 1)), (311, (0, 0, 0, 94, 89), (103 : 286 : 1), (183 : 284 : 1)), (311, (0, 0, 0, 94, 89), (119 : 193 : 1), (0 : 291 : 1)), (311, (0, 0, 0, 97, 236), (86 : 104 : 1), (38 : 126 : 1)), (311, (0, 0, 0, 97, 236), (86 : 207 : 1), (283 : 187 : 1)), (313, (0, 0, 0, 21, 190), (291 : 40 : 1), (86 : 285 : 1)), (313, (0, 0, 0, 21, 190), (291 : 273 : 1), (184 : 199 : 1)), (313, (0, 0, 0, 181, 104), (278 : 40 : 1), (139 : 137 : 1)), (313, (0, 0, 0, 181, 104), (278 : 273 : 1), (241 : 244 : 1)), (313, (0, 0, 0, 225, 185), (189 : 1 : 1), (270 : 258 : 1)), (313, (0, 0, 0, 225, 185), (189 : 312 : 1), (0 : 212 : 1)), (313, (0, 0, 0, 293, 234), (148 : 76 : 1), (249 : 259 : 1)), (313, (0, 0, 0, 293, 234), (148 : 237 : 1), (119 : 147 : 1)), (337, (0, 0, 0, 37, 257), (331 : 153 : 1), (181 : 56 : 1)), (337, (0, 0, 0, 37, 257), (331 : 184 : 1), (165 : 213 : 1)), (337, (0, 0, 0, 219, 203), (137 : 16 : 1), (276 : 325 : 1)), (337, (0, 0, 0, 219, 203), (137 : 321 : 1), (217 : 52 : 1)), (349, (0, 0, 0, 203, 270), (122 : 83 : 1), (310 : 316 : 1)), (349, (0, 0, 0, 203, 270), (122 : 266 : 1), (321 : 236 : 1)), (349, (0, 0, 0, 230, 262), (147 : 12 : 1), (280 : 104 : 1)), (349, (0, 0, 0, 230, 262), (147 : 337 : 1), (14 : 194 : 1)), (359, (0, 0, 0, 12, 223), (110 : 139 : 1), (245 : 78 : 1)), (359, (0, 0, 0, 12, 223), (110 : 220 : 1), (343 : 31 : 1)), (359, (0, 0, 0, 285, 202), (126 : 75 : 1), (89 : 195 : 1)), (359, (0, 0, 0, 285, 202), (126 : 284 : 1), (58 : 250 : 1)), (367, (0, 0, 0, 342, 263), (19 : 96 : 1), (325 : 25 : 1)), (367, (0, 0, 0, 342, 263), (19 : 271 : 1), (48 : 350 : 1)), (379, (0, 0, 0, 158, 155), (125 : 174 : 1), (108 : 223 : 1)), (379, (0, 0, 0, 158, 155), (125 : 205 : 1), (172 : 267 : 1)), (379, (0, 0, 0, 158, 155), (339 : 158 : 1), (202 : 182 : 1)), (379, (0, 0, 0, 158, 155), (339 : 221 : 1), (12 : 292 : 1)), (379, (0, 0, 0, 306, 256), (186 : 183 : 1), (159 : 85 : 1)), (379, (0, 0, 0, 306, 256), (186 : 196 : 1), (285 : 192 : 1)), (379, (0, 0, 0, 334, 115), (297 : 146 : 1), (301 : 305 : 1)), (379, (0, 0, 0, 334, 115), (297 : 233 : 1), (85 : 15 : 1)), (383, (0, 0, 0, 111, 33), (337 : 54 : 1), (164 : 370 : 1)), (383, (0, 0, 0, 111, 33), (337 : 329 : 1), (218 : 77 : 1)), (383, (0, 0, 0, 111, 33), (343 : 143 : 1), (338 : 153 : 1)), (383, (0, 0, 0, 111, 33), (343 : 240 : 1), (323 : 228 : 1)), (383, (0, 0, 0, 137, 63), (291 : 7 : 1), (348 : 280 : 1)), (383, (0, 0, 0, 137, 63), (291 : 376 : 1), (80 : 180 : 1)), (389, (0, 0, 0, 253, 162), (60 : 83 : 1), (83 : 91 : 1)), (389, (0, 0, 0, 253, 162), (60 : 306 : 1), (65 : 250 : 1)), (397, (0, 0, 0, 59, 194), (148 : 102 : 1), (267 : 113 : 1)), (397, (0, 0, 0, 59, 194), (148 : 295 : 1), (224 : 119 : 1)), (397, (0, 0, 0, 186, 131), (93 : 126 : 1), (354 : 220 : 1)), (397, (0, 0, 0, 186, 131), (93 : 271 : 1), (90 : 59 : 1)), (397, (0, 0, 0, 186, 131), (224 : 75 : 1), (304 : 278 : 1)), (397, (0, 0, 0, 186, 131), (224 : 322 : 1), (329 : 24 : 1))]