(hcsb 20 20 20 (hcs 3 (hwcs (hf (hr 2,7,16,4,-1)(hr 2,9,16,2,2)(hr 0,0,0,0,0)0)283,2515,58754)(hwcs (hf (hr 13,6,1,6,-1)(hr 13,9,1,3,2)(hr 0,0,0,0,0)0)34,6695,8115)(hwcs (hf (hr 6,3,1,9,-1)(hr 6,6,1,3,3)(hr 0,0,0,0,0)0)-60,12803,13772)22982)(hcs 9 (hwcs (hf (hr 4,7,4,4,-1)(hr 4,9,4,2,2)(hr 0,0,0,0,0)0)150,6674,53864)(hwcs (hf (hr 1,1,18,5,-1)(hr 7,1,6,5,3)(hr 0,0,0,0,0)0)1455,14453,4801)(hwcs (hf (hr 1,7,16,9,-1)(hr 1,10,16,3,3)(hr 0,0,0,0,0)0)285,12085,26425)(hwcs (hf (hr 7,5,6,4,-1)(hr 9,5,2,4,3)(hr 0,0,0,0,0)0)113,16700,39695)(hwcs (hf (hr 8,12,3,8,-1)(hr 8,16,3,4,2)(hr 0,0,0,0,0)0)-572,18939,49916)(hwcs (hf (hr 14,1,6,12,-1)(hr 14,1,3,12,2)(hr 0,0,0,0,0)0)3238,53422,18407)(hwcs (hf (hr 0,2,6,15,-1)(hr 3,2,3,15,2)(hr 0,0,0,0,0)0)3952,49856,29124)(hwcs (hf (hr 13,11,6,3,-1)(hr 13,12,6,1,3)(hr 0,0,0,0,0)0)-623,34853,35461)(hwcs (hf (hr 1,11,6,3,-1)(hr 1,12,6,1,3)(hr 0,0,0,0,0)0)501,7595,15339)227552)(hcs 14 (hwcs (hf (hr 5,4,10,4,-1)(hr 5,6,10,2,2)(hr 0,0,0,0,0)0)-317,11832,14273)(hwcs (hf (hr 4,5,12,6,-1)(hr 8,5,4,6,3)(hr 0,0,0,0,0)0)-159,7479,7884)(hwcs (hf (hr 5,7,2,9,-1)(hr 5,10,2,3,3)(hr 0,0,0,0,0)0)65,13631,21640)(hwcs (hf (hr 12,0,4,12,-1)(hr 14,0,2,6,2)(hr 12,6,2,6,2)0)81,18141,10933)(hwcs (hf (hr 5,1,6,4,-1)(hr 7,1,2,4,3)(hr 0,0,0,0,0)0)-783,9887,28778)(hwcs (hf (hr 9,8,3,12,-1)(hr 9,12,3,4,3)(hr 0,0,0,0,0)0)227,17377,15060)(hwcs (hf (hr 2,2,6,8,-1)(hr 2,2,3,4,2)(hr 5,6,3,4,2)0)-68,23742,17047)(hwcs (hf (hr 10,15,6,4,-1)(hr 13,15,3,2,2)(hr 10,17,3,2,2)0)35,25229,19434)(hwcs (hf (hr 5,15,4,4,-1)(hr 5,15,2,2,2)(hr 7,17,2,2,2)0)74,26901,47441)(hwcs (hf (hr 4,5,12,10,-1)(hr 10,5,6,5,2)(hr 4,10,6,5,2)0)2888,36965,38977)(hwcs (hf (hr 9,11,2,3,-1)(hr 9,12,2,1,3)(hr 0,0,0,0,0)0)-159,43274,30675)(hwcs (hf (hr 15,11,5,3,-1)(hr 15,12,5,1,3)(hr 0,0,0,0,0)0)528,34726,34613)(hwcs (hf (hr 0,11,5,3,-1)(hr 0,12,5,1,3)(hr 0,0,0,0,0)0)-462,9048,35983)(hwcs (hf (hr 2,8,16,2,-1)(hr 2,9,16,1,2)(hr 0,0,0,0,0)0)81,15549,34341)392199)(hcs 19 (hwcs (hf (hr 6,3,8,6,-1)(hr 6,6,8,3,2)(hr 0,0,0,0,0)0)-323,13094,15069)(hwcs (hf (hr 10,9,6,8,-1)(hr 10,13,6,4,2)(hr 0,0,0,0,0)0)202,10052,13348)(hwcs (hf (hr 4,6,3,9,-1)(hr 4,9,3,3,3)(hr 0,0,0,0,0)0)122,13434,21195)(hwcs (hf (hr 12,3,8,3,-1)(hr 12,3,4,3,2)(hr 0,0,0,0,0)0)125,19956,19216)(hwcs (hf (hr 2,12,10,8,-1)(hr 2,12,5,4,2)(hr 7,16,5,4,2)0)-47,23973,17774)(hwcs (hf (hr 12,3,8,3,-1)(hr 12,3,4,3,2)(hr 0,0,0,0,0)0)2023,28965,23678)(hwcs (hf (hr 0,3,8,3,-1)(hr 4,3,4,3,2)(hr 0,0,0,0,0)0)138,23780,10492)(hwcs (hf (hr 10,2,3,2,-1)(hr 11,2,1,2,3)(hr 0,0,0,0,0)0)-231,8528,11706)(hwcs (hf (hr 7,15,3,4,-1)(hr 7,17,3,2,2)(hr 0,0,0,0,0)0)30,22854,17524)(hwcs (hf (hr 10,5,1,14,-1)(hr 10,12,1,7,2)(hr 0,0,0,0,0)0)82,22530,39291)(hwcs (hf (hr 5,0,6,3,-1)(hr 7,0,2,3,3)(hr 0,0,0,0,0)0)-703,14093,41100)(hwcs (hf (hr 7,15,6,5,-1)(hr 9,15,2,5,3)(hr 0,0,0,0,0)0)-1857,5400,38732)(hwcs (hf (hr 8,17,3,2,-1)(hr 9,17,1,2,3)(hr 0,0,0,0,0)0)281,10451,39193)(hwcs (hf (hr 9,6,3,7,-1)(hr 10,6,1,7,3)(hr 0,0,0,0,0)0)1472,51623,10195)(hwcs (hf (hr 8,6,3,7,-1)(hr 9,6,1,7,3)(hr 0,0,0,0,0)0)472,43387,9337)(hwcs (hf (hr 13,5,2,10,-1)(hr 13,10,2,5,2)(hr 0,0,0,0,0)0)-944,10410,15570)(hwcs (hf (hr 7,0,3,5,-1)(hr 8,0,1,5,3)(hr 0,0,0,0,0)0)504,12725,41146)(hwcs (hf (hr 10,3,6,14,-1)(hr 13,3,3,7,2)(hr 10,10,3,7,2)0)-47,25171,20358)(hwcs (hf (hr 4,3,6,14,-1)(hr 4,3,3,7,2)(hr 7,10,3,7,2)0)-3,22573,17888)557828)(hcs 19 (hwcs (hf (hr 8,1,1,6,-1)(hr 8,3,1,2,3)(hr 0,0,0,0,0)0)-88,10859,14901)(hwcs (hf (hr 0,7,20,6,-1)(hr 0,9,20,2,3)(hr 0,0,0,0,0)0)344,9909,36467)(hwcs (hf (hr 7,1,3,2,-1)(hr 8,1,1,2,3)(hr 0,0,0,0,0)0)-152,12322,20463)(hwcs (hf (hr 4,3,12,9,-1)(hr 4,6,12,3,3)(hr 0,0,0,0,0)0)-8068,25294,16091)(hwcs (hf (hr 5,5,9,5,-1)(hr 8,5,3,5,3)(hr 0,0,0,0,0)0)135,17802,15029)(hwcs (hf (hr 13,0,6,18,-1)(hr 13,0,3,18,2)(hr 0,0,0,0,0)0)5240,51338,36341)(hwcs (hf (hr 3,2,6,10,-1)(hr 3,2,3,5,2)(hr 6,7,3,5,2)0)430,11923,23133)(hwcs (hf (hr 9,18,3,2,-1)(hr 10,18,1,2,3)(hr 0,0,0,0,0)0)237,35797,8911)(hwcs (hf (hr 2,8,2,6,-1)(hr 2,10,2,2,3)(hr 0,0,0,0,0)0)-593,7308,38317)(hwcs (hf (hr 7,19,6,1,-1)(hr 9,19,2,1,3)(hr 0,0,0,0,0)0)-371,10555,35236)(hwcs (hf (hr 8,3,3,1,-1)(hr 9,3,1,1,3)(hr 0,0,0,0,0)0)-140,12465,21443)(hwcs (hf (hr 8,11,5,3,-1)(hr 8,12,5,1,3)(hr 0,0,0,0,0)0)-531,45317,28359)(hwcs (hf (hr 0,1,6,15,-1)(hr 2,1,2,15,3)(hr 0,0,0,0,0)0)-5703,56322,6382)(hwcs (hf (hr 16,13,1,3,-1)(hr 16,14,1,1,3)(hr 0,0,0,0,0)0)-145,16741,21751)(hwcs (hf (hr 7,13,3,6,-1)(hr 7,16,3,3,2)(hr 0,0,0,0,0)0)-590,17475,12112)(hwcs (hf (hr 15,12,2,3,-1)(hr 15,13,2,1,3)(hr 0,0,0,0,0)0)-276,35257,33967)(hwcs (hf (hr 6,10,2,6,-1)(hr 6,13,2,3,2)(hr 0,0,0,0,0)0)18,17127,18261)(hwcs (hf (hr 13,11,2,1,-1)(hr 13,11,1,1,2)(hr 0,0,0,0,0)0)127,17123,38767)(hwcs (hf (hr 3,12,2,3,-1)(hr 3,13,2,1,3)(hr 0,0,0,0,0)0)235,10400,8325)554959)(hcs 27 (hwcs (hf (hr 1,0,17,9,-1)(hr 1,3,17,3,3)(hr 0,0,0,0,0)0)234,13075,48320)(hwcs (hf (hr 9,5,6,4,-1)(hr 9,5,3,4,2)(hr 0,0,0,0,0)0)129,12821,37303)(hwcs (hf (hr 5,5,6,4,-1)(hr 8,5,3,4,2)(hr 0,0,0,0,0)0)15,14232,17825)(hwcs (hf (hr 6,5,9,10,-1)(hr 6,10,9,5,2)(hr 0,0,0,0,0)0)-1640,11961,37354)(hwcs (hf (hr 6,6,8,3,-1)(hr 6,7,8,1,3)(hr 0,0,0,0,0)0)-212,26371,23619)(hwcs (hf (hr 15,1,4,11,-1)(hr 15,1,2,11,2)(hr 0,0,0,0,0)0)528,42542,36169)(hwcs (hf (hr 1,1,4,11,-1)(hr 3,1,2,11,2)(hr 0,0,0,0,0)0)2252,43991,11084)(hwcs (hf (hr 13,7,6,4,-1)(hr 16,7,3,2,2)(hr 13,9,3,2,2)0)48,22315,36154)(hwcs (hf (hr 0,4,20,12,-1)(hr 0,4,10,6,2)(hr 10,10,10,6,2)0)-8044,10979,23696)(hwcs (hf (hr 11,10,3,8,-1)(hr 11,14,3,4,2)(hr 0,0,0,0,0)0)-2103,19143,36785)(hwcs (hf (hr 9,11,2,3,-1)(hr 9,12,2,1,3)(hr 0,0,0,0,0)0)-211,45682,23207)(hwcs (hf (hr 3,14,14,4,-1)(hr 10,14,7,2,2)(hr 3,16,7,2,2)0)-1132,36288,35009)(hwcs (hf (hr 3,12,6,6,-1)(hr 3,14,6,2,3)(hr 0,0,0,0,0)0)304,16315,11219)(hwcs (hf (hr 9,14,3,3,-1)(hr 9,15,3,1,3)(hr 0,0,0,0,0)0)659,54220,24768)(hwcs (hf (hr 7,2,6,8,-1)(hr 7,6,6,4,2)(hr 0,0,0,0,0)0)-71,21604,39733)(hwcs (hf (hr 10,6,3,5,-1)(hr 11,6,1,5,3)(hr 0,0,0,0,0)0)-17,24996,36160)(hwcs (hf (hr 3,12,1,2,-1)(hr 3,13,1,1,2)(hr 0,0,0,0,0)0)-195,8058,47528)(hwcs (hf (hr 2,1,18,4,-1)(hr 11,1,9,2,2)(hr 2,3,9,2,2)0)2217,35050,38351)(hwcs (hf (hr 0,1,18,4,-1)(hr 0,1,9,2,2)(hr 9,3,9,2,2)0)-1286,15059,41261)(hwcs (hf (hr 9,5,2,6,-1)(hr 9,7,2,2,3)(hr 0,0,0,0,0)0)-1515,11111,33909)(hwcs (hf (hr 2,10,15,1,-1)(hr 7,10,5,1,3)(hr 0,0,0,0,0)0)-1268,8894,19638)(hwcs (hf (hr 9,14,3,3,-1)(hr 9,15,3,1,3)(hr 0,0,0,0,0)0)206,43205,34781)(hwcs (hf (hr 0,8,8,2,-1)(hr 0,8,4,1,2)(hr 4,9,4,1,2)0)0,20501,36293)(hwcs (hf (hr 9,7,2,4,-1)(hr 9,7,1,4,2)(hr 0,0,0,0,0)0)477,30545,46916)(hwcs (hf (hr 8,3,2,1,-1)(hr 9,3,1,1,2)(hr 0,0,0,0,0)0)195,3889,46054)(hwcs (hf (hr 12,0,4,14,-1)(hr 14,0,2,7,2)(hr 12,7,2,7,2)0)6,38631,31865)(hwcs (hf (hr 0,2,6,16,-1)(hr 3,2,3,16,2)(hr 0,0,0,0,0)0)-4243,45334,30602)824344)(hcs 31 (hwcs (hf (hr 7,7,6,1,-1)(hr 9,7,2,1,3)(hr 0,0,0,0,0)0)94,18176,48674)(hwcs (hf (hr 12,10,4,6,-1)(hr 12,13,4,3,2)(hr 0,0,0,0,0)0)0,14414,38600)(hwcs (hf (hr 4,6,3,6,-1)(hr 4,9,3,3,2)(hr 0,0,0,0,0)0)113,12190,27209)(hwcs (hf (hr 9,8,3,12,-1)(hr 9,12,3,4,3)(hr 0,0,0,0,0)0)244,16567,9129)(hwcs (hf (hr 3,9,7,10,-1)(hr 3,14,7,5,2)(hr 0,0,0,0,0)0)520,16303,17764)(hwcs (hf (hr 13,14,1,6,-1)(hr 13,16,1,2,3)(hr 0,0,0,0,0)0)1,24987,15246)(hwcs (hf (hr 6,14,1,6,-1)(hr 6,16,1,2,3)(hr 0,0,0,0,0)0)0,28136,10488)(hwcs (hf (hr 8,13,5,3,-1)(hr 8,14,5,1,3)(hr 0,0,0,0,0)0)184,43773,30065)(hwcs (hf (hr 5,1,10,8,-1)(hr 5,1,5,4,2)(hr 10,5,5,4,2)0)2316,12216,36295)(hwcs (hf (hr 1,10,18,1,-1)(hr 7,10,6,1,3)(hr 0,0,0,0,0)0)-384,18538,38471)(hwcs (hf (hr 5,11,6,1,-1)(hr 7,11,2,1,3)(hr 0,0,0,0,0)0)-14,27649,43692)(hwcs (hf (hr 12,12,3,4,-1)(hr 12,14,3,2,2)(hr 0,0,0,0,0)0)-5,23315,10915)(hwcs (hf (hr 0,8,16,2,-1)(hr 0,9,16,1,2)(hr 0,0,0,0,0)0)66,18904,19459)(hwcs (hf (hr 9,7,3,3,-1)(hr 10,7,1,3,3)(hr 0,0,0,0,0)0)264,29729,33929)(hwcs (hf (hr 8,7,3,3,-1)(hr 9,7,1,3,3)(hr 0,0,0,0,0)0)-328,49918,14153)(hwcs (hf (hr 10,5,6,5,-1)(hr 12,5,2,5,3)(hr 0,0,0,0,0)0)-61,25731,22799)(hwcs (hf (hr 4,5,6,5,-1)(hr 6,5,2,5,3)(hr 0,0,0,0,0)0)-36,39742,37338)(hwcs (hf (hr 3,1,16,2,-1)(hr 11,1,8,1,2)(hr 3,2,8,1,2)0)452,35254,21809)(hwcs (hf (hr 1,1,16,2,-1)(hr 1,1,8,1,2)(hr 9,2,8,1,2)0)-575,13868,43488)(hwcs (hf (hr 4,5,12,10,-1)(hr 10,5,6,5,2)(hr 4,10,6,5,2)0)-3650,35307,10504)(hwcs (hf (hr 8,9,3,2,-1)(hr 8,10,3,1,2)(hr 0,0,0,0,0)0)-48,19119,36753)(hwcs (hf (hr 6,6,9,3,-1)(hr 6,7,9,1,3)(hr 0,0,0,0,0)0)-201,25810,37731)(hwcs (hf (hr 0,0,18,6,-1)(hr 6,0,6,6,3)(hr 0,0,0,0,0)0)14722,50309,35087)(hwcs (hf (hr 11,12,3,6,-1)(hr 11,15,3,3,2)(hr 0,0,0,0,0)0)-1966,15498,15635)(hwcs (hf (hr 1,2,3,6,-1)(hr 2,2,1,6,3)(hr 0,0,0,0,0)0)136,42674,39520)(hwcs (hf (hr 4,13,12,4,-1)(hr 10,13,6,2,2)(hr 4,15,6,2,2)0)-1279,35544,15472)(hwcs (hf (hr 3,3,14,12,-1)(hr 3,3,7,6,2)(hr 10,9,7,6,2)0)-2283,18592,11885)(hwcs (hf (hr 9,14,3,6,-1)(hr 9,17,3,3,2)(hr 0,0,0,0,0)0)0,26085,17146)(hwcs (hf (hr 6,2,6,1,-1)(hr 8,2,2,1,3)(hr 0,0,0,0,0)0)-317,15978,34911)(hwcs (hf (hr 9,8,3,5,-1)(hr 10,8,1,5,3)(hr 0,0,0,0,0)0)-424,30668,36463)(hwcs (hf (hr 8,8,3,5,-1)(hr 9,8,1,5,3)(hr 0,0,0,0,0)0)201,43675,36664)953335)(hcs 39 (hwcs (hf (hr 0,4,20,6,-1)(hr 0,6,20,2,3)(hr 0,0,0,0,0)0)-644,13867,45381)(hwcs (hf (hr 7,15,6,4,-1)(hr 7,17,6,2,2)(hr 0,0,0,0,0)0)23,20861,35760)(hwcs (hf (hr 6,4,4,4,-1)(hr 8,4,2,4,2)(hr 0,0,0,0,0)0)13,19022,20515)(hwcs (hf (hr 9,4,2,14,-1)(hr 9,11,2,7,2)(hr 0,0,0,0,0)0)0,19414,20313)(hwcs (hf (hr 4,12,6,8,-1)(hr 4,12,3,4,2)(hr 7,16,3,4,2)0)106,26169,31636)(hwcs (hf (hr 10,7,10,4,-1)(hr 15,7,5,2,2)(hr 10,9,5,2,2)0)-270,17150,20373)(hwcs (hf (hr 9,9,2,2,-1)(hr 9,10,2,1,2)(hr 0,0,0,0,0)0)-41,21231,42712)(hwcs (hf (hr 9,6,3,6,-1)(hr 10,6,1,6,3)(hr 0,0,0,0,0)0)909,44375,27259)(hwcs (hf (hr 8,6,3,6,-1)(hr 9,6,1,6,3)(hr 0,0,0,0,0)0)1193,50394,18830)(hwcs (hf (hr 9,1,3,3,-1)(hr 10,1,1,3,3)(hr 0,0,0,0,0)0)-269,35802,23797)(hwcs (hf (hr 8,1,3,3,-1)(hr 9,1,1,3,3)(hr 0,0,0,0,0)0)395,7495,18946)(hwcs (hf (hr 8,6,8,8,-1)(hr 12,6,4,4,2)(hr 8,10,4,4,2)0)40,19814,14201)(hwcs (hf (hr 4,5,12,10,-1)(hr 4,5,6,5,2)(hr 10,10,6,5,2)0)1427,21330,34491)(hwcs (hf (hr 7,14,6,3,-1)(hr 7,15,6,1,3)(hr 0,0,0,0,0)0)-903,48564,44804)(hwcs (hf (hr 8,14,3,3,-1)(hr 8,15,3,1,3)(hr 0,0,0,0,0)0)404,48823,31855)(hwcs (hf (hr 9,7,2,3,-1)(hr 9,8,2,1,3)(hr 0,0,0,0,0)0)-420,9616,15386)(hwcs (hf (hr 5,3,3,3,-1)(hr 6,3,1,3,3)(hr 0,0,0,0,0)0)-468,9680,22927)(hwcs (hf (hr 1,11,18,4,-1)(hr 10,11,9,2,2)(hr 1,13,9,2,2)0)-2457,34468,28592)(hwcs (hf (hr 6,0,3,6,-1)(hr 7,0,1,6,3)(hr 0,0,0,0,0)0)-464,13365,34067)(hwcs (hf (hr 7,12,6,2,-1)(hr 7,13,6,1,2)(hr 0,0,0,0,0)0)42,41441,30934)(hwcs (hf (hr 9,12,2,3,-1)(hr 9,13,2,1,3)(hr 0,0,0,0,0)0)-129,39669,33361)(hwcs (hf (hr 13,3,4,2,-1)(hr 13,4,4,1,2)(hr 0,0,0,0,0)0)-200,22477,25155)(hwcs (hf (hr 6,9,8,8,-1)(hr 6,9,4,4,2)(hr 10,13,4,4,2)0)-1799,14047,39013)(hwcs (hf (hr 2,5,18,8,-1)(hr 11,5,9,4,2)(hr 2,9,9,4,2)0)440,37307,37908)(hwcs (hf (hr 0,3,3,6,-1)(hr 0,5,3,2,3)(hr 0,0,0,0,0)0)-1238,11920,44886)(hwcs (hf (hr 19,3,1,6,-1)(hr 19,5,1,2,3)(hr 0,0,0,0,0)0)385,17869,27763)(hwcs (hf (hr 0,3,1,6,-1)(hr 0,5,1,2,3)(hr 0,0,0,0,0)0)121,22094,34538)(hwcs (hf (hr 8,8,4,3,-1)(hr 8,9,4,1,3)(hr 0,0,0,0,0)0)-221,18782,38593)(hwcs (hf (hr 8,13,2,6,-1)(hr 8,16,2,3,2)(hr 0,0,0,0,0)0)982,14272,11634)(hwcs (hf (hr 10,6,6,3,-1)(hr 12,6,2,3,3)(hr 0,0,0,0,0)0)-273,30493,31249)(hwcs (hf (hr 2,14,2,2,-1)(hr 2,15,2,1,2)(hr 0,0,0,0,0)0)64,22265,40960)(hwcs (hf (hr 8,3,6,1,-1)(hr 10,3,2,1,3)(hr 0,0,0,0,0)0)342,35047,26971)(hwcs (hf (hr 0,14,8,6,-1)(hr 4,14,4,6,2)(hr 0,0,0,0,0)0)-5184,51651,23621)(hwcs (hf (hr 8,3,6,1,-1)(hr 10,3,2,1,3)(hr 0,0,0,0,0)0)342,35498,36091)(hwcs (hf (hr 6,3,6,1,-1)(hr 8,3,2,1,3)(hr 0,0,0,0,0)0)-56,20878,36558)(hwcs (hf (hr 9,6,3,4,-1)(hr 10,6,1,4,3)(hr 0,0,0,0,0)0)-478,46355,36425)(hwcs (hf (hr 8,6,3,4,-1)(hr 9,6,1,4,3)(hr 0,0,0,0,0)0)-396,45018,31918)(hwcs (hf (hr 10,3,4,12,-1)(hr 10,3,2,12,2)(hr 0,0,0,0,0)0)3478,34612,39884)(hwcs (hf (hr 1,0,18,14,-1)(hr 7,0,6,14,3)(hr 0,0,0,0,0)0)2049,35689,34919)1217151)(hcs 45 (hwcs (hf (hr 1,4,15,4,-1)(hr 1,6,15,2,2)(hr 0,0,0,0,0)0)-407,17207,10256)(hwcs (hf (hr 14,2,6,8,-1)(hr 14,2,3,8,2)(hr 0,0,0,0,0)0)710,22844,24236)(hwcs (hf (hr 9,5,2,12,-1)(hr 9,11,2,6,2)(hr 0,0,0,0,0)0)48,19707,23756)(hwcs (hf (hr 14,3,6,6,-1)(hr 14,3,3,6,2)(hr 0,0,0,0,0)0)727,28945,19848)(hwcs (hf (hr 0,2,6,7,-1)(hr 3,2,3,7,2)(hr 0,0,0,0,0)0)845,28668,28846)(hwcs (hf (hr 4,6,16,8,-1)(hr 4,10,16,4,2)(hr 0,0,0,0,0)0)-13,15143,23384)(hwcs (hf (hr 7,0,6,20,-1)(hr 9,0,2,20,3)(hr 0,0,0,0,0)0)173,23551,41704)(hwcs (hf (hr 9,11,3,3,-1)(hr 9,12,3,1,3)(hr 0,0,0,0,0)0)-504,46364,37357)(hwcs (hf (hr 3,3,1,2,-1)(hr 3,4,1,1,2)(hr 0,0,0,0,0)0)-31,18385,27036)(hwcs (hf (hr 8,12,4,8,-1)(hr 10,12,2,4,2)(hr 8,16,2,4,2)0)-840,35409,36920)(hwcs (hf (hr 8,14,4,3,-1)(hr 8,15,4,1,3)(hr 0,0,0,0,0)0)-786,46592,32137)(hwcs (hf (hr 9,9,8,2,-1)(hr 9,9,4,2,2)(hr 0,0,0,0,0)0)-1330,12395,35245)(hwcs (hf (hr 9,14,2,3,-1)(hr 9,15,2,1,3)(hr 0,0,0,0,0)0)296,47230,12154)(hwcs (hf (hr 19,3,1,2,-1)(hr 19,4,1,1,2)(hr 0,0,0,0,0)0)102,17290,45030)(hwcs (hf (hr 3,14,14,4,-1)(hr 3,14,7,2,2)(hr 10,16,7,2,2)0)-1797,10146,28684)(hwcs (hf (hr 11,14,4,6,-1)(hr 11,16,4,2,3)(hr 0,0,0,0,0)0)-857,20754,40630)(hwcs (hf (hr 7,13,6,6,-1)(hr 7,13,3,3,2)(hr 10,16,3,3,2)0)1239,9638,38072)(hwcs (hf (hr 6,7,8,2,-1)(hr 6,8,8,1,2)(hr 0,0,0,0,0)0)107,25948,21233)(hwcs (hf (hr 7,1,6,10,-1)(hr 7,6,6,5,2)(hr 0,0,0,0,0)0)-217,28013,21899)(hwcs (hf (hr 11,4,2,4,-1)(hr 11,4,1,4,2)(hr 0,0,0,0,0)0)8,26521,35940)(hwcs (hf (hr 3,9,8,2,-1)(hr 7,9,4,2,2)(hr 0,0,0,0,0)0)-1147,11954,52244)(hwcs (hf (hr 7,0,6,2,-1)(hr 9,0,2,2,3)(hr 0,0,0,0,0)0)790,14201,43150)(hwcs (hf (hr 3,12,1,2,-1)(hr 3,13,1,1,2)(hr 0,0,0,0,0)0)95,13698,33504)(hwcs (hf (hr 11,4,2,4,-1)(hr 11,4,1,4,2)(hr 0,0,0,0,0)0)1033,33635,11419)(hwcs (hf (hr 7,4,2,4,-1)(hr 8,4,1,4,2)(hr 0,0,0,0,0)0)1,22403,36905)(hwcs (hf (hr 11,4,4,3,-1)(hr 11,5,4,1,3)(hr 0,0,0,0,0)0)342,40957,20992)(hwcs (hf (hr 8,7,3,5,-1)(hr 9,7,1,5,3)(hr 0,0,0,0,0)0)-127,40243,43207)(hwcs (hf (hr 14,11,1,6,-1)(hr 14,13,1,2,3)(hr 0,0,0,0,0)0)216,19346,21763)(hwcs (hf (hr 0,3,2,2,-1)(hr 0,4,2,1,2)(hr 0,0,0,0,0)0)-269,11210,22016)(hwcs (hf (hr 11,4,4,3,-1)(hr 11,5,4,1,3)(hr 0,0,0,0,0)0)-503,31281,52959)(hwcs (hf (hr 5,4,4,3,-1)(hr 5,5,4,1,3)(hr 0,0,0,0,0)0)396,44459,36140)(hwcs (hf (hr 15,1,5,9,-1)(hr 15,4,5,3,3)(hr 0,0,0,0,0)0)3800,8221,28998)(hwcs (hf (hr 1,6,2,6,-1)(hr 1,8,2,2,3)(hr 0,0,0,0,0)0)-408,18383,12785)(hwcs (hf (hr 9,12,3,2,-1)(hr 9,13,3,1,2)(hr 0,0,0,0,0)0)27,40412,29665)(hwcs (hf (hr 7,6,3,5,-1)(hr 8,6,1,5,3)(hr 0,0,0,0,0)0)-107,26784,18307)(hwcs (hf (hr 6,1,8,10,-1)(hr 10,1,4,5,2)(hr 6,6,4,5,2)0)-419,37169,34811)(hwcs (hf (hr 6,3,3,1,-1)(hr 7,3,1,1,3)(hr 0,0,0,0,0)0)42,19639,29425)(hwcs (hf (hr 11,10,3,4,-1)(hr 11,12,3,2,2)(hr 0,0,0,0,0)0)-1646,34058,22721)(hwcs (hf (hr 6,10,3,4,-1)(hr 6,12,3,2,2)(hr 0,0,0,0,0)0)102,20194,17654)(hwcs (hf (hr 2,6,18,6,-1)(hr 11,6,9,3,2)(hr 2,9,9,3,2)0)315,36620,30619)(hwcs (hf (hr 0,0,2,12,-1)(hr 1,0,1,12,2)(hr 0,0,0,0,0)0)-1975,59163,30931)(hwcs (hf (hr 9,13,5,3,-1)(hr 9,14,5,1,3)(hr 0,0,0,0,0)0)241,41110,31714)(hwcs (hf (hr 0,6,18,6,-1)(hr 0,6,9,3,2)(hr 9,9,9,3,2)0)-3683,11393,41314)(hwcs (hf (hr 17,4,1,3,-1)(hr 17,5,1,1,3)(hr 0,0,0,0,0)0)-95,34750,34985)(hwcs (hf (hr 2,4,1,3,-1)(hr 2,5,1,1,3)(hr 0,0,0,0,0)0)38,21429,29850)1414143)(hcs 47 (hwcs (hf (hr 1,2,18,3,-1)(hr 7,2,6,3,3)(hr 0,0,0,0,0)0)1298,18413,20446)(hwcs (hf (hr 7,5,6,3,-1)(hr 9,5,2,3,3)(hr 0,0,0,0,0)0)167,19542,19795)(hwcs (hf (hr 3,1,4,10,-1)(hr 3,1,2,5,2)(hr 5,6,2,5,2)0)-60,24498,14176)(hwcs (hf (hr 9,8,3,12,-1)(hr 9,12,3,4,3)(hr 0,0,0,0,0)0)154,19073,36560)(hwcs (hf (hr 5,16,6,4,-1)(hr 5,16,3,2,2)(hr 8,18,3,2,2)0)40,26689,44955)(hwcs (hf (hr 13,11,3,2,-1)(hr 13,12,3,1,2)(hr 0,0,0,0,0)0)31,21871,22091)(hwcs (hf (hr 1,2,18,6,-1)(hr 1,2,9,3,2)(hr 10,5,9,3,2)0)-2878,17207,39652)(hwcs (hf (hr 18,1,2,6,-1)(hr 18,3,2,2,3)(hr 0,0,0,0,0)0)253,21381,38124)(hwcs (hf (hr 0,2,6,11,-1)(hr 3,2,3,11,2)(hr 0,0,0,0,0)0)3442,46500,34687)(hwcs (hf (hr 6,12,9,2,-1)(hr 9,12,3,2,3)(hr 0,0,0,0,0)0)-58,26773,34493)(hwcs (hf (hr 5,11,6,1,-1)(hr 7,11,2,1,3)(hr 0,0,0,0,0)0)-12,26405,23077)(hwcs (hf (hr 14,12,6,7,-1)(hr 14,12,3,7,2)(hr 0,0,0,0,0)0)945,30104,9664)(hwcs (hf (hr 8,1,3,1,-1)(hr 9,1,1,1,3)(hr 0,0,0,0,0)0)-168,12040,52970)(hwcs (hf (hr 13,7,6,4,-1)(hr 16,7,3,2,2)(hr 13,9,3,2,2)0)189,31444,21930)(hwcs (hf (hr 1,7,6,4,-1)(hr 1,7,3,2,2)(hr 4,9,3,2,2)0)36,23521,39211)(hwcs (hf (hr 9,13,4,3,-1)(hr 9,14,4,1,3)(hr 0,0,0,0,0)0)139,40391,34190)(hwcs (hf (hr 5,12,9,2,-1)(hr 8,12,3,2,3)(hr 0,0,0,0,0)0)-7,22588,36683)(hwcs (hf (hr 1,0,18,4,-1)(hr 7,0,6,4,3)(hr 0,0,0,0,0)0)-1479,45221,29403)(hwcs (hf (hr 7,7,1,12,-1)(hr 7,13,1,6,2)(hr 0,0,0,0,0)0)-1011,13423,8224)(hwcs (hf (hr 0,13,20,6,-1)(hr 0,15,20,2,3)(hr 0,0,0,0,0)0)-7738,4432,37097)(hwcs (hf (hr 8,14,2,3,-1)(hr 8,15,2,1,3)(hr 0,0,0,0,0)0)-460,46769,28435)(hwcs (hf (hr 12,13,7,6,-1)(hr 12,15,7,2,3)(hr 0,0,0,0,0)0)-3128,34528,16912)(hwcs (hf (hr 0,15,9,4,-1)(hr 0,17,9,2,2)(hr 0,0,0,0,0)0)-1702,12484,16724)(hwcs (hf (hr 9,5,2,6,-1)(hr 9,5,1,6,2)(hr 0,0,0,0,0)0)441,30758,34484)(hwcs (hf (hr 3,11,2,3,-1)(hr 3,12,2,1,3)(hr 0,0,0,0,0)0)-373,11513,50952)(hwcs (hf (hr 14,12,5,3,-1)(hr 14,13,5,1,3)(hr 0,0,0,0,0)0)518,34632,25479)(hwcs (hf (hr 1,12,5,3,-1)(hr 1,13,5,1,3)(hr 0,0,0,0,0)0)-407,16317,27932)(hwcs (hf (hr 12,11,4,2,-1)(hr 12,12,4,1,2)(hr 0,0,0,0,0)0)341,16680,31798)(hwcs (hf (hr 9,5,2,6,-1)(hr 10,5,1,6,2)(hr 0,0,0,0,0)0)-441,46814,33919)(hwcs (hf (hr 12,11,4,2,-1)(hr 12,12,4,1,2)(hr 0,0,0,0,0)0)-778,33903,29509)(hwcs (hf (hr 4,11,4,2,-1)(hr 4,12,4,1,2)(hr 0,0,0,0,0)0)195,12550,42614)(hwcs (hf (hr 9,3,3,1,-1)(hr 10,3,1,1,3)(hr 0,0,0,0,0)0)112,35233,46243)(hwcs (hf (hr 8,3,3,1,-1)(hr 9,3,1,1,3)(hr 0,0,0,0,0)0)-73,17555,28906)(hwcs (hf (hr 10,1,3,3,-1)(hr 11,1,1,3,3)(hr 0,0,0,0,0)0)-249,18111,31898)(hwcs (hf (hr 2,8,14,3,-1)(hr 2,9,14,1,3)(hr 0,0,0,0,0)0)72,26676,17071)(hwcs (hf (hr 6,1,8,10,-1)(hr 6,6,8,5,2)(hr 0,0,0,0,0)0)-236,37565,32593)(hwcs (hf (hr 1,5,2,4,-1)(hr 2,5,1,4,2)(hr 0,0,0,0,0)0)-465,45775,17636)(hwcs (hf (hr 8,8,4,4,-1)(hr 8,10,4,2,2)(hr 0,0,0,0,0)0)-109,23271,34371)(hwcs (hf (hr 1,2,8,1,-1)(hr 5,2,4,1,2)(hr 0,0,0,0,0)0)53,27073,30279)(hwcs (hf (hr 8,6,8,2,-1)(hr 8,6,4,2,2)(hr 0,0,0,0,0)0)43,36885,36548)(hwcs (hf (hr 4,6,8,2,-1)(hr 8,6,4,2,2)(hr 0,0,0,0,0)0)-24,32500,36868)(hwcs (hf (hr 3,14,16,4,-1)(hr 3,16,16,2,2)(hr 0,0,0,0,0)0)2846,14694,29709)(hwcs (hf (hr 8,12,3,3,-1)(hr 8,13,3,1,3)(hr 0,0,0,0,0)0)-206,43665,32820)(hwcs (hf (hr 18,10,2,3,-1)(hr 18,11,2,1,3)(hr 0,0,0,0,0)0)136,24598,33929)(hwcs (hf (hr 8,3,2,1,-1)(hr 9,3,1,1,2)(hr 0,0,0,0,0)0)106,16956,41284)(hwcs (hf (hr 5,11,11,6,-1)(hr 5,14,11,3,2)(hr 0,0,0,0,0)0)47,21981,14117)(hwcs (hf (hr 8,7,3,3,-1)(hr 9,7,1,3,3)(hr 0,0,0,0,0)0)-72,42394,18960)1480149)(hcs 53 (hwcs (hf (hr 1,2,6,3,-1)(hr 4,2,3,3,2)(hr 0,0,0,0,0)0)343,21624,46147)(hwcs (hf (hr 16,18,2,2,-1)(hr 16,18,1,2,2)(hr 0,0,0,0,0)0)-539,32513,46714)(hwcs (hf (hr 8,4,2,5,-1)(hr 9,4,1,5,2)(hr 0,0,0,0,0)0)29,21027,43344)(hwcs (hf (hr 7,15,12,4,-1)(hr 13,15,6,2,2)(hr 7,17,6,2,2)0)182,24314,37659)(hwcs (hf (hr 7,7,4,10,-1)(hr 7,12,4,5,2)(hr 0,0,0,0,0)0)229,20015,18910)(hwcs (hf (hr 11,1,6,12,-1)(hr 14,1,3,6,2)(hr 11,7,3,6,2)0)-153,20803,25040)(hwcs (hf (hr 4,7,3,6,-1)(hr 4,9,3,2,3)(hr 0,0,0,0,0)0)67,23742,42853)(hwcs (hf (hr 14,16,2,2,-1)(hr 14,17,2,1,2)(hr 0,0,0,0,0)0)37,25514,36795)(hwcs (hf (hr 7,12,6,2,-1)(hr 7,13,6,1,2)(hr 0,0,0,0,0)0)52,42225,22156)(hwcs (hf (hr 11,1,6,12,-1)(hr 14,1,3,6,2)(hr 11,7,3,6,2)0)28,25813,22465)(hwcs (hf (hr 3,10,12,6,-1)(hr 3,10,6,3,2)(hr 9,13,6,3,2)0)354,24926,42201)(hwcs (hf (hr 16,6,4,14,-1)(hr 18,6,2,7,2)(hr 16,13,2,7,2)0)-1441,43611,27411)(hwcs (hf (hr 0,6,4,14,-1)(hr 0,6,2,7,2)(hr 2,13,2,7,2)0)-1798,43167,21265)(hwcs (hf (hr 10,17,3,3,-1)(hr 11,17,1,3,3)(hr 0,0,0,0,0)0)-372,14608,26917)(hwcs (hf (hr 7,17,3,3,-1)(hr 8,17,1,3,3)(hr 0,0,0,0,0)0)-354,13538,32285)(hwcs (hf (hr 10,15,4,2,-1)(hr 12,15,2,1,2)(hr 10,16,2,1,2)0)-205,44433,34176)(hwcs (hf (hr 3,13,4,3,-1)(hr 3,14,4,1,3)(hr 0,0,0,0,0)0)382,12697,24986)(hwcs (hf (hr 2,1,16,3,-1)(hr 2,2,16,1,3)(hr 0,0,0,0,0)0)-1071,16213,31573)(hwcs (hf (hr 6,15,4,2,-1)(hr 6,15,2,1,2)(hr 8,16,2,1,2)0)-263,49205,18873)(hwcs (hf (hr 0,9,20,3,-1)(hr 0,10,20,1,3)(hr 0,0,0,0,0)0)-212,19955,26630)(hwcs (hf (hr 8,14,3,6,-1)(hr 9,14,1,6,3)(hr 0,0,0,0,0)0)-842,6338,29739)(hwcs (hf (hr 9,7,2,5,-1)(hr 9,7,1,5,2)(hr 0,0,0,0,0)0)-591,31508,22307)(hwcs (hf (hr 9,7,2,5,-1)(hr 10,7,1,5,2)(hr 0,0,0,0,0)0)591,49190,35752)(hwcs (hf (hr 13,9,2,2,-1)(hr 13,9,1,2,2)(hr 0,0,0,0,0)0)-243,15150,34544)(hwcs (hf (hr 7,1,2,7,-1)(hr 8,1,1,7,2)(hr 0,0,0,0,0)0)0,24105,46739)(hwcs (hf (hr 13,9,2,2,-1)(hr 13,9,1,2,2)(hr 0,0,0,0,0)0)164,34813,30732)(hwcs (hf (hr 5,4,2,3,-1)(hr 5,5,2,1,3)(hr 0,0,0,0,0)0)455,45539,26243)(hwcs (hf (hr 13,9,2,2,-1)(hr 13,9,1,2,2)(hr 0,0,0,0,0)0)164,34927,36345)(hwcs (hf (hr 5,9,2,2,-1)(hr 6,9,1,2,2)(hr 0,0,0,0,0)0)-275,7976,35225)(hwcs (hf (hr 13,1,1,6,-1)(hr 13,3,1,2,3)(hr 0,0,0,0,0)0)44,27493,22680)(hwcs (hf (hr 0,6,20,14,-1)(hr 0,13,20,7,2)(hr 0,0,0,0,0)0)-26654,3805,9656)(hwcs (hf (hr 10,1,9,6,-1)(hr 10,3,9,2,3)(hr 0,0,0,0,0)0)147,35898,27576)(hwcs (hf (hr 0,0,18,5,-1)(hr 6,0,6,5,3)(hr 0,0,0,0,0)0)-1208,42252,18121)(hwcs (hf (hr 15,15,2,2,-1)(hr 15,16,2,1,2)(hr 0,0,0,0,0)0)-172,34502,37914)(hwcs (hf (hr 3,15,2,2,-1)(hr 3,16,2,1,2)(hr 0,0,0,0,0)0)27,22645,39498)(hwcs (hf (hr 11,14,1,3,-1)(hr 11,15,1,1,3)(hr 0,0,0,0,0)0)-67,39946,40031)(hwcs (hf (hr 0,0,3,6,-1)(hr 0,2,3,2,3)(hr 0,0,0,0,0)0)208,21262,25105)(hwcs (hf (hr 9,13,4,3,-1)(hr 9,14,4,1,3)(hr 0,0,0,0,0)0)548,43325,40234)(hwcs (hf (hr 8,3,3,2,-1)(hr 9,3,1,2,3)(hr 0,0,0,0,0)0)59,23068,16900)(hwcs (hf (hr 11,14,1,3,-1)(hr 11,15,1,1,3)(hr 0,0,0,0,0)0)65,31589,37422)(hwcs (hf (hr 8,14,1,3,-1)(hr 8,15,1,1,3)(hr 0,0,0,0,0)0)-58,40197,32299)(hwcs (hf (hr 10,7,2,2,-1)(hr 10,7,1,2,2)(hr 0,0,0,0,0)0)27,29301,33823)(hwcs (hf (hr 0,5,4,6,-1)(hr 0,7,4,2,3)(hr 0,0,0,0,0)0)-2400,6069,55850)(hwcs (hf (hr 13,0,3,7,-1)(hr 14,0,1,7,3)(hr 0,0,0,0,0)0)-432,35776,34205)(hwcs (hf (hr 4,0,3,7,-1)(hr 5,0,1,7,3)(hr 0,0,0,0,0)0)750,12556,34285)(hwcs (hf (hr 11,4,6,3,-1)(hr 11,5,6,1,3)(hr 0,0,0,0,0)0)636,42363,48385)(hwcs (hf (hr 5,5,10,12,-1)(hr 5,5,5,6,2)(hr 10,11,5,6,2)0)-533,23669,22425)(hwcs (hf (hr 9,6,2,7,-1)(hr 9,6,1,7,2)(hr 0,0,0,0,0)0)150,29819,30912)(hwcs (hf (hr 8,7,3,3,-1)(hr 9,7,1,3,3)(hr 0,0,0,0,0)0)-64,30098,43013)(hwcs (hf (hr 13,16,7,3,-1)(hr 13,17,7,1,3)(hr 0,0,0,0,0)0)-1032,34337,52532)(hwcs (hf (hr 0,16,7,3,-1)(hr 0,17,7,1,3)(hr 0,0,0,0,0)0)676,14908,28520)(hwcs (hf (hr 12,9,8,10,-1)(hr 12,9,4,10,2)(hr 0,0,0,0,0)0)1040,29262,29782)(hwcs (hf (hr 0,9,8,10,-1)(hr 4,9,4,10,2)(hr 0,0,0,0,0)0)-1411,42779,22575)1678331)(hcs 67 (hwcs (hf (hr 2,3,6,2,-1)(hr 5,3,3,2,2)(hr 0,0,0,0,0)0)119,20373,20533)(hwcs (hf (hr 4,7,12,2,-1)(hr 8,7,4,2,3)(hr 0,0,0,0,0)0)111,17302,37009)(hwcs (hf (hr 0,10,20,4,-1)(hr 0,12,20,2,2)(hr 0,0,0,0,0)0)25,20582,42527)(hwcs (hf (hr 1,1,18,4,-1)(hr 7,1,6,4,3)(hr 0,0,0,0,0)0)10514,47294,10834)(hwcs (hf (hr 6,15,7,4,-1)(hr 6,17,7,2,2)(hr 0,0,0,0,0)0)0,20582,39280)(hwcs (hf (hr 9,4,8,10,-1)(hr 9,9,8,5,2)(hr 0,0,0,0,0)0)-709,17386,12121)(hwcs (hf (hr 8,2,4,8,-1)(hr 8,6,4,4,2)(hr 0,0,0,0,0)0)-197,26477,40358)(hwcs (hf (hr 7,7,6,4,-1)(hr 9,7,2,4,3)(hr 0,0,0,0,0)0)1736,29563,29676)(hwcs (hf (hr 2,10,3,3,-1)(hr 2,11,3,1,3)(hr 0,0,0,0,0)0)379,16606,22350)(hwcs (hf (hr 9,11,3,3,-1)(hr 9,12,3,1,3)(hr 0,0,0,0,0)0)-721,45600,25238)(hwcs (hf (hr 9,8,2,3,-1)(hr 9,9,2,1,3)(hr 0,0,0,0,0)0)-239,13168,41257)(hwcs (hf (hr 9,7,2,3,-1)(hr 9,8,2,1,3)(hr 0,0,0,0,0)0)-292,15763,35718)(hwcs (hf (hr 0,10,4,2,-1)(hr 0,11,4,1,2)(hr 0,0,0,0,0)0)-237,19882,30367)(hwcs (hf (hr 8,14,6,3,-1)(hr 8,15,6,1,3)(hr 0,0,0,0,0)0)282,43246,43395)(hwcs (hf (hr 8,9,4,2,-1)(hr 8,10,4,1,2)(hr 0,0,0,0,0)0)-90,18357,25096)(hwcs (hf (hr 11,12,1,2,-1)(hr 11,13,1,1,2)(hr 0,0,0,0,0)0)4,29729,36753)(hwcs (hf (hr 0,2,1,2,-1)(hr 0,3,1,1,2)(hr 0,0,0,0,0)0)89,17282,27333)(hwcs (hf (hr 0,2,20,14,-1)(hr 10,2,10,7,2)(hr 0,9,10,7,2)0)12569,34450,43467)(hwcs (hf (hr 0,4,20,12,-1)(hr 0,4,10,6,2)(hr 10,10,10,6,2)0)-8289,9828,27743)(hwcs (hf (hr 9,18,3,2,-1)(hr 10,18,1,2,3)(hr 0,0,0,0,0)0)274,34660,29648)(hwcs (hf (hr 5,6,2,3,-1)(hr 5,7,2,1,3)(hr 0,0,0,0,0)0)-150,36557,21777)(hwcs (hf (hr 14,15,3,2,-1)(hr 14,16,3,1,2)(hr 0,0,0,0,0)0)80,23946,12612)(hwcs (hf (hr 3,15,3,2,-1)(hr 3,16,3,1,2)(hr 0,0,0,0,0)0)305,13288,50043)(hwcs (hf (hr 9,13,3,7,-1)(hr 10,13,1,7,3)(hr 0,0,0,0,0)0)940,34425,17255)(hwcs (hf (hr 8,18,3,2,-1)(hr 9,18,1,2,3)(hr 0,0,0,0,0)0)-223,15834,25798)(hwcs (hf (hr 6,19,14,1,-1)(hr 6,19,7,1,2)(hr 0,0,0,0,0)0)571,31379,23800)(hwcs (hf (hr 1,0,6,10,-1)(hr 1,0,3,5,2)(hr 4,5,3,5,2)0)-2764,45423,29622)(hwcs (hf (hr 15,3,5,6,-1)(hr 15,5,5,2,3)(hr 0,0,0,0,0)0)-2040,34736,36745)(hwcs (hf (hr 0,3,5,6,-1)(hr 0,5,5,2,3)(hr 0,0,0,0,0)0)345,21281,13013)(hwcs (hf (hr 12,8,8,2,-1)(hr 16,8,4,1,2)(hr 12,9,4,1,2)0)30,27574,33773)(hwcs (hf (hr 3,13,3,3,-1)(hr 3,14,3,1,3)(hr 0,0,0,0,0)0)-281,21459,39014)(hwcs (hf (hr 9,15,3,3,-1)(hr 9,16,3,1,3)(hr 0,0,0,0,0)0)-509,47259,32352)(hwcs (hf (hr 3,14,11,6,-1)(hr 3,16,11,2,3)(hr 0,0,0,0,0)0)-3404,9342,39710)(hwcs (hf (hr 9,17,6,2,-1)(hr 11,17,2,2,3)(hr 0,0,0,0,0)0)0,29418,27895)(hwcs (hf (hr 5,17,6,2,-1)(hr 7,17,2,2,3)(hr 0,0,0,0,0)0)-6,27826,32492)(hwcs (hf (hr 10,1,3,3,-1)(hr 11,1,1,3,3)(hr 0,0,0,0,0)0)222,35543,23832)(hwcs (hf (hr 7,1,3,3,-1)(hr 8,1,1,3,3)(hr 0,0,0,0,0)0)-150,16703,43172)(hwcs (hf (hr 9,5,6,4,-1)(hr 9,5,3,4,2)(hr 0,0,0,0,0)0)64,25052,20167)(hwcs (hf (hr 6,6,5,14,-1)(hr 6,13,5,7,2)(hr 0,0,0,0,0)0)-7803,6775,36403)(hwcs (hf (hr 7,7,6,5,-1)(hr 9,7,2,5,3)(hr 0,0,0,0,0)0)2059,30686,35212)(hwcs (hf (hr 8,1,3,3,-1)(hr 9,1,1,3,3)(hr 0,0,0,0,0)0)-410,11791,33391)(hwcs (hf (hr 10,8,6,9,-1)(hr 10,8,3,9,2)(hr 0,0,0,0,0)0)134,36887,31468)(hwcs (hf (hr 5,9,10,6,-1)(hr 5,9,5,3,2)(hr 10,12,5,3,2)0)-2089,11421,22718)(hwcs (hf (hr 9,8,4,2,-1)(hr 9,9,4,1,2)(hr 0,0,0,0,0)0)-31,34905,41568)(hwcs (hf (hr 8,12,4,8,-1)(hr 8,12,2,4,2)(hr 10,16,2,4,2)0)-337,22501,12243)(hwcs (hf (hr 9,10,3,3,-1)(hr 9,11,3,1,3)(hr 0,0,0,0,0)0)386,40824,32347)(hwcs (hf (hr 7,8,4,2,-1)(hr 7,9,4,1,2)(hr 0,0,0,0,0)0)-6,32820,39479)(hwcs (hf (hr 16,0,4,9,-1)(hr 16,0,2,9,2)(hr 0,0,0,0,0)0)593,29559,33698)(hwcs (hf (hr 0,0,4,9,-1)(hr 2,0,2,9,2)(hr 0,0,0,0,0)0)370,30834,27393)(hwcs (hf (hr 9,7,6,9,-1)(hr 11,7,2,9,3)(hr 0,0,0,0,0)0)-269,38075,39811)(hwcs (hf (hr 1,2,18,2,-1)(hr 1,2,9,1,2)(hr 10,3,9,1,2)0)-189,22174,37335)(hwcs (hf (hr 9,0,6,16,-1)(hr 11,0,2,16,3)(hr 0,0,0,0,0)0)-5949,9848,49634)(hwcs (hf (hr 2,9,2,3,-1)(hr 2,10,2,1,3)(hr 0,0,0,0,0)0)-92,22222,32932)(hwcs (hf (hr 11,8,4,12,-1)(hr 11,8,2,12,2)(hr 0,0,0,0,0)0)3781,34061,6379)(hwcs (hf (hr 6,3,3,1,-1)(hr 7,3,1,1,3)(hr 0,0,0,0,0)0)-29,23916,36826)(hwcs (hf (hr 8,13,5,3,-1)(hr 8,14,5,1,3)(hr 0,0,0,0,0)0)330,41474,32349)(hwcs (hf (hr 3,12,5,3,-1)(hr 3,13,5,1,3)(hr 0,0,0,0,0)0)-806,9105,33370)(hwcs (hf (hr 11,10,2,2,-1)(hr 12,10,1,1,2)(hr 11,11,1,1,2)0)62,39559,15198)(hwcs (hf (hr 8,4,4,8,-1)(hr 10,4,2,8,2)(hr 0,0,0,0,0)0)-1459,42958,8690)(hwcs (hf (hr 10,4,6,4,-1)(hr 12,4,2,4,3)(hr 0,0,0,0,0)0)1280,33960,41407)(hwcs (hf (hr 3,5,10,8,-1)(hr 3,9,10,4,2)(hr 0,0,0,0,0)0)-97,19127,36840)(hwcs (hf (hr 12,7,2,2,-1)(hr 13,7,1,1,2)(hr 12,8,1,1,2)0)-73,31547,33973)(hwcs (hf (hr 5,1,6,15,-1)(hr 7,1,2,15,3)(hr 0,0,0,0,0)0)-5756,7732,32688)(hwcs (hf (hr 17,5,2,2,-1)(hr 17,6,2,1,2)(hr 0,0,0,0,0)0)-150,34995,32986)(hwcs (hf (hr 1,5,2,2,-1)(hr 1,6,2,1,2)(hr 0,0,0,0,0)0)-89,19679,30101)(hwcs (hf (hr 3,12,14,4,-1)(hr 10,12,7,2,2)(hr 3,14,7,2,2)0)-1181,34808,30992)(hwcs (hf (hr 1,13,3,3,-1)(hr 1,14,3,1,3)(hr 0,0,0,0,0)0)-60,24001,35140)2139562)(hcs 63 (hwcs (hf (hr 7,7,6,1,-1)(hr 9,7,2,1,3)(hr 0,0,0,0,0)0)163,22428,50485)(hwcs (hf (hr 9,3,2,14,-1)(hr 9,10,2,7,2)(hr 0,0,0,0,0)0)-51,21340,22325)(hwcs (hf (hr 4,18,12,2,-1)(hr 8,18,4,2,3)(hr 0,0,0,0,0)0)298,28223,46855)(hwcs (hf (hr 9,9,2,2,-1)(hr 9,10,2,1,2)(hr 0,0,0,0,0)0)-29,21600,38309)(hwcs (hf (hr 3,4,9,1,-1)(hr 6,4,3,1,3)(hr 0,0,0,0,0)0)0,26751,27545)(hwcs (hf (hr 11,15,2,4,-1)(hr 11,17,2,2,2)(hr 0,0,0,0,0)0)12,25837,15034)(hwcs (hf (hr 6,6,1,6,-1)(hr 6,9,1,3,2)(hr 0,0,0,0,0)0)54,19831,39532)(hwcs (hf (hr 8,13,4,3,-1)(hr 8,14,4,1,3)(hr 0,0,0,0,0)0)525,47882,23588)(hwcs (hf (hr 5,11,6,1,-1)(hr 7,11,2,1,3)(hr 0,0,0,0,0)0)-4,22896,17996)(hwcs (hf (hr 14,2,6,3,-1)(hr 14,3,6,1,3)(hr 0,0,0,0,0)0)711,34617,29635)(hwcs (hf (hr 8,1,4,6,-1)(hr 8,3,4,2,3)(hr 0,0,0,0,0)0)11,21671,9535)(hwcs (hf (hr 12,5,5,3,-1)(hr 12,6,5,1,3)(hr 0,0,0,0,0)0)-556,31550,23355)(hwcs (hf (hr 3,5,5,3,-1)(hr 3,6,5,1,3)(hr 0,0,0,0,0)0)326,45598,33101)(hwcs (hf (hr 9,12,3,2,-1)(hr 9,13,3,1,2)(hr 0,0,0,0,0)0)28,39443,31162)(hwcs (hf (hr 0,2,6,3,-1)(hr 0,3,6,1,3)(hr 0,0,0,0,0)0)-421,14958,26480)(hwcs (hf (hr 8,13,4,6,-1)(hr 10,13,2,3,2)(hr 8,16,2,3,2)0)894,34522,44525)(hwcs (hf (hr 3,12,14,4,-1)(hr 3,12,7,2,2)(hr 10,14,7,2,2)0)2395,5795,26350)(hwcs (hf (hr 8,13,4,6,-1)(hr 10,13,2,3,2)(hr 8,16,2,3,2)0)894,34521,31496)(hwcs (hf (hr 8,13,4,6,-1)(hr 8,13,2,3,2)(hr 10,16,2,3,2)0)-894,11303,29358)(hwcs (hf (hr 10,15,2,3,-1)(hr 10,16,2,1,3)(hr 0,0,0,0,0)0)64,38981,31812)(hwcs (hf (hr 9,0,2,2,-1)(hr 9,1,2,1,2)(hr 0,0,0,0,0)0)-14,20864,20217)(hwcs (hf (hr 10,14,2,3,-1)(hr 10,15,2,1,3)(hr 0,0,0,0,0)0)-223,40077,32451)(hwcs (hf (hr 0,3,16,6,-1)(hr 0,6,16,3,2)(hr 0,0,0,0,0)0)-378,24603,26971)(hwcs (hf (hr 9,7,2,3,-1)(hr 9,8,2,1,3)(hr 0,0,0,0,0)0)-539,6265,34737)(hwcs (hf (hr 9,7,2,2,-1)(hr 10,7,1,2,2)(hr 0,0,0,0,0)0)-177,42479,33491)(hwcs (hf (hr 9,7,3,6,-1)(hr 10,7,1,6,3)(hr 0,0,0,0,0)0)713,31466,35584)(hwcs (hf (hr 8,7,3,6,-1)(hr 9,7,1,6,3)(hr 0,0,0,0,0)0)-658,48033,35106)(hwcs (hf (hr 8,6,8,3,-1)(hr 8,6,4,3,2)(hr 0,0,0,0,0)0)-38,23953,24751)(hwcs (hf (hr 4,6,12,3,-1)(hr 10,6,6,3,2)(hr 0,0,0,0,0)0)-459,26471,45550)(hwcs (hf (hr 0,10,20,2,-1)(hr 10,10,10,1,2)(hr 0,11,10,1,2)0)-1069,34712,38290)(hwcs (hf (hr 0,5,3,4,-1)(hr 1,5,1,4,3)(hr 0,0,0,0,0)0)169,39925,44051)(hwcs (hf (hr 1,8,19,3,-1)(hr 1,9,19,1,3)(hr 0,0,0,0,0)0)-94,23495,35200)(hwcs (hf (hr 0,4,20,10,-1)(hr 0,4,10,5,2)(hr 10,9,10,5,2)0)8048,10142,35611)(hwcs (hf (hr 8,6,6,6,-1)(hr 10,6,2,6,3)(hr 0,0,0,0,0)0)-1404,31850,12012)(hwcs (hf (hr 7,13,6,3,-1)(hr 7,14,6,1,3)(hr 0,0,0,0,0)0)-850,46191,27332)(hwcs (hf (hr 13,13,6,2,-1)(hr 13,14,6,1,2)(hr 0,0,0,0,0)0)-640,34785,36191)(hwcs (hf (hr 1,13,6,2,-1)(hr 1,14,6,1,2)(hr 0,0,0,0,0)0)96,19940,34991)(hwcs (hf (hr 17,4,3,5,-1)(hr 18,4,1,5,3)(hr 0,0,0,0,0)0)-405,42009,36836)(hwcs (hf (hr 6,8,6,5,-1)(hr 8,8,2,5,3)(hr 0,0,0,0,0)0)1718,42241,13124)(hwcs (hf (hr 9,1,3,6,-1)(hr 10,1,1,6,3)(hr 0,0,0,0,0)0)-501,34492,38495)(hwcs (hf (hr 8,1,3,6,-1)(hr 9,1,1,6,3)(hr 0,0,0,0,0)0)907,10263,27985)(hwcs (hf (hr 12,4,3,3,-1)(hr 12,5,3,1,3)(hr 0,0,0,0,0)0)-206,40736,36547)(hwcs (hf (hr 0,2,20,6,-1)(hr 0,2,10,3,2)(hr 10,5,10,3,2)0)-4828,10070,41577)(hwcs (hf (hr 2,10,16,4,-1)(hr 10,10,8,2,2)(hr 2,12,8,2,2)0)519,35769,35400)(hwcs (hf (hr 1,10,16,6,-1)(hr 1,10,8,3,2)(hr 9,13,8,3,2)0)363,23302,38251)(hwcs (hf (hr 11,16,9,4,-1)(hr 14,16,3,4,3)(hr 0,0,0,0,0)0)-1206,38406,29484)(hwcs (hf (hr 0,16,9,4,-1)(hr 3,16,3,4,3)(hr 0,0,0,0,0)0)-499,26876,43918)(hwcs (hf (hr 9,0,2,1,-1)(hr 9,0,1,1,2)(hr 0,0,0,0,0)0)-62,35331,36071)(hwcs (hf (hr 2,15,1,2,-1)(hr 2,16,1,1,2)(hr 0,0,0,0,0)0)10,23546,26438)(hwcs (hf (hr 7,8,6,2,-1)(hr 7,9,6,1,2)(hr 0,0,0,0,0)0)4,35470,32407)(hwcs (hf (hr 5,6,2,2,-1)(hr 5,7,2,1,2)(hr 0,0,0,0,0)0)55,38071,31109)(hwcs (hf (hr 12,13,5,6,-1)(hr 12,15,5,2,3)(hr 0,0,0,0,0)0)1500,15823,34050)(hwcs (hf (hr 5,1,6,6,-1)(hr 7,1,2,6,3)(hr 0,0,0,0,0)0)2456,11892,27827)(hwcs (hf (hr 1,19,18,1,-1)(hr 7,19,6,1,3)(hr 0,0,0,0,0)0)-338,40260,34115)(hwcs (hf (hr 0,5,15,10,-1)(hr 0,10,15,5,2)(hr 0,0,0,0,0)0)-236,20857,37424)(hwcs (hf (hr 14,11,2,2,-1)(hr 14,12,2,1,2)(hr 0,0,0,0,0)0)-462,33835,17473)(hwcs (hf (hr 4,11,2,2,-1)(hr 4,12,2,1,2)(hr 0,0,0,0,0)0)0,26094,21776)(hwcs (hf (hr 9,10,2,3,-1)(hr 9,11,2,1,3)(hr 0,0,0,0,0)0)312,43493,36081)(hwcs (hf (hr 1,9,4,10,-1)(hr 1,9,2,5,2)(hr 3,14,2,5,2)0)355,39059,35190)(hwcs (hf (hr 9,1,4,2,-1)(hr 11,1,2,1,2)(hr 9,2,2,1,2)0)-51,26893,33931)(hwcs (hf (hr 7,0,2,3,-1)(hr 7,1,2,1,3)(hr 0,0,0,0,0)0)-336,15419,11198)(hwcs (hf (hr 9,6,6,4,-1)(hr 11,6,2,4,3)(hr 0,0,0,0,0)0)-155,38250,33537)(hwcs (hf (hr 6,10,4,3,-1)(hr 8,10,2,3,2)(hr 0,0,0,0,0)0)-35,33480,31296)2010128)(hcs 71 (hwcs (hf (hr 0,4,8,1,-1)(hr 4,4,4,1,2)(hr 0,0,0,0,0)0)196,21952,29611)(hwcs (hf (hr 0,7,20,6,-1)(hr 0,9,20,2,3)(hr 0,0,0,0,0)0)734,19338,37152)(hwcs (hf (hr 8,15,1,4,-1)(hr 8,17,1,2,2)(hr 0,0,0,0,0)0)7,26808,45557)(hwcs (hf (hr 6,2,8,12,-1)(hr 6,6,8,4,3)(hr 0,0,0,0,0)0)-361,20759,21736)(hwcs (hf (hr 7,0,6,1,-1)(hr 9,0,2,1,3)(hr 0,0,0,0,0)0)-278,17043,49049)(hwcs (hf (hr 12,11,3,6,-1)(hr 12,14,3,3,2)(hr 0,0,0,0,0)0)42,25899,38536)(hwcs (hf (hr 5,7,10,12,-1)(hr 5,7,5,6,2)(hr 10,13,5,6,2)0)-2823,15957,20942)(hwcs (hf (hr 9,7,2,3,-1)(hr 9,7,1,3,2)(hr 0,0,0,0,0)0)-297,31754,24911)(hwcs (hf (hr 4,7,2,2,-1)(hr 5,7,1,2,2)(hr 0,0,0,0,0)0)-20,28549,17124)(hwcs (hf (hr 10,7,3,4,-1)(hr 11,7,1,4,3)(hr 0,0,0,0,0)0)-85,38941,32410)(hwcs (hf (hr 9,1,1,3,-1)(hr 9,2,1,1,3)(hr 0,0,0,0,0)0)-144,14512,23599)(hwcs (hf (hr 10,15,3,3,-1)(hr 10,16,3,1,3)(hr 0,0,0,0,0)0)92,37857,45445)(hwcs (hf (hr 3,2,6,10,-1)(hr 3,2,3,5,2)(hr 6,7,3,5,2)0)194,21080,25968)(hwcs (hf (hr 9,14,3,3,-1)(hr 9,15,3,1,3)(hr 0,0,0,0,0)0)662,49593,42752)(hwcs (hf (hr 9,13,2,6,-1)(hr 9,16,2,3,2)(hr 0,0,0,0,0)0)-462,16638,28752)(hwcs (hf (hr 12,11,3,6,-1)(hr 12,14,3,3,2)(hr 0,0,0,0,0)0)-1953,34086,30460)(hwcs (hf (hr 5,11,3,6,-1)(hr 5,14,3,3,2)(hr 0,0,0,0,0)0)62,19929,29614)(hwcs (hf (hr 11,13,7,6,-1)(hr 11,15,7,2,3)(hr 0,0,0,0,0)0)-2044,18277,30792)(hwcs (hf (hr 3,13,14,4,-1)(hr 3,13,7,2,2)(hr 10,15,7,2,2)0)1680,11830,21024)(hwcs (hf (hr 8,15,4,3,-1)(hr 8,16,4,1,3)(hr 0,0,0,0,0)0)210,42185,37202)(hwcs (hf (hr 7,7,6,2,-1)(hr 7,8,6,1,2)(hr 0,0,0,0,0)0)-40,20461,19432)(hwcs (hf (hr 9,8,3,4,-1)(hr 9,10,3,2,2)(hr 0,0,0,0,0)0)-60,35813,30267)(hwcs (hf (hr 7,7,3,4,-1)(hr 8,7,1,4,3)(hr 0,0,0,0,0)0)-45,35591,35609)(hwcs (hf (hr 12,3,3,4,-1)(hr 13,3,1,4,3)(hr 0,0,0,0,0)0)-488,34508,31832)(hwcs (hf (hr 5,3,3,4,-1)(hr 6,3,1,4,3)(hr 0,0,0,0,0)0)246,18560,25997)(hwcs (hf (hr 12,5,3,3,-1)(hr 12,6,3,1,3)(hr 0,0,0,0,0)0)361,44463,25601)(hwcs (hf (hr 3,2,14,2,-1)(hr 3,2,7,1,2)(hr 10,3,7,1,2)0)107,23856,38205)(hwcs (hf (hr 8,0,12,5,-1)(hr 8,0,6,5,2)(hr 0,0,0,0,0)0)1446,30190,21374)(hwcs (hf (hr 0,0,10,5,-1)(hr 5,0,5,5,2)(hr 0,0,0,0,0)0)-851,46020,18811)(hwcs (hf (hr 12,5,3,3,-1)(hr 12,6,3,1,3)(hr 0,0,0,0,0)0)-346,30864,30856)(hwcs (hf (hr 2,15,4,3,-1)(hr 2,16,4,1,3)(hr 0,0,0,0,0)0)-299,20409,12133)(hwcs (hf (hr 11,6,2,2,-1)(hr 12,6,1,1,2)(hr 11,7,1,1,2)0)-182,32357,40323)(hwcs (hf (hr 7,6,2,2,-1)(hr 7,6,1,1,2)(hr 8,7,1,1,2)0)76,42667,26793)(hwcs (hf (hr 11,4,3,3,-1)(hr 12,4,1,3,3)(hr 0,0,0,0,0)0)252,19830,34291)(hwcs (hf (hr 4,5,5,3,-1)(hr 4,6,5,1,3)(hr 0,0,0,0,0)0)240,42129,28369)(hwcs (hf (hr 11,4,3,3,-1)(hr 12,4,1,3,3)(hr 0,0,0,0,0)0)-423,34433,16324)(hwcs (hf (hr 6,4,3,3,-1)(hr 7,4,1,3,3)(hr 0,0,0,0,0)0)65,21822,23582)(hwcs (hf (hr 9,7,2,3,-1)(hr 9,7,1,3,2)(hr 0,0,0,0,0)0)283,31579,34513)(hwcs (hf (hr 8,10,2,9,-1)(hr 8,13,2,3,3)(hr 0,0,0,0,0)0)19,26183,21157)(hwcs (hf (hr 9,15,2,3,-1)(hr 9,16,2,1,3)(hr 0,0,0,0,0)0)-665,52599,25399)(hwcs (hf (hr 1,14,6,6,-1)(hr 1,14,3,3,2)(hr 4,17,3,3,2)0)-593,28652,7382)(hwcs (hf (hr 12,9,4,3,-1)(hr 12,9,2,3,2)(hr 0,0,0,0,0)0)171,35546,32632)(hwcs (hf (hr 4,9,4,3,-1)(hr 6,9,2,3,2)(hr 0,0,0,0,0)0)186,22879,27492)(hwcs (hf (hr 9,7,3,2,-1)(hr 10,7,1,2,3)(hr 0,0,0,0,0)0)536,32020,35680)(hwcs (hf (hr 8,7,3,2,-1)(hr 9,7,1,2,3)(hr 0,0,0,0,0)0)-147,43907,29350)(hwcs (hf (hr 3,16,14,4,-1)(hr 10,16,7,2,2)(hr 3,18,7,2,2)0)-435,36122,26328)(hwcs (hf (hr 8,7,3,3,-1)(hr 8,8,3,1,3)(hr 0,0,0,0,0)0)426,15036,33933)(hwcs (hf (hr 5,5,10,12,-1)(hr 10,5,5,6,2)(hr 5,11,5,6,2)0)463,36468,23774)(hwcs (hf (hr 8,11,4,3,-1)(hr 8,12,4,1,3)(hr 0,0,0,0,0)0)490,44465,27009)(hwcs (hf (hr 13,13,5,6,-1)(hr 13,15,5,2,3)(hr 0,0,0,0,0)0)-454,35781,34581)(hwcs (hf (hr 2,13,5,6,-1)(hr 2,15,5,2,3)(hr 0,0,0,0,0)0)2366,4750,30319)(hwcs (hf (hr 9,19,3,1,-1)(hr 10,19,1,1,3)(hr 0,0,0,0,0)0)227,34135,35942)(hwcs (hf (hr 0,3,1,6,-1)(hr 0,5,1,2,3)(hr 0,0,0,0,0)0)268,18222,35414)(hwcs (hf (hr 17,2,3,7,-1)(hr 18,2,1,7,3)(hr 0,0,0,0,0)0)-370,31446,24687)(hwcs (hf (hr 0,2,3,7,-1)(hr 1,2,1,7,3)(hr 0,0,0,0,0)0)142,40679,22006)(hwcs (hf (hr 13,0,1,4,-1)(hr 13,2,1,2,2)(hr 0,0,0,0,0)0)-34,35026,33814)(hwcs (hf (hr 6,0,1,4,-1)(hr 6,2,1,2,2)(hr 0,0,0,0,0)0)-3,33574,39437)(hwcs (hf (hr 9,12,3,8,-1)(hr 10,12,1,8,3)(hr 0,0,0,0,0)0)-844,17775,35667)(hwcs (hf (hr 7,14,6,3,-1)(hr 7,15,6,1,3)(hr 0,0,0,0,0)0)-807,31038,48833)(hwcs (hf (hr 0,12,20,6,-1)(hr 0,14,20,2,3)(hr 0,0,0,0,0)0)-5693,15009,36162)(hwcs (hf (hr 8,12,3,8,-1)(hr 9,12,1,8,3)(hr 0,0,0,0,0)0)-1144,5909,40852)(hwcs (hf (hr 5,5,12,10,-1)(hr 11,5,6,5,2)(hr 5,10,6,5,2)0)69,35977,36567)(hwcs (hf (hr 5,4,9,12,-1)(hr 5,10,9,6,2)(hr 0,0,0,0,0)0)-592,23456,36789)(hwcs (hf (hr 8,4,5,16,-1)(hr 8,12,5,8,2)(hr 0,0,0,0,0)0)186,25569,29678)(hwcs (hf (hr 7,13,2,2,-1)(hr 7,13,1,1,2)(hr 8,14,1,1,2)0)2,38031,21868)(hwcs (hf (hr 18,0,2,14,-1)(hr 18,0,1,14,2)(hr 0,0,0,0,0)0)-367,40139,5719)(hwcs (hf (hr 1,18,1,2,-1)(hr 1,19,1,1,2)(hr 0,0,0,0,0)0)-2,25790,38789)(hwcs (hf (hr 9,7,2,1,-1)(hr 9,7,1,1,2)(hr 0,0,0,0,0)0)104,31716,31374)(hwcs (hf (hr 3,1,2,2,-1)(hr 4,1,1,2,2)(hr 0,0,0,0,0)0)0,27729,28013)(hwcs (hf (hr 12,10,3,4,-1)(hr 12,12,3,2,2)(hr 0,0,0,0,0)0)36,27996,29472)(hwcs (hf (hr 8,8,3,4,-1)(hr 8,10,3,2,2)(hr 0,0,0,0,0)0)-33,35895,18893)2272597)(hcs 75 (hwcs (hf (hr 0,2,10,3,-1)(hr 5,2,5,3,2)(hr 0,0,0,0,0)0)858,21881,20311)(hwcs (hf (hr 7,6,6,3,-1)(hr 9,6,2,3,3)(hr 0,0,0,0,0)0)1431,28633,28191)(hwcs (hf (hr 5,7,3,6,-1)(hr 5,9,3,2,3)(hr 0,0,0,0,0)0)105,22199,40951)(hwcs (hf (hr 9,17,6,2,-1)(hr 12,17,3,1,2)(hr 9,18,3,1,2)0)11,25352,28897)(hwcs (hf (hr 4,2,4,2,-1)(hr 4,3,4,1,2)(hr 0,0,0,0,0)0)-80,21365,26944)(hwcs (hf (hr 15,13,1,6,-1)(hr 15,16,1,3,2)(hr 0,0,0,0,0)0)-1,27980,28222)(hwcs (hf (hr 4,11,5,6,-1)(hr 4,14,5,3,2)(hr 0,0,0,0,0)0)-5,24046,30216)(hwcs (hf (hr 0,6,20,2,-1)(hr 0,6,10,2,2)(hr 0,0,0,0,0)0)-3427,34922,34165)(hwcs (hf (hr 4,0,2,12,-1)(hr 4,0,1,6,2)(hr 5,6,1,6,2)0)-15,23386,22548)(hwcs (hf (hr 13,7,2,1,-1)(hr 13,7,1,1,2)(hr 0,0,0,0,0)0)-17,29892,34874)(hwcs (hf (hr 1,10,18,2,-1)(hr 1,10,9,1,2)(hr 10,11,9,1,2)0)1024,13299,36457)(hwcs (hf (hr 8,14,4,3,-1)(hr 8,15,4,1,3)(hr 0,0,0,0,0)0)-245,39729,38998)(hwcs (hf (hr 8,14,4,3,-1)(hr 8,15,4,1,3)(hr 0,0,0,0,0)0)152,42175,23073)(hwcs (hf (hr 15,14,5,3,-1)(hr 15,15,5,1,3)(hr 0,0,0,0,0)0)489,34908,22885)(hwcs (hf (hr 0,14,6,3,-1)(hr 0,15,6,1,3)(hr 0,0,0,0,0)0)-544,13657,25986)(hwcs (hf (hr 0,6,20,1,-1)(hr 0,6,10,1,2)(hr 0,0,0,0,0)0)-2110,34776,35719)(hwcs (hf (hr 8,12,4,2,-1)(hr 8,13,4,1,2)(hr 0,0,0,0,0)0)148,39115,31182)(hwcs (hf (hr 13,7,2,1,-1)(hr 13,7,1,1,2)(hr 0,0,0,0,0)0)-38,31770,35561)(hwcs (hf (hr 5,7,2,1,-1)(hr 6,7,1,1,2)(hr 0,0,0,0,0)0)-4,28098,41583)(hwcs (hf (hr 9,7,2,2,-1)(hr 9,7,1,2,2)(hr 0,0,0,0,0)0)-242,31779,27173)(hwcs (hf (hr 2,1,10,3,-1)(hr 2,2,10,1,3)(hr 0,0,0,0,0)0)-677,18855,33435)(hwcs (hf (hr 9,17,3,2,-1)(hr 10,17,1,2,3)(hr 0,0,0,0,0)0)-255,34577,43374)(hwcs (hf (hr 8,17,3,2,-1)(hr 9,17,1,2,3)(hr 0,0,0,0,0)0)295,12282,30257)(hwcs (hf (hr 16,3,4,6,-1)(hr 16,5,4,2,3)(hr 0,0,0,0,0)0)-1209,19673,29896)(hwcs (hf (hr 1,4,18,10,-1)(hr 1,4,9,5,2)(hr 10,9,9,5,2)0)-5637,15346,37173)(hwcs (hf (hr 12,5,3,2,-1)(hr 12,6,3,1,2)(hr 0,0,0,0,0)0)83,40681,35356)(hwcs (hf (hr 5,5,3,2,-1)(hr 5,6,3,1,2)(hr 0,0,0,0,0)0)217,46279,20090)(hwcs (hf (hr 14,4,6,6,-1)(hr 14,6,6,2,3)(hr 0,0,0,0,0)0)-4685,34033,30424)(hwcs (hf (hr 0,4,6,6,-1)(hr 0,6,6,2,3)(hr 0,0,0,0,0)0)409,19331,30054)(hwcs (hf (hr 12,0,8,5,-1)(hr 12,0,4,5,2)(hr 0,0,0,0,0)0)729,28559,29894)(hwcs (hf (hr 1,0,18,20,-1)(hr 7,0,6,20,3)(hr 0,0,0,0,0)0)-1831,42841,22771)(hwcs (hf (hr 0,6,20,1,-1)(hr 0,6,10,1,2)(hr 0,0,0,0,0)0)-801,24455,37468)(hwcs (hf (hr 1,1,16,4,-1)(hr 1,1,8,2,2)(hr 9,3,8,2,2)0)-255,26584,40462)(hwcs (hf (hr 7,4,9,3,-1)(hr 7,5,9,1,3)(hr 0,0,0,0,0)0)538,40499,14978)(hwcs (hf (hr 3,12,2,3,-1)(hr 3,13,2,1,3)(hr 0,0,0,0,0)0)-351,11697,47591)(hwcs (hf (hr 13,9,2,3,-1)(hr 13,9,1,3,2)(hr 0,0,0,0,0)0)355,34426,35685)(hwcs (hf (hr 5,6,2,3,-1)(hr 5,7,2,1,3)(hr 0,0,0,0,0)0)271,45965,32544)(hwcs (hf (hr 15,11,4,3,-1)(hr 15,12,4,1,3)(hr 0,0,0,0,0)0)307,35144,42572)(hwcs (hf (hr 1,11,4,3,-1)(hr 1,12,4,1,3)(hr 0,0,0,0,0)0)-411,15359,30278)(hwcs (hf (hr 10,9,6,7,-1)(hr 10,9,3,7,2)(hr 0,0,0,0,0)0)-3251,13767,30287)(hwcs (hf (hr 4,9,6,7,-1)(hr 7,9,3,7,2)(hr 0,0,0,0,0)0)-2964,13882,32011)(hwcs (hf (hr 0,2,20,2,-1)(hr 10,2,10,1,2)(hr 0,3,10,1,2)0)-972,34570,27343)(hwcs (hf (hr 0,2,20,2,-1)(hr 0,2,10,1,2)(hr 10,3,10,1,2)0)972,13925,36013)(hwcs (hf (hr 13,4,1,10,-1)(hr 13,9,1,5,2)(hr 0,0,0,0,0)0)50,21770,14502)(hwcs (hf (hr 2,11,16,4,-1)(hr 2,11,8,2,2)(hr 10,13,8,2,2)0)-2630,7220,24969)(hwcs (hf (hr 9,10,2,3,-1)(hr 9,11,2,1,3)(hr 0,0,0,0,0)0)48,37978,41892)(hwcs (hf (hr 0,10,20,2,-1)(hr 0,11,20,1,2)(hr 0,0,0,0,0)0)237,22347,23981)(hwcs (hf (hr 12,0,8,8,-1)(hr 16,0,4,4,2)(hr 12,4,4,4,2)0)2168,46991,41856)(hwcs (hf (hr 6,3,2,14,-1)(hr 6,10,2,7,2)(hr 0,0,0,0,0)0)-486,21388,37799)(hwcs (hf (hr 5,0,15,5,-1)(hr 10,0,5,5,3)(hr 0,0,0,0,0)0)1188,30787,29080)(hwcs (hf (hr 1,0,18,3,-1)(hr 7,0,6,3,3)(hr 0,0,0,0,0)0)-869,42981,22127)(hwcs (hf (hr 10,0,3,3,-1)(hr 11,0,1,3,3)(hr 0,0,0,0,0)0)-234,19319,36418)(hwcs (hf (hr 1,3,4,16,-1)(hr 1,3,2,8,2)(hr 3,11,2,8,2)0)-3157,48092,23225)(hwcs (hf (hr 9,13,2,6,-1)(hr 9,16,2,3,2)(hr 0,0,0,0,0)0)-968,12743,6491)(hwcs (hf (hr 7,7,3,2,-1)(hr 8,7,1,2,3)(hr 0,0,0,0,0)0)-61,38188,22553)(hwcs (hf (hr 4,10,12,6,-1)(hr 10,10,6,3,2)(hr 4,13,6,3,2)0)-2862,34131,31689)(hwcs (hf (hr 4,10,12,6,-1)(hr 4,10,6,3,2)(hr 10,13,6,3,2)0)2862,8942,29735)(hwcs (hf (hr 8,6,6,7,-1)(hr 10,6,2,7,3)(hr 0,0,0,0,0)0)-2225,32560,38218)(hwcs (hf (hr 6,6,6,7,-1)(hr 8,6,2,7,3)(hr 0,0,0,0,0)0)3558,49599,28378)(hwcs (hf (hr 12,9,2,3,-1)(hr 12,9,1,3,2)(hr 0,0,0,0,0)0)0,29119,34566)(hwcs (hf (hr 5,7,10,2,-1)(hr 10,7,5,2,2)(hr 0,0,0,0,0)0)709,23473,38912)(hwcs (hf (hr 12,4,3,3,-1)(hr 12,5,3,1,3)(hr 0,0,0,0,0)0)149,39023,31406)(hwcs (hf (hr 3,9,14,8,-1)(hr 3,9,7,4,2)(hr 10,13,7,4,2)0)533,23419,26384)(hwcs (hf (hr 12,4,3,3,-1)(hr 12,5,3,1,3)(hr 0,0,0,0,0)0)-549,32645,31041)(hwcs (hf (hr 5,4,3,3,-1)(hr 5,5,3,1,3)(hr 0,0,0,0,0)0)211,40418,27075)(hwcs (hf (hr 13,16,2,3,-1)(hr 13,17,2,1,3)(hr 0,0,0,0,0)0)-218,22586,6806)(hwcs (hf (hr 3,14,3,3,-1)(hr 3,15,3,1,3)(hr 0,0,0,0,0)0)418,14204,44160)(hwcs (hf (hr 12,9,2,3,-1)(hr 12,9,1,3,2)(hr 0,0,0,0,0)0)-535,33933,31586)(hwcs (hf (hr 6,9,2,3,-1)(hr 7,9,1,3,2)(hr 0,0,0,0,0)0)66,22436,29415)(hwcs (hf (hr 11,4,2,4,-1)(hr 11,4,1,4,2)(hr 0,0,0,0,0)0)8,36496,33823)(hwcs (hf (hr 7,4,2,4,-1)(hr 8,4,1,4,2)(hr 0,0,0,0,0)0)1,32218,41973)(hwcs (hf (hr 19,6,1,2,-1)(hr 19,7,1,1,2)(hr 0,0,0,0,0)0)-12,35777,30904)(hwcs (hf (hr 0,6,1,2,-1)(hr 0,7,1,1,2)(hr 0,0,0,0,0)0)51,21494,28193)(hwcs (hf (hr 11,8,2,2,-1)(hr 11,9,2,1,2)(hr 0,0,0,0,0)0)7,35305,32908)(hwcs (hf (hr 4,13,2,3,-1)(hr 4,14,2,1,3)(hr 0,0,0,0,0)0)62,22763,42438)2406908)(hcs 78 (hwcs (hf (hr 1,0,18,5,-1)(hr 7,0,6,5,3)(hr 0,0,0,0,0)0)2702,22238,33450)(hwcs (hf (hr 10,6,2,2,-1)(hr 10,6,1,2,2)(hr 0,0,0,0,0)0)19,24016,35426)(hwcs (hf (hr 5,16,6,4,-1)(hr 5,16,3,2,2)(hr 8,18,3,2,2)0)44,27862,27100)(hwcs (hf (hr 8,5,5,14,-1)(hr 8,12,5,7,2)(hr 0,0,0,0,0)0)207,22648,14642)(hwcs (hf (hr 7,5,3,7,-1)(hr 8,5,1,7,3)(hr 0,0,0,0,0)0)-30,27567,42617)(hwcs (hf (hr 8,6,8,8,-1)(hr 12,6,4,4,2)(hr 8,10,4,4,2)0)-157,24073,19046)(hwcs (hf (hr 4,3,6,1,-1)(hr 6,3,2,1,3)(hr 0,0,0,0,0)0)-10,27744,25469)(hwcs (hf (hr 10,5,6,4,-1)(hr 12,5,2,4,3)(hr 0,0,0,0,0)0)-15,36205,32506)(hwcs (hf (hr 8,14,4,3,-1)(hr 8,15,4,1,3)(hr 0,0,0,0,0)0)-1005,44888,26458)(hwcs (hf (hr 10,3,6,7,-1)(hr 12,3,2,7,3)(hr 0,0,0,0,0)0)420,24999,36222)(hwcs (hf (hr 5,5,3,10,-1)(hr 5,10,3,5,2)(hr 0,0,0,0,0)0)72,23074,36974)(hwcs (hf (hr 17,2,2,12,-1)(hr 17,2,1,12,2)(hr 0,0,0,0,0)0)1063,32039,35758)(hwcs (hf (hr 3,11,12,9,-1)(hr 3,14,12,3,3)(hr 0,0,0,0,0)0)-5949,19170,30726)(hwcs (hf (hr 18,0,2,18,-1)(hr 18,0,1,18,2)(hr 0,0,0,0,0)0)-1526,45192,35099)(hwcs (hf (hr 0,2,2,15,-1)(hr 1,2,1,15,2)(hr 0,0,0,0,0)0)-282,38909,30858)(hwcs (hf (hr 11,1,2,18,-1)(hr 11,1,1,18,2)(hr 0,0,0,0,0)0)922,34649,34971)(hwcs (hf (hr 7,1,2,18,-1)(hr 8,1,1,18,2)(hr 0,0,0,0,0)0)-316,19555,36857)(hwcs (hf (hr 8,14,4,3,-1)(hr 8,15,4,1,3)(hr 0,0,0,0,0)0)481,44655,38390)(hwcs (hf (hr 0,13,5,2,-1)(hr 0,14,5,1,2)(hr 0,0,0,0,0)0)152,17988,33079)(hwcs (hf (hr 9,0,2,6,-1)(hr 10,0,1,3,2)(hr 9,3,1,3,2)0)426,34355,31612)(hwcs (hf (hr 9,0,2,6,-1)(hr 9,0,1,3,2)(hr 10,3,1,3,2)0)-415,11368,41644)(hwcs (hf (hr 9,6,2,6,-1)(hr 9,6,1,6,2)(hr 0,0,0,0,0)0)89,30017,33923)(hwcs (hf (hr 0,4,4,3,-1)(hr 0,5,4,1,3)(hr 0,0,0,0,0)0)-609,15322,25577)(hwcs (hf (hr 10,6,6,3,-1)(hr 12,6,2,3,3)(hr 0,0,0,0,0)0)-137,36123,35756)(hwcs (hf (hr 5,4,2,3,-1)(hr 5,5,2,1,3)(hr 0,0,0,0,0)0)356,40154,34846)(hwcs (hf (hr 9,17,3,2,-1)(hr 10,17,1,2,3)(hr 0,0,0,0,0)0)38,35693,34305)(hwcs (hf (hr 4,3,6,7,-1)(hr 6,3,2,7,3)(hr 0,0,0,0,0)0)368,32218,9643)(hwcs (hf (hr 9,17,3,2,-1)(hr 10,17,1,2,3)(hr 0,0,0,0,0)0)-298,18178,30319)(hwcs (hf (hr 8,17,3,2,-1)(hr 9,17,1,2,3)(hr 0,0,0,0,0)0)-405,10776,31316)(hwcs (hf (hr 0,1,20,2,-1)(hr 10,1,10,1,2)(hr 0,2,10,1,2)0)903,34454,36032)(hwcs (hf (hr 5,3,3,2,-1)(hr 5,4,3,1,2)(hr 0,0,0,0,0)0)-6,26434,27193)(hwcs (hf (hr 14,2,6,9,-1)(hr 14,5,6,3,3)(hr 0,0,0,0,0)0)73,25782,4810)(hwcs (hf (hr 2,2,16,4,-1)(hr 2,2,8,2,2)(hr 10,4,8,2,2)0)-998,24572,33280)(hwcs (hf (hr 14,9,6,10,-1)(hr 14,9,3,10,2)(hr 0,0,0,0,0)0)883,29803,21699)(hwcs (hf (hr 0,9,6,10,-1)(hr 3,9,3,10,2)(hr 0,0,0,0,0)0)-1171,42685,34503)(hwcs (hf (hr 9,12,2,3,-1)(hr 9,13,2,1,3)(hr 0,0,0,0,0)0)-200,41081,35384)(hwcs (hf (hr 3,2,6,2,-1)(hr 5,2,2,2,3)(hr 0,0,0,0,0)0)6,25137,21873)(hwcs (hf (hr 11,15,1,2,-1)(hr 11,16,1,1,2)(hr 0,0,0,0,0)0)28,37934,34570)(hwcs (hf (hr 3,6,2,2,-1)(hr 3,6,1,1,2)(hr 4,7,1,1,2)0)-60,38353,30987)(hwcs (hf (hr 10,11,4,6,-1)(hr 10,14,4,3,2)(hr 0,0,0,0,0)0)-38,27910,36764)(hwcs (hf (hr 0,9,6,11,-1)(hr 2,9,2,11,3)(hr 0,0,0,0,0)0)-9516,2876,27716)(hwcs (hf (hr 12,0,8,10,-1)(hr 16,0,4,5,2)(hr 12,5,4,5,2)0)-2287,31379,31459)(hwcs (hf (hr 0,0,8,10,-1)(hr 0,0,4,5,2)(hr 4,5,4,5,2)0)2165,46387,29161)(hwcs (hf (hr 4,9,15,2,-1)(hr 9,9,5,2,3)(hr 0,0,0,0,0)0)-296,27374,35212)(hwcs (hf (hr 9,2,2,9,-1)(hr 10,2,1,9,2)(hr 0,0,0,0,0)0)-574,43639,17353)(hwcs (hf (hr 16,1,4,5,-1)(hr 16,1,2,5,2)(hr 0,0,0,0,0)0)351,29809,33797)(hwcs (hf (hr 4,3,6,4,-1)(hr 6,3,2,4,3)(hr 0,0,0,0,0)0)-1819,15429,45139)(hwcs (hf (hr 6,2,12,14,-1)(hr 12,2,6,7,2)(hr 6,9,6,7,2)0)-210,35644,35724)(hwcs (hf (hr 5,12,2,2,-1)(hr 5,13,2,1,2)(hr 0,0,0,0,0)0)-340,13850,34561)(hwcs (hf (hr 4,9,15,2,-1)(hr 9,9,5,2,3)(hr 0,0,0,0,0)0)146,30724,36072)(hwcs (hf (hr 1,9,15,2,-1)(hr 6,9,5,2,3)(hr 0,0,0,0,0)0)-193,25512,39332)(hwcs (hf (hr 0,0,20,14,-1)(hr 0,7,20,7,2)(hr 0,0,0,0,0)0)40993,4464,31542)(hwcs (hf (hr 0,7,8,4,-1)(hr 4,7,4,4,2)(hr 0,0,0,0,0)0)6185,4366,23515)(hwcs (hf (hr 9,7,3,4,-1)(hr 10,7,1,4,3)(hr 0,0,0,0,0)0)594,31605,30607)(hwcs (hf (hr 8,9,3,2,-1)(hr 8,10,3,1,2)(hr 0,0,0,0,0)0)-28,35132,40221)(hwcs (hf (hr 5,8,12,3,-1)(hr 5,9,12,1,3)(hr 0,0,0,0,0)0)100,29410,32074)(hwcs (hf (hr 6,10,3,6,-1)(hr 6,12,3,2,3)(hr 0,0,0,0,0)0)-1021,21867,30921)(hwcs (hf (hr 17,6,2,3,-1)(hr 17,7,2,1,3)(hr 0,0,0,0,0)0)-145,23517,40754)(hwcs (hf (hr 9,13,2,4,-1)(hr 9,13,1,2,2)(hr 10,15,1,2,2)0)-310,16711,44093)(hwcs (hf (hr 5,5,12,10,-1)(hr 11,5,6,5,2)(hr 5,10,6,5,2)0)230,35401,35516)(hwcs (hf (hr 5,7,2,2,-1)(hr 5,7,1,1,2)(hr 6,8,1,1,2)0)-165,45682,21387)(hwcs (hf (hr 6,2,12,14,-1)(hr 12,2,6,7,2)(hr 6,9,6,7,2)0)-14728,478,30010)(hwcs (hf (hr 1,1,18,17,-1)(hr 7,1,6,17,3)(hr 0,0,0,0,0)0)-1364,39479,21863)(hwcs (hf (hr 16,8,4,3,-1)(hr 16,9,4,1,3)(hr 0,0,0,0,0)0)-219,23322,11131)(hwcs (hf (hr 6,14,1,6,-1)(hr 6,16,1,2,3)(hr 0,0,0,0,0)0)9,36639,38330)(hwcs (hf (hr 10,18,6,2,-1)(hr 13,18,3,1,2)(hr 10,19,3,1,2)0)35,37160,33965)(hwcs (hf (hr 8,13,4,3,-1)(hr 8,14,4,1,3)(hr 0,0,0,0,0)0)105,35458,39469)(hwcs (hf (hr 13,0,3,12,-1)(hr 14,0,1,12,3)(hr 0,0,0,0,0)0)880,22552,34684)(hwcs (hf (hr 8,15,3,3,-1)(hr 8,16,3,1,3)(hr 0,0,0,0,0)0)927,52611,34224)(hwcs (hf (hr 9,7,3,3,-1)(hr 10,7,1,3,3)(hr 0,0,0,0,0)0)576,32115,30677)(hwcs (hf (hr 2,2,12,14,-1)(hr 2,2,6,7,2)(hr 8,9,6,7,2)0)-145,35316,43748)(hwcs (hf (hr 18,18,2,2,-1)(hr 18,18,1,2,2)(hr 0,0,0,0,0)0)985,60552,32013)(hwcs (hf (hr 0,18,2,2,-1)(hr 1,18,1,2,2)(hr 0,0,0,0,0)0)22,26197,37119)(hwcs (hf (hr 13,10,5,6,-1)(hr 13,12,5,2,3)(hr 0,0,0,0,0)0)-1803,34085,33690)(hwcs (hf (hr 2,10,5,6,-1)(hr 2,12,5,2,3)(hr 0,0,0,0,0)0)245,24917,21688)(hwcs (hf (hr 16,2,3,1,-1)(hr 17,2,1,1,3)(hr 0,0,0,0,0)0)-38,32064,38911)(hwcs (hf (hr 0,8,8,12,-1)(hr 0,8,4,6,2)(hr 4,14,4,6,2)0)2730,46015,21120)(hwcs (hf (hr 14,1,6,2,-1)(hr 16,1,2,2,3)(hr 0,0,0,0,0)0)-191,30917,29552)2505837)(hcs 91 (hwcs (hf (hr 1,1,4,11,-1)(hr 3,1,2,11,2)(hr 0,0,0,0,0)0)768,24937,20578)(hwcs (hf (hr 7,7,6,1,-1)(hr 9,7,2,1,3)(hr 0,0,0,0,0)0)613,44791,19611)(hwcs (hf (hr 8,4,4,4,-1)(hr 8,6,4,2,2)(hr 0,0,0,0,0)0)-87,19276,25539)(hwcs (hf (hr 9,12,2,8,-1)(hr 9,16,2,4,2)(hr 0,0,0,0,0)0)-193,23439,34291)(hwcs (hf (hr 6,13,7,3,-1)(hr 6,14,7,1,3)(hr 0,0,0,0,0)0)487,44011,35851)(hwcs (hf (hr 12,1,6,3,-1)(hr 12,2,6,1,3)(hr 0,0,0,0,0)0)-511,18163,30730)(hwcs (hf (hr 0,2,18,2,-1)(hr 0,2,9,1,2)(hr 9,3,9,1,2)0)-605,17723,36847)(hwcs (hf (hr 14,0,6,6,-1)(hr 14,0,3,6,2)(hr 0,0,0,0,0)0)635,27353,27492)(hwcs (hf (hr 7,16,6,4,-1)(hr 9,16,2,4,3)(hr 0,0,0,0,0)0)1416,18726,39482)(hwcs (hf (hr 14,10,6,10,-1)(hr 14,10,3,10,2)(hr 0,0,0,0,0)0)1501,30732,30569)(hwcs (hf (hr 0,10,6,10,-1)(hr 3,10,3,10,2)(hr 0,0,0,0,0)0)-566,41823,24323)(hwcs (hf (hr 9,3,6,1,-1)(hr 11,3,2,1,3)(hr 0,0,0,0,0)0)512,34500,24448)(hwcs (hf (hr 5,3,6,1,-1)(hr 7,3,2,1,3)(hr 0,0,0,0,0)0)-261,15978,34895)(hwcs (hf (hr 9,16,3,3,-1)(hr 9,17,3,1,3)(hr 0,0,0,0,0)0)-278,42476,32087)(hwcs (hf (hr 6,0,8,12,-1)(hr 6,0,4,6,2)(hr 10,6,4,6,2)0)578,23683,36063)(hwcs (hf (hr 12,16,6,3,-1)(hr 12,17,6,1,3)(hr 0,0,0,0,0)0)-819,14818,32688)(hwcs (hf (hr 2,16,6,3,-1)(hr 2,17,6,1,3)(hr 0,0,0,0,0)0)-682,16032,23013)(hwcs (hf (hr 9,7,3,3,-1)(hr 10,7,1,3,3)(hr 0,0,0,0,0)0)-277,44719,32057)(hwcs (hf (hr 0,5,20,10,-1)(hr 0,5,10,5,2)(hr 10,10,10,5,2)0)-1594,23085,26541)(hwcs (hf (hr 7,6,8,10,-1)(hr 11,6,4,5,2)(hr 7,11,4,5,2)0)224,27045,19001)(hwcs (hf (hr 5,6,8,10,-1)(hr 5,6,4,5,2)(hr 9,11,4,5,2)0)69,24715,38190)(hwcs (hf (hr 9,7,3,3,-1)(hr 10,7,1,3,3)(hr 0,0,0,0,0)0)174,30724,31810)(hwcs (hf (hr 0,4,3,3,-1)(hr 0,5,3,1,3)(hr 0,0,0,0,0)0)528,11463,44736)(hwcs (hf (hr 8,13,5,2,-1)(hr 8,14,5,1,2)(hr 0,0,0,0,0)0)23,30242,33967)(hwcs (hf (hr 5,9,2,2,-1)(hr 6,9,1,2,2)(hr 0,0,0,0,0)0)-326,11524,41742)(hwcs (hf (hr 13,9,2,3,-1)(hr 13,9,1,3,2)(hr 0,0,0,0,0)0)62,27127,39620)(hwcs (hf (hr 5,10,2,2,-1)(hr 6,10,1,2,2)(hr 0,0,0,0,0)0)84,35722,19162)(hwcs (hf (hr 9,11,2,3,-1)(hr 9,12,2,1,3)(hr 0,0,0,0,0)0)80,41175,39233)(hwcs (hf (hr 0,6,3,2,-1)(hr 0,7,3,1,2)(hr 0,0,0,0,0)0)-47,21889,33875)(hwcs (hf (hr 9,16,3,3,-1)(hr 9,17,3,1,3)(hr 0,0,0,0,0)0)-68,38835,35636)(hwcs (hf (hr 1,3,3,7,-1)(hr 2,3,1,7,3)(hr 0,0,0,0,0)0)98,27063,29641)(hwcs (hf (hr 14,1,6,5,-1)(hr 14,1,3,5,2)(hr 0,0,0,0,0)0)573,29701,24811)(hwcs (hf (hr 0,1,6,5,-1)(hr 3,1,3,5,2)(hr 0,0,0,0,0)0)-1135,45116,20259)(hwcs (hf (hr 9,10,3,2,-1)(hr 9,11,3,1,2)(hr 0,0,0,0,0)0)0,31233,30968)(hwcs (hf (hr 6,3,3,1,-1)(hr 7,3,1,1,3)(hr 0,0,0,0,0)0)201,14046,37048)(hwcs (hf (hr 11,12,1,2,-1)(hr 11,13,1,1,2)(hr 0,0,0,0,0)0)6,38828,29972)(hwcs (hf (hr 5,5,2,2,-1)(hr 5,6,2,1,2)(hr 0,0,0,0,0)0)60,39273,23659)(hwcs (hf (hr 3,11,16,4,-1)(hr 11,11,8,2,2)(hr 3,13,8,2,2)0)2594,10082,34184)(hwcs (hf (hr 1,11,16,4,-1)(hr 1,11,8,2,2)(hr 9,13,8,2,2)0)1236,18517,26443)(hwcs (hf (hr 12,6,2,2,-1)(hr 13,6,1,1,2)(hr 12,7,1,1,2)0)30,30598,34939)(hwcs (hf (hr 6,6,2,2,-1)(hr 6,6,1,1,2)(hr 7,7,1,1,2)0)-124,46892,20433)(hwcs (hf (hr 11,18,3,2,-1)(hr 11,19,3,1,2)(hr 0,0,0,0,0)0)-12,30393,29895)(hwcs (hf (hr 2,13,5,2,-1)(hr 2,14,5,1,2)(hr 0,0,0,0,0)0)0,27479,39100)(hwcs (hf (hr 9,7,3,3,-1)(hr 10,7,1,3,3)(hr 0,0,0,0,0)0)289,31752,40677)(hwcs (hf (hr 1,14,7,6,-1)(hr 1,16,7,2,3)(hr 0,0,0,0,0)0)-511,34619,59669)(hwcs (hf (hr 9,7,2,4,-1)(hr 9,7,1,4,2)(hr 0,0,0,0,0)0)93,30857,37038)(hwcs (hf (hr 0,3,3,9,-1)(hr 1,3,1,9,3)(hr 0,0,0,0,0)0)293,40474,33682)(hwcs (hf (hr 11,15,2,2,-1)(hr 12,15,1,1,2)(hr 11,16,1,1,2)0)-74,32232,38942)(hwcs (hf (hr 7,15,2,2,-1)(hr 7,15,1,1,2)(hr 8,16,1,1,2)0)76,41977,29520)(hwcs (hf (hr 8,13,4,6,-1)(hr 10,13,2,3,2)(hr 8,16,2,3,2)0)450,35224,14726)(hwcs (hf (hr 9,8,2,2,-1)(hr 9,9,2,1,2)(hr 0,0,0,0,0)0)-87,16742,24854)(hwcs (hf (hr 7,5,6,2,-1)(hr 9,5,2,2,3)(hr 0,0,0,0,0)0)13,25299,35262)(hwcs (hf (hr 8,6,3,4,-1)(hr 9,6,1,4,3)(hr 0,0,0,0,0)0)-84,40197,26401)(hwcs (hf (hr 9,13,2,6,-1)(hr 10,13,1,3,2)(hr 9,16,1,3,2)0)257,34602,15300)(hwcs (hf (hr 6,0,3,18,-1)(hr 7,0,1,18,3)(hr 0,0,0,0,0)0)-2480,7044,35035)(hwcs (hf (hr 1,9,18,1,-1)(hr 7,9,6,1,3)(hr 0,0,0,0,0)0)-204,25269,21857)(hwcs (hf (hr 9,6,2,4,-1)(hr 10,6,1,4,2)(hr 0,0,0,0,0)0)-51,38406,35637)(hwcs (hf (hr 0,7,20,1,-1)(hr 0,7,10,1,2)(hr 0,0,0,0,0)0)1836,21828,35170)(hwcs (hf (hr 5,7,10,1,-1)(hr 10,7,5,1,2)(hr 0,0,0,0,0)0)1353,6599,31562)(hwcs (hf (hr 2,0,16,8,-1)(hr 10,0,8,4,2)(hr 2,4,8,4,2)0)882,35795,30005)(hwcs (hf (hr 0,2,8,18,-1)(hr 4,2,4,18,2)(hr 0,0,0,0,0)0)20965,13159,34034)(hwcs (hf (hr 6,0,9,2,-1)(hr 6,1,9,1,2)(hr 0,0,0,0,0)0)27,28178,28472)(hwcs (hf (hr 2,1,16,14,-1)(hr 2,8,16,7,2)(hr 0,0,0,0,0)0)-13757,7049,37767)(hwcs (hf (hr 9,11,2,2,-1)(hr 9,12,2,1,2)(hr 0,0,0,0,0)0)153,49000,34483)(hwcs (hf (hr 3,0,13,8,-1)(hr 3,4,13,4,2)(hr 0,0,0,0,0)0)1881,28882,27815)(hwcs (hf (hr 9,5,2,3,-1)(hr 9,6,2,1,3)(hr 0,0,0,0,0)0)-888,8206,26724)(hwcs (hf (hr 2,2,7,6,-1)(hr 2,5,7,3,2)(hr 0,0,0,0,0)0)-36,35245,20752)(hwcs (hf (hr 11,14,1,3,-1)(hr 11,15,1,1,3)(hr 0,0,0,0,0)0)-223,32146,29640)(hwcs (hf (hr 8,14,1,3,-1)(hr 8,15,1,1,3)(hr 0,0,0,0,0)0)143,43336,33474)(hwcs (hf (hr 6,15,8,2,-1)(hr 6,16,8,1,2)(hr 0,0,0,0,0)0)52,37405,32872)(hwcs (hf (hr 0,16,2,2,-1)(hr 0,17,2,1,2)(hr 0,0,0,0,0)0)-128,19777,41247)(hwcs (hf (hr 2,9,16,3,-1)(hr 2,10,16,1,3)(hr 0,0,0,0,0)0)-174,21915,18516)(hwcs (hf (hr 0,13,16,6,-1)(hr 0,15,16,2,3)(hr 0,0,0,0,0)0)-6242,9163,34694)(hwcs (hf (hr 18,2,2,18,-1)(hr 19,2,1,9,2)(hr 18,11,1,9,2)0)-980,32377,35825)(hwcs (hf (hr 0,2,2,18,-1)(hr 0,2,1,9,2)(hr 1,11,1,9,2)0)383,41091,36098)(hwcs (hf (hr 14,12,2,2,-1)(hr 14,13,2,1,2)(hr 0,0,0,0,0)0)0,26847,36802)(hwcs (hf (hr 7,8,6,2,-1)(hr 7,9,6,1,2)(hr 0,0,0,0,0)0)1275,15148,20231)(hwcs (hf (hr 8,13,5,3,-1)(hr 8,14,5,1,3)(hr 0,0,0,0,0)0)921,45908,37994)(hwcs (hf (hr 7,13,6,3,-1)(hr 7,14,6,1,3)(hr 0,0,0,0,0)0)-358,38853,24519)(hwcs (hf (hr 2,10,16,4,-1)(hr 10,10,8,2,2)(hr 2,12,8,2,2)0)434,35487,33949)(hwcs (hf (hr 7,1,6,3,-1)(hr 7,2,6,1,3)(hr 0,0,0,0,0)0)-528,16485,33567)(hwcs (hf (hr 6,3,11,2,-1)(hr 6,4,11,1,2)(hr 0,0,0,0,0)0)0,36257,32510)(hwcs (hf (hr 8,12,1,2,-1)(hr 8,13,1,1,2)(hr 0,0,0,0,0)0)4,27288,38536)(hwcs (hf (hr 11,11,2,2,-1)(hr 12,11,1,1,2)(hr 11,12,1,1,2)0)250,51423,21548)(hwcs (hf (hr 7,11,2,2,-1)(hr 7,11,1,1,2)(hr 8,12,1,1,2)0)79,30120,20493)(hwcs (hf (hr 10,18,3,2,-1)(hr 11,18,1,2,3)(hr 0,0,0,0,0)0)-148,34563,31972)(hwcs (hf (hr 1,10,5,9,-1)(hr 1,13,5,3,3)(hr 0,0,0,0,0)0)-366,33821,37366)(hwcs (hf (hr 13,12,1,4,-1)(hr 13,14,1,2,2)(hr 0,0,0,0,0)0)0,36299,35058)(hwcs (hf (hr 6,12,1,4,-1)(hr 6,14,1,2,2)(hr 0,0,0,0,0)0)-12,32852,16796)(hwcs (hf (hr 10,18,3,2,-1)(hr 11,18,1,2,3)(hr 0,0,0,0,0)0)521,17239,37725)(hwcs (hf (hr 2,2,12,6,-1)(hr 2,2,6,3,2)(hr 8,5,6,3,2)0)215,26769,26695)2928343)(hcs 97 (hwcs (hf (hr 1,0,18,12,-1)(hr 7,0,6,12,3)(hr 0,0,0,0,0)0)4130,22409,44758)(hwcs (hf (hr 5,7,10,4,-1)(hr 5,9,10,2,2)(hr 0,0,0,0,0)0)3044,28781,30153)(hwcs (hf (hr 9,5,2,2,-1)(hr 9,6,2,1,2)(hr 0,0,0,0,0)0)0,24444,20275)(hwcs (hf (hr 6,17,8,3,-1)(hr 6,18,8,1,3)(hr 0,0,0,0,0)0)89,28426,27639)(hwcs (hf (hr 4,12,2,2,-1)(hr 4,13,2,1,2)(hr 0,0,0,0,0)0)0,26769,33340)(hwcs (hf (hr 8,3,6,1,-1)(hr 10,3,2,1,3)(hr 0,0,0,0,0)0)421,19450,26938)(hwcs (hf (hr 0,3,6,5,-1)(hr 3,3,3,5,2)(hr 0,0,0,0,0)0)376,28097,27958)(hwcs (hf (hr 14,2,4,9,-1)(hr 14,5,4,3,3)(hr 0,0,0,0,0)0)-37,26770,20853)(hwcs (hf (hr 2,2,4,9,-1)(hr 2,5,4,3,3)(hr 0,0,0,0,0)0)320,23254,36769)(hwcs (hf (hr 10,14,3,3,-1)(hr 10,15,3,1,3)(hr 0,0,0,0,0)0)-450,40864,18756)(hwcs (hf (hr 7,5,3,6,-1)(hr 7,7,3,2,3)(hr 0,0,0,0,0)0)7,21350,25447)(hwcs (hf (hr 8,4,7,3,-1)(hr 8,5,7,1,3)(hr 0,0,0,0,0)0)-180,41641,38540)(hwcs (hf (hr 8,8,2,12,-1)(hr 8,12,2,4,3)(hr 0,0,0,0,0)0)160,20539,34584)(hwcs (hf (hr 0,1,20,8,-1)(hr 10,1,10,4,2)(hr 0,5,10,4,2)0)5153,34670,30503)(hwcs (hf (hr 0,1,20,8,-1)(hr 0,1,10,4,2)(hr 10,5,10,4,2)0)-5158,16653,28619)(hwcs (hf (hr 9,5,6,3,-1)(hr 9,5,3,3,2)(hr 0,0,0,0,0)0)40,35865,9578)(hwcs (hf (hr 5,5,6,3,-1)(hr 8,5,3,3,2)(hr 0,0,0,0,0)0)2685,8323,31671)(hwcs (hf (hr 11,18,9,2,-1)(hr 14,18,3,2,3)(hr 0,0,0,0,0)0)-449,38790,31205)(hwcs (hf (hr 4,6,12,10,-1)(hr 4,6,6,5,2)(hr 10,11,6,5,2)0)-659,23833,34548)(hwcs (hf (hr 11,18,9,2,-1)(hr 14,18,3,2,3)(hr 0,0,0,0,0)0)-153,36030,39714)(hwcs (hf (hr 4,16,2,2,-1)(hr 4,17,2,1,2)(hr 0,0,0,0,0)0)12,24703,26623)(hwcs (hf (hr 12,4,3,3,-1)(hr 12,5,3,1,3)(hr 0,0,0,0,0)0)136,30268,31899)(hwcs (hf (hr 5,11,6,1,-1)(hr 7,11,2,1,3)(hr 0,0,0,0,0)0)-14,37208,24318)(hwcs (hf (hr 0,12,20,4,-1)(hr 0,14,20,2,2)(hr 0,0,0,0,0)0)-4377,16459,25472)(hwcs (hf (hr 5,4,3,3,-1)(hr 5,5,3,1,3)(hr 0,0,0,0,0)0)-330,42975,38889)(hwcs (hf (hr 8,8,4,3,-1)(hr 8,9,4,1,3)(hr 0,0,0,0,0)0)-70,35560,35070)(hwcs (hf (hr 0,3,4,3,-1)(hr 0,4,4,1,3)(hr 0,0,0,0,0)0)-470,13547,33503)(hwcs (hf (hr 16,1,4,11,-1)(hr 16,1,2,11,2)(hr 0,0,0,0,0)0)696,29353,40985)(hwcs (hf (hr 1,8,6,12,-1)(hr 3,8,2,12,3)(hr 0,0,0,0,0)0)6050,13312,36822)(hwcs (hf (hr 12,4,8,2,-1)(hr 16,4,4,1,2)(hr 12,5,4,1,2)0)-688,32396,36788)(hwcs (hf (hr 0,4,8,2,-1)(hr 0,4,4,1,2)(hr 4,5,4,1,2)0)524,50854,30308)(hwcs (hf (hr 16,3,4,6,-1)(hr 16,5,4,2,3)(hr 0,0,0,0,0)0)-1829,15789,35032)(hwcs (hf (hr 8,14,1,3,-1)(hr 8,15,1,1,3)(hr 0,0,0,0,0)0)-266,43562,32758)(hwcs (hf (hr 8,14,6,3,-1)(hr 8,15,6,1,3)(hr 0,0,0,0,0)0)125,38791,41626)(hwcs (hf (hr 9,12,2,8,-1)(hr 9,16,2,4,2)(hr 0,0,0,0,0)0)1507,12467,34428)(hwcs (hf (hr 12,7,4,2,-1)(hr 12,8,4,1,2)(hr 0,0,0,0,0)0)82,30579,25055)(hwcs (hf (hr 4,7,4,2,-1)(hr 4,8,4,1,2)(hr 0,0,0,0,0)0)-193,46292,24991)(hwcs (hf (hr 11,8,2,5,-1)(hr 11,8,1,5,2)(hr 0,0,0,0,0)0)-27,31402,29433)(hwcs (hf (hr 1,6,4,2,-1)(hr 1,7,4,1,2)(hr 0,0,0,0,0)0)583,13608,29148)(hwcs (hf (hr 11,8,2,5,-1)(hr 11,8,1,5,2)(hr 0,0,0,0,0)0)-30,35815,36000)(hwcs (hf (hr 7,8,2,5,-1)(hr 8,8,1,5,2)(hr 0,0,0,0,0)0)-41,36055,33330)(hwcs (hf (hr 6,7,9,12,-1)(hr 9,7,3,12,3)(hr 0,0,0,0,0)0)-583,28026,7361)(hwcs (hf (hr 7,10,6,10,-1)(hr 10,10,3,10,2)(hr 0,0,0,0,0)0)-3908,48409,32743)(hwcs (hf (hr 16,1,4,11,-1)(hr 16,1,2,11,2)(hr 0,0,0,0,0)0)649,30664,45407)(hwcs (hf (hr 5,6,6,2,-1)(hr 5,6,3,1,2)(hr 8,7,3,1,2)0)48,38230,25076)(hwcs (hf (hr 11,1,4,14,-1)(hr 11,1,2,14,2)(hr 0,0,0,0,0)0)3280,19678,38718)(hwcs (hf (hr 5,1,4,14,-1)(hr 7,1,2,14,2)(hr 0,0,0,0,0)0)-176,26050,24233)(hwcs (hf (hr 2,0,18,4,-1)(hr 8,0,6,4,3)(hr 0,0,0,0,0)0)-1324,41780,35148)(hwcs (hf (hr 8,6,3,4,-1)(hr 9,6,1,4,3)(hr 0,0,0,0,0)0)-120,38200,17568)(hwcs (hf (hr 10,6,3,5,-1)(hr 11,6,1,5,3)(hr 0,0,0,0,0)0)-15,35883,34870)(hwcs (hf (hr 7,6,3,5,-1)(hr 8,6,1,5,3)(hr 0,0,0,0,0)0)-34,34293,32342)(hwcs (hf (hr 10,0,3,7,-1)(hr 11,0,1,7,3)(hr 0,0,0,0,0)0)-491,18894,23857)(hwcs (hf (hr 9,7,2,2,-1)(hr 10,7,1,2,2)(hr 0,0,0,0,0)0)-213,42392,34469)(hwcs (hf (hr 13,13,3,2,-1)(hr 13,14,3,1,2)(hr 0,0,0,0,0)0)291,13676,32627)(hwcs (hf (hr 7,15,6,3,-1)(hr 7,16,6,1,3)(hr 0,0,0,0,0)0)136,37659,23506)(hwcs (hf (hr 11,14,9,6,-1)(hr 11,16,9,2,3)(hr 0,0,0,0,0)0)2366,18567,35898)(hwcs (hf (hr 0,9,6,6,-1)(hr 3,9,3,6,2)(hr 0,0,0,0,0)0)-226,39258,37521)(hwcs (hf (hr 11,14,9,6,-1)(hr 11,16,9,2,3)(hr 0,0,0,0,0)0)-531,35365,35256)(hwcs (hf (hr 1,14,8,6,-1)(hr 1,16,8,2,3)(hr 0,0,0,0,0)0)458,24344,36238)(hwcs (hf (hr 18,2,2,4,-1)(hr 18,2,1,4,2)(hr 0,0,0,0,0)0)-567,32936,38340)(hwcs (hf (hr 0,2,2,4,-1)(hr 1,2,1,4,2)(hr 0,0,0,0,0)0)87,38913,36997)(hwcs (hf (hr 9,0,3,2,-1)(hr 10,0,1,2,3)(hr 0,0,0,0,0)0)414,33961,19709)(hwcs (hf (hr 8,0,3,2,-1)(hr 9,0,1,2,3)(hr 0,0,0,0,0)0)-48,24232,28361)(hwcs (hf (hr 10,8,2,3,-1)(hr 10,9,2,1,3)(hr 0,0,0,0,0)0)-253,22765,35640)(hwcs (hf (hr 8,12,2,2,-1)(hr 8,12,1,1,2)(hr 9,13,1,1,2)0)87,42675,9458)(hwcs (hf (hr 8,6,4,12,-1)(hr 8,12,4,6,2)(hr 0,0,0,0,0)0)61,25893,25626)(hwcs (hf (hr 0,11,8,2,-1)(hr 0,12,8,1,2)(hr 0,0,0,0,0)0)-1219,8360,33018)(hwcs (hf (hr 7,7,12,1,-1)(hr 11,7,4,1,3)(hr 0,0,0,0,0)0)483,34428,32841)(hwcs (hf (hr 1,7,12,1,-1)(hr 5,7,4,1,3)(hr 0,0,0,0,0)0)336,32463,16617)(hwcs (hf (hr 9,10,3,10,-1)(hr 10,10,1,10,3)(hr 0,0,0,0,0)0)1872,15274,30816)(hwcs (hf (hr 8,10,3,10,-1)(hr 9,10,1,10,3)(hr 0,0,0,0,0)0)2061,2207,31372)(hwcs (hf (hr 8,9,4,2,-1)(hr 10,9,2,1,2)(hr 8,10,2,1,2)0)47,35595,26907)(hwcs (hf (hr 6,1,3,1,-1)(hr 7,1,1,1,3)(hr 0,0,0,0,0)0)92,20352,27882)(hwcs (hf (hr 11,11,2,2,-1)(hr 12,11,1,1,2)(hr 11,12,1,1,2)0)20,40097,34668)(hwcs (hf (hr 1,0,6,10,-1)(hr 1,0,3,5,2)(hr 4,5,3,5,2)0)508,28281,43445)(hwcs (hf (hr 14,13,3,2,-1)(hr 14,14,3,1,2)(hr 0,0,0,0,0)0)-108,35991,20896)(hwcs (hf (hr 2,13,5,2,-1)(hr 2,14,5,1,2)(hr 0,0,0,0,0)0)57,21815,25713)(hwcs (hf (hr 5,1,14,6,-1)(hr 5,3,14,2,3)(hr 0,0,0,0,0)0)2116,39175,29764)(hwcs (hf (hr 7,11,2,2,-1)(hr 7,11,1,1,2)(hr 8,12,1,1,2)0)101,41406,22876)(hwcs (hf (hr 6,13,8,3,-1)(hr 6,14,8,1,3)(hr 0,0,0,0,0)0)137,38582,39068)(hwcs (hf (hr 8,12,1,6,-1)(hr 8,15,1,3,2)(hr 0,0,0,0,0)0)-670,11176,31322)(hwcs (hf (hr 3,0,16,8,-1)(hr 3,4,16,4,2)(hr 0,0,0,0,0)0)1944,38156,35780)(hwcs (hf (hr 5,3,3,3,-1)(hr 6,3,1,3,3)(hr 0,0,0,0,0)0)63,24053,28196)(hwcs (hf (hr 15,14,4,6,-1)(hr 17,14,2,3,2)(hr 15,17,2,3,2)0)-1152,45333,46596)(hwcs (hf (hr 8,7,2,4,-1)(hr 9,7,1,4,2)(hr 0,0,0,0,0)0)-736,57469,42724)(hwcs (hf (hr 12,3,2,14,-1)(hr 12,3,1,14,2)(hr 0,0,0,0,0)0)229,34929,34212)(hwcs (hf (hr 0,2,5,2,-1)(hr 0,3,5,1,2)(hr 0,0,0,0,0)0)-63,33086,38255)(hwcs (hf (hr 12,11,6,2,-1)(hr 15,11,3,1,2)(hr 12,12,3,1,2)0)-545,20696,28746)(hwcs (hf (hr 9,7,2,2,-1)(hr 10,7,1,2,2)(hr 0,0,0,0,0)0)18,36866,34610)(hwcs (hf (hr 18,14,2,2,-1)(hr 18,15,2,1,2)(hr 0,0,0,0,0)0)118,22751,29371)(hwcs (hf (hr 8,13,2,2,-1)(hr 8,13,1,1,2)(hr 9,14,1,1,2)0)2,29442,27310)(hwcs (hf (hr 8,9,4,2,-1)(hr 8,10,4,1,2)(hr 0,0,0,0,0)0)-19,27187,36648)(hwcs (hf (hr 6,14,2,2,-1)(hr 6,14,1,1,2)(hr 7,15,1,1,2)0)-39,39904,34722)(hwcs (hf (hr 7,13,6,3,-1)(hr 7,14,6,1,3)(hr 0,0,0,0,0)0)-192,30907,33432)(hwcs (hf (hr 2,9,12,4,-1)(hr 6,9,4,4,3)(hr 0,0,0,0,0)0)-5794,7745,33548)(hwcs (hf (hr 9,7,2,3,-1)(hr 9,8,2,1,3)(hr 0,0,0,0,0)0)-505,12282,32637)(hwcs (hf (hr 2,3,3,17,-1)(hr 3,3,1,17,3)(hr 0,0,0,0,0)0)69,29374,41063)3130225)(hcs 90 (hwcs (hf (hr 4,3,11,9,-1)(hr 4,6,11,3,3)(hr 0,0,0,0,0)0)-6467,26210,34391)(hwcs (hf (hr 13,0,4,5,-1)(hr 13,0,2,5,2)(hr 0,0,0,0,0)0)127,23133,38356)(hwcs (hf (hr 5,7,8,2,-1)(hr 9,7,4,2,2)(hr 0,0,0,0,0)0)-36,25511,28410)(hwcs (hf (hr 4,12,12,2,-1)(hr 8,12,4,2,3)(hr 0,0,0,0,0)0)-48,26483,36863)(hwcs (hf (hr 9,9,2,2,-1)(hr 9,10,2,1,2)(hr 0,0,0,0,0)0)-26,25271,39307)(hwcs (hf (hr 8,17,4,3,-1)(hr 8,18,4,1,3)(hr 0,0,0,0,0)0)347,43648,29369)(hwcs (hf (hr 3,3,9,2,-1)(hr 6,3,3,2,3)(hr 0,0,0,0,0)0)33,23169,22346)(hwcs (hf (hr 7,3,7,10,-1)(hr 7,8,7,5,2)(hr 0,0,0,0,0)0)-4067,12675,26762)(hwcs (hf (hr 3,12,14,4,-1)(hr 3,12,7,2,2)(hr 10,14,7,2,2)0)1719,14979,30465)(hwcs (hf (hr 6,10,9,8,-1)(hr 6,14,9,4,2)(hr 0,0,0,0,0)0)15,23580,27916)(hwcs (hf (hr 8,12,3,3,-1)(hr 8,13,3,1,3)(hr 0,0,0,0,0)0)-440,42645,33747)(hwcs (hf (hr 14,15,3,3,-1)(hr 14,16,3,1,3)(hr 0,0,0,0,0)0)468,17517,37042)(hwcs (hf (hr 3,15,3,3,-1)(hr 3,16,3,1,3)(hr 0,0,0,0,0)0)645,7549,28662)(hwcs (hf (hr 0,11,20,4,-1)(hr 10,11,10,2,2)(hr 0,13,10,2,2)0)2615,34109,31545)(hwcs (hf (hr 0,11,20,4,-1)(hr 0,11,10,2,2)(hr 10,13,10,2,2)0)-2615,9875,30026)(hwcs (hf (hr 10,13,1,6,-1)(hr 10,16,1,3,2)(hr 0,0,0,0,0)0)439,22493,20239)(hwcs (hf (hr 8,14,3,3,-1)(hr 8,15,3,1,3)(hr 0,0,0,0,0)0)773,47106,20452)(hwcs (hf (hr 11,13,1,3,-1)(hr 11,14,1,1,3)(hr 0,0,0,0,0)0)25,31159,34482)(hwcs (hf (hr 1,14,18,6,-1)(hr 1,16,18,2,3)(hr 0,0,0,0,0)0)-4915,11229,30971)(hwcs (hf (hr 7,13,6,3,-1)(hr 7,14,6,1,3)(hr 0,0,0,0,0)0)-560,42979,31689)(hwcs (hf (hr 5,1,3,3,-1)(hr 6,1,1,3,3)(hr 0,0,0,0,0)0)314,17338,23972)(hwcs (hf (hr 7,5,6,14,-1)(hr 7,12,6,7,2)(hr 0,0,0,0,0)0)-7723,15634,35982)(hwcs (hf (hr 0,2,2,12,-1)(hr 1,2,1,12,2)(hr 0,0,0,0,0)0)-1020,45474,23894)(hwcs (hf (hr 12,4,3,3,-1)(hr 12,5,3,1,3)(hr 0,0,0,0,0)0)191,30708,32593)(hwcs (hf (hr 5,4,3,3,-1)(hr 5,5,3,1,3)(hr 0,0,0,0,0)0)-498,45072,31382)(hwcs (hf (hr 8,12,4,8,-1)(hr 10,12,2,4,2)(hr 8,16,2,4,2)0)181,35925,24904)(hwcs (hf (hr 9,3,2,2,-1)(hr 9,4,2,1,2)(hr 0,0,0,0,0)0)-159,16924,32513)(hwcs (hf (hr 9,0,8,6,-1)(hr 9,2,8,2,3)(hr 0,0,0,0,0)0)41,35785,39626)(hwcs (hf (hr 0,0,4,8,-1)(hr 2,0,2,8,2)(hr 0,0,0,0,0)0)481,34675,35691)(hwcs (hf (hr 1,4,18,2,-1)(hr 7,4,6,2,3)(hr 0,0,0,0,0)0)1982,36164,45422)(hwcs (hf (hr 0,0,18,2,-1)(hr 0,0,9,1,2)(hr 9,1,9,1,2)0)-373,20981,32697)(hwcs (hf (hr 14,9,4,7,-1)(hr 14,9,2,7,2)(hr 0,0,0,0,0)0)149,31528,34628)(hwcs (hf (hr 2,9,4,7,-1)(hr 4,9,2,7,2)(hr 0,0,0,0,0)0)-565,41068,33404)(hwcs (hf (hr 11,0,6,6,-1)(hr 11,2,6,2,3)(hr 0,0,0,0,0)0)57,29816,17334)(hwcs (hf (hr 7,11,2,2,-1)(hr 7,11,1,1,2)(hr 8,12,1,1,2)0)-80,40616,35842)(hwcs (hf (hr 9,14,2,6,-1)(hr 9,17,2,3,2)(hr 0,0,0,0,0)0)-71,27136,35891)(hwcs (hf (hr 8,17,4,3,-1)(hr 8,18,4,1,3)(hr 0,0,0,0,0)0)-475,46926,34346)(hwcs (hf (hr 2,9,16,3,-1)(hr 2,10,16,1,3)(hr 0,0,0,0,0)0)7,26435,34498)(hwcs (hf (hr 5,14,2,4,-1)(hr 5,14,1,2,2)(hr 6,16,1,2,2)0)17,29948,19939)(hwcs (hf (hr 9,5,2,5,-1)(hr 9,5,1,5,2)(hr 0,0,0,0,0)0)-556,32205,32234)(hwcs (hf (hr 8,9,3,2,-1)(hr 9,9,1,2,3)(hr 0,0,0,0,0)0)49,36917,36398)(hwcs (hf (hr 8,12,4,8,-1)(hr 10,12,2,4,2)(hr 8,16,2,4,2)0)182,36036,28719)(hwcs (hf (hr 8,12,3,8,-1)(hr 9,12,1,8,3)(hr 0,0,0,0,0)0)-475,18927,22758)(hwcs (hf (hr 9,14,10,6,-1)(hr 14,14,5,3,2)(hr 9,17,5,3,2)0)164,30547,24541)(hwcs (hf (hr 1,19,18,1,-1)(hr 7,19,6,1,3)(hr 0,0,0,0,0)0)-271,30542,27361)(hwcs (hf (hr 4,17,16,3,-1)(hr 4,18,16,1,3)(hr 0,0,0,0,0)0)2751,13226,49225)(hwcs (hf (hr 9,16,2,4,-1)(hr 9,16,1,2,2)(hr 10,18,1,2,2)0)267,16413,21636)(hwcs (hf (hr 13,1,4,2,-1)(hr 13,1,2,2,2)(hr 0,0,0,0,0)0)8,30241,30277)(hwcs (hf (hr 6,7,2,2,-1)(hr 6,7,1,1,2)(hr 7,8,1,1,2)0)-74,41381,22290)(hwcs (hf (hr 9,11,3,3,-1)(hr 9,12,3,1,3)(hr 0,0,0,0,0)0)-750,32374,19434)(hwcs (hf (hr 8,11,3,3,-1)(hr 8,12,3,1,3)(hr 0,0,0,0,0)0)781,51688,33469)(hwcs (hf (hr 10,11,1,3,-1)(hr 10,12,1,1,3)(hr 0,0,0,0,0)0)-57,37449,29367)(hwcs (hf (hr 4,7,2,2,-1)(hr 4,7,1,1,2)(hr 5,8,1,1,2)0)-100,40590,28441)(hwcs (hf (hr 18,3,2,3,-1)(hr 18,4,2,1,3)(hr 0,0,0,0,0)0)229,20784,34384)(hwcs (hf (hr 3,1,4,2,-1)(hr 5,1,2,2,2)(hr 0,0,0,0,0)0)17,27734,27355)(hwcs (hf (hr 14,7,6,4,-1)(hr 17,7,3,2,2)(hr 14,9,3,2,2)0)51,28032,24380)(hwcs (hf (hr 2,11,5,6,-1)(hr 2,13,5,2,3)(hr 0,0,0,0,0)0)153,35901,23780)(hwcs (hf (hr 15,6,2,12,-1)(hr 16,6,1,6,2)(hr 15,12,1,6,2)0)20,31110,30016)(hwcs (hf (hr 4,5,12,12,-1)(hr 4,5,6,6,2)(hr 10,11,6,6,2)0)1242,34726,24237)(hwcs (hf (hr 11,5,2,2,-1)(hr 12,5,1,1,2)(hr 11,6,1,1,2)0)13,36475,31429)(hwcs (hf (hr 7,4,2,4,-1)(hr 7,4,1,2,2)(hr 8,6,1,2,2)0)9,26557,40455)(hwcs (hf (hr 12,4,4,6,-1)(hr 14,4,2,3,2)(hr 12,7,2,3,2)0)558,23400,20652)(hwcs (hf (hr 5,6,6,6,-1)(hr 7,6,2,6,3)(hr 0,0,0,0,0)0)-1386,40138,33881)(hwcs (hf (hr 15,6,2,2,-1)(hr 16,6,1,1,2)(hr 15,7,1,1,2)0)-102,32210,29794)(hwcs (hf (hr 5,5,6,2,-1)(hr 7,5,2,2,3)(hr 0,0,0,0,0)0)-1415,12472,45705)(hwcs (hf (hr 12,3,3,3,-1)(hr 12,4,3,1,3)(hr 0,0,0,0,0)0)122,31122,33948)(hwcs (hf (hr 5,3,3,3,-1)(hr 5,4,3,1,3)(hr 0,0,0,0,0)0)-599,50239,34180)(hwcs (hf (hr 15,6,2,2,-1)(hr 16,6,1,1,2)(hr 15,7,1,1,2)0)80,41031,29710)(hwcs (hf (hr 0,7,10,2,-1)(hr 0,7,5,1,2)(hr 5,8,5,1,2)0)30,26892,38210)(hwcs (hf (hr 12,18,4,2,-1)(hr 12,19,4,1,2)(hr 0,0,0,0,0)0)-833,13976,31934)(hwcs (hf (hr 6,19,2,1,-1)(hr 7,19,1,1,2)(hr 0,0,0,0,0)0)-22,26046,49601)(hwcs (hf (hr 16,1,4,9,-1)(hr 16,4,4,3,3)(hr 0,0,0,0,0)0)453,25993,27512)(hwcs (hf (hr 4,14,4,6,-1)(hr 4,14,2,3,2)(hr 6,17,2,3,2)0)-258,41742,34534)(hwcs (hf (hr 0,2,20,4,-1)(hr 10,2,10,2,2)(hr 0,4,10,2,2)0)599,27241,23091)(hwcs (hf (hr 5,12,4,5,-1)(hr 7,12,2,5,2)(hr 0,0,0,0,0)0)-13,28857,39702)(hwcs (hf (hr 9,14,11,3,-1)(hr 9,15,11,1,3)(hr 0,0,0,0,0)0)-190,31625,31693)(hwcs (hf (hr 3,6,2,2,-1)(hr 3,6,1,1,2)(hr 4,7,1,1,2)0)116,45035,18626)(hwcs (hf (hr 14,5,1,3,-1)(hr 14,6,1,1,3)(hr 0,0,0,0,0)0)33,39481,31172)(hwcs (hf (hr 2,7,4,4,-1)(hr 2,7,2,2,2)(hr 4,9,2,2,2)0)24,32316,21703)(hwcs (hf (hr 10,1,3,4,-1)(hr 11,1,1,4,3)(hr 0,0,0,0,0)0)-347,34289,26183)(hwcs (hf (hr 0,14,11,3,-1)(hr 0,15,11,1,3)(hr 0,0,0,0,0)0)214,29370,25611)(hwcs (hf (hr 5,11,10,6,-1)(hr 5,14,10,3,2)(hr 0,0,0,0,0)0)92,35107,31267)(hwcs (hf (hr 8,10,1,10,-1)(hr 8,15,1,5,2)(hr 0,0,0,0,0)0)145,32421,34349)(hwcs (hf (hr 7,14,7,3,-1)(hr 7,15,7,1,3)(hr 0,0,0,0,0)0)-240,30274,41298)(hwcs (hf (hr 8,7,3,3,-1)(hr 8,8,3,1,3)(hr 0,0,0,0,0)0)480,18815,27871)(hwcs (hf (hr 6,5,11,2,-1)(hr 6,6,11,1,2)(hr 0,0,0,0,0)0)-533,37665,34100)(hwcs (hf (hr 5,5,1,3,-1)(hr 5,6,1,1,3)(hr 0,0,0,0,0)0)58,36269,34983)(hwcs (hf (hr 5,2,10,6,-1)(hr 10,2,5,3,2)(hr 5,5,5,3,2)0)-522,27160,30810)(hwcs (hf (hr 8,16,3,4,-1)(hr 9,16,1,4,3)(hr 0,0,0,0,0)0)495,16562,36733)(hwcs (hf (hr 9,8,3,1,-1)(hr 10,8,1,1,3)(hr 0,0,0,0,0)0)-112,31717,33492)2900052)(hcs 109 (hwcs (hf (hr 1,3,6,2,-1)(hr 4,3,3,2,2)(hr 0,0,0,0,0)0)436,25093,31840)(hwcs (hf (hr 8,17,4,3,-1)(hr 8,18,4,1,3)(hr 0,0,0,0,0)0)374,44061,29029)(hwcs (hf (hr 0,10,20,4,-1)(hr 0,12,20,2,2)(hr 0,0,0,0,0)0)-60,20161,36658)(hwcs (hf (hr 11,12,1,2,-1)(hr 11,13,1,1,2)(hr 0,0,0,0,0)0)2,28036,30038)(hwcs (hf (hr 9,5,2,2,-1)(hr 9,6,2,1,2)(hr 0,0,0,0,0)0)10,24891,25234)(hwcs (hf (hr 11,18,4,2,-1)(hr 11,18,2,2,2)(hr 0,0,0,0,0)0)17,27020,37752)(hwcs (hf (hr 0,6,16,6,-1)(hr 0,6,8,3,2)(hr 8,9,8,3,2)0)-710,25755,37761)(hwcs (hf (hr 11,18,4,2,-1)(hr 11,18,2,2,2)(hr 0,0,0,0,0)0)145,31421,4853)(hwcs (hf (hr 8,12,1,2,-1)(hr 8,13,1,1,2)(hr 0,0,0,0,0)0)4,38395,23380)(hwcs (hf (hr 11,18,4,2,-1)(hr 11,18,2,2,2)(hr 0,0,0,0,0)0)53,35041,31342)(hwcs (hf (hr 6,0,3,4,-1)(hr 7,0,1,4,3)(hr 0,0,0,0,0)0)-258,18558,35947)(hwcs (hf (hr 11,17,9,3,-1)(hr 14,17,3,3,3)(hr 0,0,0,0,0)0)-749,36956,30126)(hwcs (hf (hr 0,2,5,9,-1)(hr 0,5,5,3,3)(hr 0,0,0,0,0)0)545,21172,24872)(hwcs (hf (hr 11,17,9,3,-1)(hr 14,17,3,3,3)(hr 0,0,0,0,0)0)-7333,7420,41545)(hwcs (hf (hr 0,17,9,3,-1)(hr 3,17,3,3,3)(hr 0,0,0,0,0)0)-460,37127,44246)(hwcs (hf (hr 5,11,10,9,-1)(hr 5,14,10,3,3)(hr 0,0,0,0,0)0)573,23339,35043)(hwcs (hf (hr 3,17,5,3,-1)(hr 3,18,5,1,3)(hr 0,0,0,0,0)0)621,18052,27695)(hwcs (hf (hr 9,8,2,5,-1)(hr 9,8,1,5,2)(hr 0,0,0,0,0)0)622,32152,26260)(hwcs (hf (hr 2,8,15,6,-1)(hr 7,8,5,6,3)(hr 0,0,0,0,0)0)8804,14514,48189)(hwcs (hf (hr 12,10,4,6,-1)(hr 12,12,4,2,3)(hr 0,0,0,0,0)0)1311,21809,25659)(hwcs (hf (hr 5,5,2,3,-1)(hr 5,6,2,1,3)(hr 0,0,0,0,0)0)470,47032,29668)(hwcs (hf (hr 14,12,3,3,-1)(hr 14,13,3,1,3)(hr 0,0,0,0,0)0)322,16841,32765)(hwcs (hf (hr 1,2,3,6,-1)(hr 1,4,3,2,3)(hr 0,0,0,0,0)0)-640,22669,29590)(hwcs (hf (hr 9,8,3,4,-1)(hr 10,8,1,4,3)(hr 0,0,0,0,0)0)621,31505,22689)(hwcs (hf (hr 8,8,3,4,-1)(hr 9,8,1,4,3)(hr 0,0,0,0,0)0)-375,43252,18493)(hwcs (hf (hr 9,10,3,2,-1)(hr 10,10,1,2,3)(hr 0,0,0,0,0)0)58,32006,31653)(hwcs (hf (hr 8,10,3,2,-1)(hr 9,10,1,2,3)(hr 0,0,0,0,0)0)31,29062,14789)(hwcs (hf (hr 10,12,1,6,-1)(hr 10,15,1,3,2)(hr 0,0,0,0,0)0)-72,29669,18640)(hwcs (hf (hr 5,6,8,10,-1)(hr 5,6,4,5,2)(hr 9,11,4,5,2)0)197,24962,37478)(hwcs (hf (hr 10,5,4,2,-1)(hr 12,5,2,1,2)(hr 10,6,2,1,2)0)99,38946,50666)(hwcs (hf (hr 4,19,12,1,-1)(hr 8,19,4,1,3)(hr 0,0,0,0,0)0)-905,43785,21663)(hwcs (hf (hr 13,17,4,3,-1)(hr 13,18,4,1,3)(hr 0,0,0,0,0)0)-613,18749,40559)(hwcs (hf (hr 9,14,2,3,-1)(hr 9,15,2,1,3)(hr 0,0,0,0,0)0)110,39781,24790)(hwcs (hf (hr 10,18,3,2,-1)(hr 11,18,1,2,3)(hr 0,0,0,0,0)0)-169,24184,25277)(hwcs (hf (hr 4,10,4,6,-1)(hr 4,12,4,2,3)(hr 0,0,0,0,0)0)1433,15250,36442)(hwcs (hf (hr 9,16,2,3,-1)(hr 9,17,2,1,3)(hr 0,0,0,0,0)0)351,44352,34045)(hwcs (hf (hr 7,18,3,2,-1)(hr 8,18,1,2,3)(hr 0,0,0,0,0)0)-124,21219,7830)(hwcs (hf (hr 12,4,6,3,-1)(hr 12,5,6,1,3)(hr 0,0,0,0,0)0)-177,31817,31931)(hwcs (hf (hr 2,4,6,3,-1)(hr 2,5,6,1,3)(hr 0,0,0,0,0)0)591,42908,38333)(hwcs (hf (hr 14,12,3,3,-1)(hr 14,13,3,1,3)(hr 0,0,0,0,0)0)91,26637,35386)(hwcs (hf (hr 3,16,4,3,-1)(hr 3,17,4,1,3)(hr 0,0,0,0,0)0)691,11774,27865)(hwcs (hf (hr 0,0,20,1,-1)(hr 0,0,10,1,2)(hr 0,0,0,0,0)0)-2688,34263,31809)(hwcs (hf (hr 0,0,20,1,-1)(hr 10,0,10,1,2)(hr 0,0,0,0,0)0)2688,14450,37307)(hwcs (hf (hr 1,6,19,3,-1)(hr 1,7,19,1,3)(hr 0,0,0,0,0)0)-4502,9721,40706)(hwcs (hf (hr 7,8,3,3,-1)(hr 7,9,3,1,3)(hr 0,0,0,0,0)0)-399,15038,41989)(hwcs (hf (hr 2,9,16,3,-1)(hr 2,10,16,1,3)(hr 0,0,0,0,0)0)-46,35094,33665)(hwcs (hf (hr 7,3,2,5,-1)(hr 8,3,1,5,2)(hr 0,0,0,0,0)0)3,24325,11220)(hwcs (hf (hr 9,14,4,3,-1)(hr 9,15,4,1,3)(hr 0,0,0,0,0)0)979,44099,28905)(hwcs (hf (hr 9,7,2,2,-1)(hr 10,7,1,2,2)(hr 0,0,0,0,0)0)-46,36496,32924)(hwcs (hf (hr 9,1,3,6,-1)(hr 10,1,1,6,3)(hr 0,0,0,0,0)0)-51,35761,36340)(hwcs (hf (hr 4,2,6,4,-1)(hr 6,2,2,4,3)(hr 0,0,0,0,0)0)-180,32391,19406)(hwcs (hf (hr 3,6,14,6,-1)(hr 10,6,7,3,2)(hr 3,9,7,3,2)0)337,36013,33908)(hwcs (hf (hr 0,5,2,2,-1)(hr 0,6,2,1,2)(hr 0,0,0,0,0)0)-98,20357,30481)(hwcs (hf (hr 13,0,3,20,-1)(hr 14,0,1,20,3)(hr 0,0,0,0,0)0)-2039,34249,33962)(hwcs (hf (hr 4,0,3,20,-1)(hr 5,0,1,20,3)(hr 0,0,0,0,0)0)3119,7271,32365)(hwcs (hf (hr 12,5,3,4,-1)(hr 13,5,1,4,3)(hr 0,0,0,0,0)0)-13,28785,34187)(hwcs (hf (hr 1,14,6,6,-1)(hr 1,14,3,3,2)(hr 4,17,3,3,2)0)-672,40479,34316)(hwcs (hf (hr 14,8,6,12,-1)(hr 17,8,3,6,2)(hr 14,14,3,6,2)0)-2194,31891,26977)(hwcs (hf (hr 3,16,4,2,-1)(hr 3,16,2,1,2)(hr 5,17,2,1,2)0)1,36770,36840)(hwcs (hf (hr 14,8,6,12,-1)(hr 17,8,3,6,2)(hr 14,14,3,6,2)0)-2194,32091,28215)(hwcs (hf (hr 5,16,9,2,-1)(hr 8,16,3,2,3)(hr 0,0,0,0,0)0)134,36339,39574)(hwcs (hf (hr 14,8,6,12,-1)(hr 17,8,3,6,2)(hr 14,14,3,6,2)0)-5516,32816,34721)(hwcs (hf (hr 0,8,6,12,-1)(hr 0,8,3,6,2)(hr 3,14,3,6,2)0)673,41086,33782)(hwcs (hf (hr 14,12,1,2,-1)(hr 14,13,1,1,2)(hr 0,0,0,0,0)0)0,29099,30785)(hwcs (hf (hr 0,3,16,6,-1)(hr 0,6,16,3,2)(hr 0,0,0,0,0)0)-362,36133,23715)(hwcs (hf (hr 14,12,1,2,-1)(hr 14,13,1,1,2)(hr 0,0,0,0,0)0)162,16536,26982)(hwcs (hf (hr 8,16,3,3,-1)(hr 8,17,3,1,3)(hr 0,0,0,0,0)0)-401,44081,33037)(hwcs (hf (hr 13,4,3,15,-1)(hr 14,4,1,15,3)(hr 0,0,0,0,0)0)-2615,10248,32060)(hwcs (hf (hr 4,4,3,15,-1)(hr 5,4,1,15,3)(hr 0,0,0,0,0)0)-1487,14331,31271)(hwcs (hf (hr 7,15,12,4,-1)(hr 7,17,12,2,2)(hr 0,0,0,0,0)0)-1619,22701,23794)(hwcs (hf (hr 3,17,10,2,-1)(hr 3,17,5,1,2)(hr 8,18,5,1,2)0)-397,43688,22279)(hwcs (hf (hr 13,8,3,4,-1)(hr 13,10,3,2,2)(hr 0,0,0,0,0)0)1701,33009,35510)(hwcs (hf (hr 4,8,3,4,-1)(hr 4,10,3,2,2)(hr 0,0,0,0,0)0)-206,47323,21764)(hwcs (hf (hr 12,7,2,12,-1)(hr 12,13,2,6,2)(hr 0,0,0,0,0)0)-3135,12705,31471)(hwcs (hf (hr 5,3,8,2,-1)(hr 5,4,8,1,2)(hr 0,0,0,0,0)0)-28,27934,37481)(hwcs (hf (hr 18,2,2,12,-1)(hr 19,2,1,6,2)(hr 18,8,1,6,2)0)1029,32739,34663)(hwcs (hf (hr 0,2,2,12,-1)(hr 0,2,1,6,2)(hr 1,8,1,6,2)0)-190,39401,33147)(hwcs (hf (hr 16,4,4,14,-1)(hr 18,4,2,7,2)(hr 16,11,2,7,2)0)-3377,32714,30641)(hwcs (hf (hr 0,4,4,14,-1)(hr 0,4,2,7,2)(hr 2,11,2,7,2)0)1547,43165,25252)(hwcs (hf (hr 9,14,4,3,-1)(hr 9,15,4,1,3)(hr 0,0,0,0,0)0)438,39349,21582)(hwcs (hf (hr 0,8,4,3,-1)(hr 0,9,4,1,3)(hr 0,0,0,0,0)0)-449,16815,30248)(hwcs (hf (hr 13,7,2,1,-1)(hr 13,7,1,1,2)(hr 0,0,0,0,0)0)-8,35962,30004)(hwcs (hf (hr 4,8,3,3,-1)(hr 5,8,1,3,3)(hr 0,0,0,0,0)0)59,25817,26540)(hwcs (hf (hr 13,7,2,1,-1)(hr 13,7,1,1,2)(hr 0,0,0,0,0)0)-8,31975,31751)(hwcs (hf (hr 5,7,2,1,-1)(hr 6,7,1,1,2)(hr 0,0,0,0,0)0)-7,28625,42113)(hwcs (hf (hr 18,5,2,2,-1)(hr 18,6,2,1,2)(hr 0,0,0,0,0)0)-26,35206,38237)(hwcs (hf (hr 0,5,2,2,-1)(hr 0,6,2,1,2)(hr 0,0,0,0,0)0)40,25065,31545)(hwcs (hf (hr 7,12,6,5,-1)(hr 9,12,2,5,3)(hr 0,0,0,0,0)0)-3247,3534,34979)(hwcs (hf (hr 1,11,6,3,-1)(hr 4,11,3,3,2)(hr 0,0,0,0,0)0)-294,39304,24426)(hwcs (hf (hr 12,7,2,12,-1)(hr 12,13,2,6,2)(hr 0,0,0,0,0)0)423,34419,34450)(hwcs (hf (hr 6,7,2,12,-1)(hr 6,13,2,6,2)(hr 0,0,0,0,0)0)-2525,13513,4055)(hwcs (hf (hr 12,17,5,2,-1)(hr 12,18,5,1,2)(hr 0,0,0,0,0)0)-591,20693,13327)(hwcs (hf (hr 6,7,6,1,-1)(hr 8,7,2,1,3)(hr 0,0,0,0,0)0)-299,43327,18401)(hwcs (hf (hr 9,4,3,1,-1)(hr 10,4,1,1,3)(hr 0,0,0,0,0)0)353,33727,41186)(hwcs (hf (hr 8,4,3,1,-1)(hr 9,4,1,1,3)(hr 0,0,0,0,0)0)-252,9743,30810)(hwcs (hf (hr 12,13,6,6,-1)(hr 12,15,6,2,3)(hr 0,0,0,0,0)0)-581,34647,30463)(hwcs (hf (hr 2,13,6,6,-1)(hr 2,15,6,2,3)(hr 0,0,0,0,0)0)279,33324,23787)(hwcs (hf (hr 4,7,12,2,-1)(hr 10,7,6,1,2)(hr 4,8,6,1,2)0)-297,31828,30042)(hwcs (hf (hr 3,13,4,3,-1)(hr 3,14,4,1,3)(hr 0,0,0,0,0)0)421,17742,33144)(hwcs (hf (hr 9,14,4,3,-1)(hr 9,15,4,1,3)(hr 0,0,0,0,0)0)-152,31636,27834)(hwcs (hf (hr 7,14,4,3,-1)(hr 7,15,4,1,3)(hr 0,0,0,0,0)0)1185,53115,33781)(hwcs (hf (hr 5,0,10,5,-1)(hr 5,0,5,5,2)(hr 0,0,0,0,0)0)-1764,32026,30293)(hwcs (hf (hr 5,0,10,5,-1)(hr 10,0,5,5,2)(hr 0,0,0,0,0)0)1766,41724,35183)(hwcs (hf (hr 5,9,10,8,-1)(hr 10,9,5,4,2)(hr 5,13,5,4,2)0)-455,27752,30621)(hwcs (hf (hr 1,4,8,3,-1)(hr 1,5,8,1,3)(hr 0,0,0,0,0)0)105,37570,35925)(hwcs (hf (hr 9,7,4,3,-1)(hr 9,8,4,1,3)(hr 0,0,0,0,0)0)671,33789,35082)(hwcs (hf (hr 7,7,4,3,-1)(hr 7,8,4,1,3)(hr 0,0,0,0,0)0)248,32977,38492)(hwcs (hf (hr 10,0,7,6,-1)(hr 10,2,7,2,3)(hr 0,0,0,0,0)0)398,35501,39691)(hwcs (hf (hr 5,0,3,8,-1)(hr 6,0,1,8,3)(hr 0,0,0,0,0)0)-389,21968,45411)3522925))