1n,s,subsets,orbit_representatives,forcing_representatives,wall_seconds211,1,22,2,0,0.06311,2,231,16,0,0.058411,3,1540,80,0,0.059511,4,7315,360,0,0.019611,5,26334,1242,0,0.017711,6,74613,3474,134,0.018812,1,24,2,0,0.069912,2,276,19,0,0.0641012,3,2024,96,0,0.0621112,4,10626,489,0,0.0191212,5,42504,1826,0,0.021312,6,134596,5775,0,0.0191412,7,346104,14586,0,0.021512,8,735471,31034,2514,0.0211613,1,26,2,0,0.071713,2,325,19,0,0.0681813,3,2600,112,0,0.0711913,4,14950,614,0,0.0212013,5,65780,2596,0,0.022113,6,230230,8998,0,0.0212213,7,657800,25520,0,0.0222313,8,1562275,60445,0,0.0212413,9,3124550,120670,12820,0.0242514,1,28,2,0,0.0732614,2,378,22,0,0.0732714,3,3276,130,0,0.0752814,4,20475,792,0,0.0222914,5,98280,3588,0,0.0223014,6,376740,13716,0,0.0233114,7,1184040,42574,0,0.0223214,8,3108105,111760,2072,0.0233315,1,30,2,0,0.0823415,2,435,22,0,0.083515,3,4060,150,0,0.0793615,4,27405,966,0,0.0233715,5,142506,4842,0,0.0253815,6,593775,20023,0,0.0243915,7,2035800,68224,0,0.0254015,8,5852925,195780,4105,0.034116,1,32,2,0,0.0874216,2,496,25,0,0.0834316,3,4960,170,0,0.0834416,4,35960,1202,0,0.0254516,5,201376,6398,0,0.0264616,6,906192,28707,0,0.0274716,7,3365856,105638,0,0.0264816,8,10518300,330030,1977,0.0494917,1,34,2,0,0.0985017,2,561,25,0,0.0895117,3,5984,192,0,0.0885217,4,46376,1432,0,0.0285317,5,278256,8304,0,0.0275417,6,1344904,39896,0,0.0285517,7,5379616,158784,0,0.0285617,8,18156204,535196,0,0.0815717,9,52451256,1544504,0,0.2845817,10,131128140,3859804,108897,0.8725918,1,36,2,0,0.0946018,2,630,28,0,0.0956118,3,7140,216,0,0.0946218,4,58905,1733,0,0.036318,5,376992,10608,0,0.0296418,6,1947792,54660,0,0.036518,7,8347680,232560,0,0.0346618,8,30260340,842740,0,0.1316718,9,94143280,2617484,0,0.4956818,10,254186856,7067088,28517,1.6426919,1,38,2,0,0.0937019,2,703,28,0,0.0967119,3,8436,240,0,0.0967219,4,73815,2028,0,0.0337319,5,501942,13362,0,0.0327419,6,2760681,73134,0,0.0337519,7,12620256,332928,0,0.0457619,8,48903492,1288872,0,0.2077719,9,163011640,4292840,0,0.8567819,10,472733756,12446176,96131,2.9967920,1,40,2,0,0.1088020,2,780,31,0,0.1068120,3,9880,266,0,0.1038220,4,91390,2403,0,0.0358320,5,658008,16622,0,0.0348420,6,3838380,96711,0,0.0378520,7,18643560,467058,0,0.0638620,8,76904685,1925979,0,0.3168720,9,273438880,6839848,0,1.3988820,10,847660528,21202716,62384,5.2648921,1,42,2,0,0.1079021,2,861,31,0,0.1099121,3,11480,294,0,0.1139221,4,111930,2770,0,0.0379321,5,850668,20444,0,0.0359421,6,5245786,125569,0,0.0379521,7,26978328,643482,0,0.0869621,8,118030185,2813235,0,0.4779721,9,445891810,10621334,0,2.2319821,10,1471442973,35044531,60192,9.0039922,1,44,2,0,0.11610022,2,946,34,0,0.11610122,3,13244,322,0,0.11910222,4,135751,3226,0,0.03810322,5,1086008,24892,0,0.03710422,6,7059052,161428,0,0.0410522,7,38320568,872252,0,0.12510622,8,177232627,4032978,0,0.69810722,9,708930508,16118042,0,3.52310822,10,2481256778,56410810,0,15.23210922,11,7669339132,174323512,524638,58.67911023,1,46,2,0,0.12511123,2,1035,34,0,0.12311223,3,15180,352,0,0.12511323,4,163185,3674,0,0.04911423,5,1370754,30030,0,0.04811523,6,9366819,204512,0,0.06111623,7,53524680,1165120,0,0.20111723,8,260932815,5676880,0,1.16511823,9,1101716330,23957670,0,6.30911923,10,4076350421,88633138,0,27.58812023,11,13340783196,290043360,0,106.03312123,12,38910617655,845933466,3458230,355.45812224,1,48,2,0,0.12912324,2,1128,37,0,0.12312424,3,17296,384,0,0.12512524,4,194580,4220,0,0.07412624,5,1712304,35926,0,0.07712724,6,12271512,256947,0,0.11612824,7,73629072,1535710,0,0.33212924,8,377348994,7868515,0,1.9913024,9,1677106640,34948600,0,11.41113124,10,6540715896,136294367,0,53.95513224,11,22595200368,470766990,0,217.20313324,12,69668534468,1451524324,2704021,759.98813425,1,50,2,0,0.13113525,2,1225,37,0,0.12713625,3,19600,416,0,0.1313725,4,230300,4756,0,0.07813825,5,2118760,42652,0,0.07913925,6,15890700,318964,0,0.0914025,7,99884400,1999712,0,0.42214125,8,536878650,10743898,0,2.99214225,9,2505433700,50119300,0,17.02814325,10,10272278170,205472132,0,83.74314425,11,37353738800,747117280,0,371.16614526,1,52,2,0,0.13914626,2,1326,40,0,0.13714726,3,22100,450,0,0.14114826,4,270725,5399,0,0.09614926,5,2598960,50280,0,0.09615026,6,20358520,393136,0,0.17415126,7,133784560,2575080,0,0.56315226,8,752538150,14481674,0,4.42215326,9,3679075400,70764100,0,26.1715426,10,15820024220,304276016,0,136.36315526,11,60403728840,1161663300,0,600.91915627,4,316251,6032,0,0.07715727,5,3162510,58890,0,0.08315827,6,25827165,479749,0,0.10815927,7,177100560,3282240,0,0.70116027,8,1040465790,19276660,0,5.50916127,9,5317936260,98495282,0,32.9616227,10,23930713170,443201720,0,166.14116327,11,95722852680,1772711200,0,1022.934164