0, states: 1, total: 1 1, states: 2, total: 3 2, states: 5, total: 8 3, states: 5, total: 13 4, states: 10, total: 23 5, states: 14, total: 37 6, states: 32, total: 69 7, states: 41, total: 110 8, states: 69, total: 179 9, states: 84, total: 263 10, states: 119, total: 382 11, states: 131, total: 513 12, states: 180, total: 693 13, states: 173, total: 866 14, states: 239, total: 1105 15, states: 225, total: 1330 16, states: 286, total: 1616 17, states: 320, total: 1936 18, states: 303, total: 2239 19, states: 381, total: 2620 20, states: 268, total: 2888 21, states: 295, total: 3183 22, states: 231, total: 3414 23, states: 177, total: 3591 24, states: 145, total: 3736 25, states: 129, total: 3865 26, states: 115, total: 3980 27, states: 89, total: 4069 28, states: 84, total: 4153 29, states: 65, total: 4218 30, states: 52, total: 4270 31, states: 27, total: 4297 32, states: 19, total: 4316 33 4194303 +-+-------+ |3|0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 32 2818047 +-+-------+ |2|0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 31 4128767 +-+-------+ |3|0 0 1 2| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 30 3075839 +-+-------+ |2|0 0 1 2| | |0 0 1 2| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| +-+-------+ 29 4124671 +-+-------+ |3|0 0 1 2| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 28 2797567 +-+-------+ |2|0 0 3 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 27 1421311 +-+-------+ |1|0 3 0 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 26 2732031 +-+-------+ |2|0 1 2 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 25 1404927 +-+-------+ |1|0 3 0 0| | |0 2 1 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 24 2469887 +-+-------+ |2|0 3 0 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 23 3534847 +-+-------+ |3|0 3 0 0| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 22 2485999 +-+-------+ |2|0 3 0 0| | |0 0 1 2| | |0 0 1 2| | |0 0 1 2| | |0 0 0 3| +-+-------+ 21 3534591 +-+-------+ |3|0 3 0 0| | |0 0 1 2| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| +-+-------+ 20 2468607 +-+-------+ |2|0 3 0 0| | |0 0 3 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| +-+-------+ 19 1402623 +-+-------+ |1|0 3 0 0| | |0 2 1 0| | |0 2 1 0| | |0 0 0 3| | |0 0 0 3| +-+-------+ 18 2516735 +-+-------+ |2|0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 0 0 3| | |0 0 0 3| +-+-------+ 17 1398527 +-+-------+ |1|0 3 0 0| | |0 3 0 0| | |0 2 1 0| | |0 0 0 3| | |0 0 0 3| +-+-------+ 16 2448127 +-+-------+ |2|0 3 0 0| | |0 3 0 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| +-+-------+ 15 3497727 +-+-------+ |3|0 3 0 0| | |0 3 0 0| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| +-+-------+ 14 2449134 +-+-------+ |2|0 3 0 0| | |0 3 0 0| | |0 0 1 2| | |0 0 1 2| | |0 0 1 2| +-+-------+ 13 3497711 +-+-------+ |3|0 3 0 0| | |0 3 0 0| | |0 0 1 2| | |0 0 1 2| | |0 0 0 3| +-+-------+ 12 2448047 +-+-------+ |2|0 3 0 0| | |0 3 0 0| | |0 0 3 0| | |0 0 3 0| | |0 0 0 3| +-+-------+ 11 3496703 +-+-------+ |3|0 3 0 0| | |0 3 0 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| +-+-------+ 10 2448059 +-+-------+ |2|0 3 0 0| | |0 3 0 0| | |0 0 3 0| | |0 0 2 1| | |0 0 2 1| +-+-------+ 9 1398650 +-+-------+ |1|0 3 0 0| | |0 3 0 0| | |0 2 0 1| | |0 2 0 1| | |0 0 3 0| +-+-------+ 8 2455466 +-+-------+ |2|0 3 0 0| | |0 2 0 1| | |0 2 0 1| | |0 0 3 0| | |0 0 3 0| +-+-------+ 7 1402487 +-+-------+ |1|0 3 0 0| | |0 2 1 0| | |0 2 1 0| | |0 2 0 1| | |0 2 0 1| +-+-------+ 6 2516599 +-+-------+ |2|0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 0 1| | |0 2 0 1| +-+-------+ 5 3565431 +-+-------+ |3|0 2 1 0| | |0 2 1 0| | |0 2 0 1| | |0 2 0 1| | |0 2 0 1| +-+-------+ 4 2516583 +-+-------+ |2|0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 0 1| +-+-------+ 3 3565175 +-+-------+ |3|0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 0 1| | |0 2 0 1| +-+-------+ 2 2516582 +-+-------+ |2|0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| +-+-------+ 1 1402470 +-+-------+ |1|0 3 0 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| +-+-------+ 0 26214 +-+-------+ |0|3 0 0 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| +-+-------+ 0, states: 1, total: 1 1, states: 1, total: 2 2, states: 3, total: 5 3, states: 6, total: 11 4, states: 15, total: 26 5, states: 40, total: 66 6, states: 57, total: 123 7, states: 127, total: 250 8, states: 136, total: 386 9, states: 230, total: 616 10, states: 242, total: 858 11, states: 295, total: 1153 12, states: 334, total: 1487 13, states: 335, total: 1822 14, states: 415, total: 2237 15, states: 408, total: 2645 16, states: 550, total: 3195 17, states: 518, total: 3713 18, states: 642, total: 4355 19, states: 612, total: 4967 20, states: 604, total: 5571 21, states: 585, total: 6156 22, states: 560, total: 6716 23, states: 553, total: 7269 24, states: 539, total: 7808 25, states: 533, total: 8341 26, states: 489, total: 8830 27, states: 507, total: 9337 28, states: 444, total: 9781 29, states: 527, total: 10308 30, states: 399, total: 10707 31, states: 477, total: 11184 32, states: 397, total: 11581 33, states: 422, total: 12003 34, states: 368, total: 12371 35, states: 360, total: 12731 36, states: 325, total: 13056 37, states: 284, total: 13340 38, states: 285, total: 13625 39, states: 220, total: 13845 40, states: 219, total: 14064 41, states: 176, total: 14240 42, states: 172, total: 14412 43, states: 124, total: 14536 44, states: 130, total: 14666 45, states: 96, total: 14762 46, states: 101, total: 14863 47, states: 61, total: 14924 48, states: 70, total: 14994 49, states: 41, total: 15035 50, states: 40, total: 15075 51, states: 20, total: 15095 52, states: 22, total: 15117 53, states: 18, total: 15135 54, states: 15, total: 15150 55, states: 6, total: 15156 56, states: 8, total: 15164 57 1073741823 +-+-------+ |3|0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 56 721420287 +-+-------+ |2|0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 55 1056964607 +-+-------+ |3|0 0 1 2| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 54 787415039 +-+-------+ |2|0 0 1 2| | |0 0 1 2| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 53 1055916031 +-+-------+ |3|0 0 1 2| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 52 716177407 +-+-------+ |2|0 0 3 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 51 363855871 +-+-------+ |1|0 3 0 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 50 699400191 +-+-------+ |2|0 1 2 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 49 359661567 +-+-------+ |1|0 3 0 0| | |0 2 1 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 48 19922943 +-+-------+ |0|2 1 0 0| | |2 0 1 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 47 308281343 +-+-------+ |1|2 0 1 0| | |0 3 0 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 46 3145727 +-+-------+ |0|3 0 0 0| | |2 0 1 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 45 275775487 +-+-------+ |1|3 0 0 0| | |0 2 1 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 44 548405247 +-+-------+ |2|3 0 0 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 43 821035007 +-+-------+ |3|3 0 0 0| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 42 552529919 +-+-------+ |2|3 0 0 0| | |0 0 1 2| | |0 0 1 2| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 41 820969471 +-+-------+ |3|3 0 0 0| | |0 0 1 2| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 40 548077567 +-+-------+ |2|3 0 0 0| | |0 0 3 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 39 274399231 +-+-------+ |1|3 0 0 0| | |0 3 0 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 38 547028991 +-+-------+ |2|3 0 0 0| | |0 1 2 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 37 274137087 +-+-------+ |1|3 0 0 0| | |0 3 0 0| | |0 2 1 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 36 1245183 +-+-------+ |0|3 0 0 0| | |2 1 0 0| | |2 0 1 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 35 270925823 +-+-------+ |1|3 0 0 0| | |2 0 1 0| | |0 3 0 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 34 196607 +-+-------+ |0|3 0 0 0| | |3 0 0 0| | |2 0 1 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 33 268894207 +-+-------+ |1|3 0 0 0| | |3 0 0 0| | |0 2 1 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 32 537591807 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 31 806289407 +-+-------+ |3|3 0 0 0| | |3 0 0 0| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 30 537849599 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 0 1 2| | |0 0 1 2| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| +-+-------+ 29 806285311 +-+-------+ |3|3 0 0 0| | |3 0 0 0| | |0 0 1 2| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 28 537571327 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 0 3 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 27 268808191 +-+-------+ |1|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 26 537505791 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 1 2 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 25 268791807 +-+-------+ |1|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 2 1 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 24 537243647 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 23 805695487 +-+-------+ |3|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| | |0 0 0 3| +-+-------+ 22 537259759 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 0 1 2| | |0 0 1 2| | |0 0 1 2| | |0 0 0 3| +-+-------+ 21 805695231 +-+-------+ |3|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 0 1 2| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| +-+-------+ 20 537242367 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 0 3 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| +-+-------+ 19 268789503 +-+-------+ |1|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 2 1 0| | |0 2 1 0| | |0 0 0 3| | |0 0 0 3| +-+-------+ 18 537290495 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 0 0 3| | |0 0 0 3| +-+-------+ 17 268785407 +-+-------+ |1|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 3 0 0| | |0 2 1 0| | |0 0 0 3| | |0 0 0 3| +-+-------+ 16 537221887 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 3 0 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| +-+-------+ 15 805658367 +-+-------+ |3|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 3 0 0| | |0 0 1 2| | |0 0 0 3| | |0 0 0 3| +-+-------+ 14 537222894 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 3 0 0| | |0 0 1 2| | |0 0 1 2| | |0 0 1 2| +-+-------+ 13 805658351 +-+-------+ |3|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 3 0 0| | |0 0 1 2| | |0 0 1 2| | |0 0 0 3| +-+-------+ 12 537221807 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 3 0 0| | |0 0 3 0| | |0 0 3 0| | |0 0 0 3| +-+-------+ 11 805657343 +-+-------+ |3|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 3 0 0| | |0 0 3 0| | |0 0 0 3| | |0 0 0 3| +-+-------+ 10 537221819 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 3 0 0| | |0 0 3 0| | |0 0 2 1| | |0 0 2 1| +-+-------+ 9 268785530 +-+-------+ |1|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 3 0 0| | |0 2 0 1| | |0 2 0 1| | |0 0 3 0| +-+-------+ 8 537229226 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 2 0 1| | |0 2 0 1| | |0 0 3 0| | |0 0 3 0| +-+-------+ 7 268789367 +-+-------+ |1|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 2 1 0| | |0 2 1 0| | |0 2 0 1| | |0 2 0 1| +-+-------+ 6 537290359 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 0 1| | |0 2 0 1| +-+-------+ 5 805726071 +-+-------+ |3|3 0 0 0| | |3 0 0 0| | |0 2 1 0| | |0 2 1 0| | |0 2 0 1| | |0 2 0 1| | |0 2 0 1| +-+-------+ 4 537290343 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 0 1| +-+-------+ 3 805725815 +-+-------+ |3|3 0 0 0| | |3 0 0 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 0 1| | |0 2 0 1| +-+-------+ 2 537290342 +-+-------+ |2|3 0 0 0| | |3 0 0 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| +-+-------+ 1 268789350 +-+-------+ |1|3 0 0 0| | |3 0 0 0| | |0 3 0 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| +-+-------+ 0 26214 +-+-------+ |0|3 0 0 0| | |3 0 0 0| | |3 0 0 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| | |0 2 1 0| +-+-------+ 2.012