[00000] = { 00002, 03771, 00012, 04374, 04007, 00700, 00000, 00037, 07777 },
[00001] = { 03736, 03333, 00004, 07174, 04007, 00700, 00410, 00000, 00212 },
[00002] = { 00013, 03445, 01212, 04174, 04007, 00700, 00000, 00000, 00000 },
[00003] = { 00100, 04751, 01203, 04374, 04007, 00700, 00000, 00037, 06000 },
[00004] = { 02522, 04443, 00000, 04174, 04107, 00640, 00000, 00000, 00062 },
[00005] = { 00004, 04443, 00000, 04174, 04007, 00660, 00000, 00000, 00000 },
[00006] = { 03217, 03446, 01200, 04174, 04007, 00700, 00000, 00000, 00000 },
[00007] = { 00610, 04665, 00017, 04374, 04007, 00700, 00000, 00000, 00377 },
[00010] = { 00560, 03771, 00004, 01276, 06007, 00701, 00010, 00000, 01444 },
[00011] = { 00024, 03771, 00004, 07274, 04007, 00701, 00000, 00000, 00227 },
[00012] = { 00324, 03333, 00005, 06174, 04007, 00700, 00400, 00000, 00000 },
[00013] = { 00053, 03551, 01212, 04374, 04007, 00700, 00000, 00000, 00001 },
[00014] = { 01400, 03333, 00005, 04174, 04007, 00571, 00000, 00000, 00000 },
[00015] = { 01117, 07441, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[00016] = { 01123, 06551, 00303, 00274, 04007, 00700, 00000, 00000, 00000 },
[00017] = { 01123, 03551, 00303, 00274, 04007, 00700, 00000, 00000, 00000 },
[00020] = { 02765, 04221, 00002, 04174, 00007, 00700, 00010, 00000, 00000 },
[00021] = { 03017, 03446, 00606, 04174, 04007, 00700, 00010, 00000, 00000 },
[00022] = { 03603, 03333, 00002, 04175, 05007, 00701, 00210, 00000, 00002 },
[00023] = { 03727, 00111, 00704, 04170, 04007, 00700, 00210, 00023, 01016 },
[00024] = { 03745, 04223, 00000, 04364, 04277, 00700, 00210, 00000, 00010 },
[00025] = { 01214, 03333, 00004, 04174, 04007, 00621, 00000, 00000, 00000 },
[00026] = { 02521, 04443, 00000, 04174, 04107, 00700, 00000, 00000, 00074 },
[00027] = { 02757, 04751, 01205, 04374, 04007, 00700, 00000, 00000, 00430 },
[00030] = { 00002, 03773, 00000, 02274, 04464, 01700, 00000, 00001, 00004 },
[00031] = { 03017, 03446, 00606, 04174, 04007, 00700, 00010, 00000, 00000 },
[00032] = { 00002, 03333, 00002, 04174, 04464, 01700, 00000, 00001, 00004 },
[00033] = { 03077, 04443, 00000, 04174, 04007, 00700, 00010, 00000, 00000 },
[00034] = { 01155, 00551, 00202, 02270, 04007, 00700, 00200, 00004, 00012 },
[00035] = { 02777, 03445, 00403, 04174, 04007, 00700, 00000, 00000, 00000 },
[00036] = { 01155, 03443, 00200, 04174, 04007, 00700, 00200, 00004, 00112 },
[00037] = { 00555, 04443, 00000, 04174, 04467, 00700, 00000, 00051, 01000 },
[00040] = { 00000, 03771, 00003, 04365, 05001, 02700, 00200, 00000, 00002 },
[00041] = { 00000, 03771, 00003, 00276, 06001, 02700, 00000, 00000, 00000 },
[00042] = { 00401, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[00043] = { 00415, 03771, 00003, 00276, 06007, 00700, 00000, 00000, 00000 },
[00044] = { 00000, 03333, 00003, 04174, 04001, 02530, 03000, 00041, 05777 },
[00045] = { 00416, 03772, 00000, 01275, 05007, 00701, 00000, 00000, 01441 },
[00046] = { 00372, 03770, 00303, 04344, 04007, 00700, 00000, 00000, 00000 },
[00047] = { 00372, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[00050] = { 00000, 03770, 00103, 04365, 05001, 02700, 00200, 00014, 00012 },
[00051] = { 00402, 03771, 00005, 04365, 05177, 00521, 03000, 00041, 02000 },
[00052] = { 00404, 04443, 00000, 04174, 04007, 00040, 00000, 00000, 00000 },
[00053] = { 00061, 03447, 01200, 04174, 04007, 00700, 00000, 00000, 00000 },
[00054] = { 01250, 04552, 00000, 01275, 05007, 00701, 00000, 00000, 01441 },
[00055] = { 03077, 06551, 01717, 04374, 04007, 00700, 00010, 00000, 00007 },
[00056] = { 03046, 00001, 01616, 04174, 04007, 00700, 00000, 00000, 00000 },
[00057] = { 03044, 02225, 00016, 04174, 04007, 00700, 04000, 00000, 00000 },
[00060] = { 03727, 03443, 00300, 04174, 04007, 00700, 00210, 00003, 00012 },
[00061] = { 00071, 03771, 00015, 04374, 04007, 00700, 00000, 00000, 00001 },
[00062] = { 03017, 03446, 00606, 04174, 04007, 00700, 00010, 00000, 00000 },
[00063] = { 02012, 03333, 00003, 04174, 04007, 00520, 00000, 00000, 00000 },
[00064] = { 03730, 00111, 00703, 04170, 04007, 00700, 00210, 00003, 00012 },
[00065] = { 02603, 00111, 00703, 04174, 04007, 00700, 00200, 00004, 00002 },
[00066] = { 03166, 00661, 00003, 07274, 04007, 00701, 00000, 00000, 00225 },
[00067] = { 02464, 04571, 01205, 04374, 04007, 00700, 00000, 00024, 01220 },
[00070] = { 03120, 00553, 00300, 02274, 04007, 00700, 00200, 00004, 00712 },
[00071] = { 00003, 04751, 01207, 04374, 04007, 00700, 00010, 00000, 00001 },
[00072] = { 03120, 03443, 00300, 04174, 04007, 00700, 00200, 00004, 00712 },
[00073] = { 01514, 00111, 00503, 04174, 04003, 07700, 00200, 00003, 00001 },
[00074] = { 03117, 00553, 00300, 02274, 04007, 00700, 00200, 00004, 00512 },
[00075] = { 00054, 03447, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[00076] = { 03117, 03443, 00300, 04174, 04007, 00700, 00200, 00004, 00512 },
[00077] = { 02464, 04571, 01205, 04374, 04007, 00700, 00000, 00024, 01200 },
[00100] = { 00106, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00227 },
[00101] = { 03534, 04751, 01203, 04374, 04367, 00700, 00000, 00000, 00423 },
[00102] = { 03534, 04751, 01203, 04374, 04367, 00700, 00000, 00000, 00422 },
[00103] = { 03534, 04751, 01203, 04374, 04367, 00700, 00000, 00000, 00421 },
[00104] = { 03736, 03333, 00004, 07174, 04007, 00700, 00410, 00000, 00212 },
[00105] = { 00104, 04751, 01217, 04374, 04007, 00700, 00000, 00000, 00002 },
[00106] = { 00110, 04221, 00011, 04364, 04277, 00700, 00200, 00000, 00010 },
[00107] = { 00117, 03443, 00100, 04174, 04007, 00700, 00200, 00014, 00012 },
[00110] = { 00125, 04221, 00010, 04174, 04477, 00700, 00000, 00000, 00000 },
[00111] = { 03534, 04751, 01203, 04374, 04367, 00700, 00000, 00000, 00423 },
[00112] = { 03534, 04751, 01203, 04374, 04367, 00700, 00000, 00000, 00422 },
[00113] = { 03534, 04751, 01203, 04374, 04367, 00700, 00000, 00000, 00421 },
[00114] = { 03735, 04223, 00000, 04364, 04277, 00700, 00210, 00000, 00010 },
[00115] = { 00104, 04751, 01217, 04374, 04007, 00700, 00000, 00000, 00002 },
[00116] = { 03734, 04221, 00004, 04174, 04007, 00700, 00200, 00021, 01016 },
[00117] = { 00363, 03771, 00002, 04365, 05617, 00700, 00200, 00000, 00002 },
[00120] = { 03013, 04557, 00006, 01274, 04007, 00701, 00010, 00000, 01441 },
[00121] = { 03003, 04557, 00004, 01274, 04007, 00701, 00000, 00000, 01442 },
[00122] = { 00122, 03336, 00604, 04174, 04046, 02630, 02000, 00060, 00000 },
[00123] = { 00004, 03334, 00604, 04174, 04004, 01700, 00000, 00000, 00000 },
[00124] = { 00171, 03223, 00000, 01174, 04007, 00700, 00400, 00000, 01443 },
[00125] = { 00131, 04221, 00013, 04174, 04257, 00700, 00000, 00000, 00000 },
[00126] = { 00142, 01116, 00604, 04174, 04046, 02630, 06000, 00060, 00000 },
[00127] = { 00004, 01114, 00604, 04174, 04004, 01700, 04000, 00000, 00000 },
[00130] = { 03114, 03771, 00003, 00276, 06007, 00700, 00010, 00000, 00000 },
[00131] = { 00162, 03333, 00013, 07174, 04007, 00700, 00400, 00000, 00230 },
[00132] = { 02075, 04221, 00017, 04174, 04007, 00700, 00010, 00000, 00000 },
[00133] = { 02050, 03441, 00305, 01174, 04007, 00421, 00000, 00000, 01441 },
[00134] = { 03731, 03441, 00104, 04170, 04007, 00700, 00010, 00000, 00000 },
[00135] = { 01400, 00551, 00501, 04370, 04007, 00701, 00000, 00000, 00001 },
[00136] = { 01400, 04113, 00305, 04174, 04007, 00330, 00000, 00000, 00021 },
[00137] = { 03653, 03771, 00005, 04374, 00007, 00700, 00000, 00047, 00130 },
[00140] = { 00104, 04751, 01217, 04374, 04007, 00700, 00000, 00000, 01005 },
[00141] = { 03647, 04221, 00014, 04174, 04007, 00700, 00010, 00000, 00000 },
[00142] = { 00122, 00116, 00604, 04174, 04046, 02630, 02000, 00060, 00000 },
[00143] = { 00004, 00114, 00604, 04174, 04004, 01700, 00000, 00000, 00000 },
[00144] = { 03062, 04222, 00000, 04174, 04007, 00700, 02010, 00071, 00033 },
[00145] = { 00144, 03447, 00303, 04174, 04007, 00700, 01000, 00041, 00001 },
[00146] = { 00142, 03336, 00604, 04174, 04046, 02630, 02000, 00060, 00000 },
[00147] = { 00004, 03334, 00604, 04174, 04004, 01700, 00000, 00000, 00000 },
[00150] = { 01146, 03771, 00002, 04365, 05217, 00700, 00210, 00000, 00002 },
[00151] = { 00343, 04751, 01217, 04374, 04007, 00700, 00000, 00000, 00120 },
[00152] = { 00110, 03441, 00301, 04170, 04156, 04700, 00200, 00014, 00012 },
[00153] = { 02075, 03444, 01616, 04174, 04067, 00700, 00010, 00000, 00000 },
[00154] = { 03244, 03227, 00003, 04174, 04007, 00700, 00000, 00000, 00000 },
[00155] = { 02074, 03333, 00003, 04174, 04007, 00621, 00010, 00000, 00000 },
[00156] = { 02074, 03333, 00003, 04174, 04007, 00621, 00010, 00000, 00000 },
[00157] = { 03244, 03227, 00003, 04174, 04007, 00700, 00000, 00000, 00000 },
[00160] = { 01234, 07443, 00300, 04174, 04007, 00621, 00000, 00000, 00000 },
[00161] = { 00164, 03333, 00005, 04174, 04007, 00621, 00000, 00000, 00000 },
[00162] = { 00212, 03333, 00013, 07174, 04007, 00700, 00400, 00000, 00300 },
[00163] = { 03017, 03446, 00606, 04174, 04007, 00700, 00010, 00000, 00000 },
[00164] = { 00370, 04443, 00000, 04174, 04007, 00700, 02010, 00071, 00042 },
[00165] = { 00555, 04443, 00000, 04174, 04467, 00700, 00000, 00051, 01000 },
[00166] = { 01215, 03441, 00304, 04174, 04007, 00700, 00000, 00000, 00000 },
[00167] = { 03237, 04662, 00000, 04370, 04007, 00700, 00000, 00077, 07000 },
[00170] = { 00172, 00551, 00505, 02270, 04007, 00700, 00000, 00000, 00000 },
[00171] = { 00563, 03442, 00300, 04174, 04007, 00700, 02010, 00071, 00043 },
[00172] = { 00556, 05741, 00505, 04174, 04003, 07700, 00200, 00000, 00010 },
[00173] = { 03265, 03444, 01616, 04174, 04067, 00700, 00000, 00000, 00000 },
[00174] = { 03323, 00551, 00505, 02270, 04007, 00700, 00200, 00004, 00512 },
[00175] = { 03002, 03441, 00416, 04174, 04007, 00700, 00000, 00000, 00000 },
[00176] = { 03323, 03443, 00500, 04174, 04007, 00700, 00200, 00004, 00512 },
[00177] = { 03244, 02227, 00003, 04174, 04007, 00700, 04000, 00000, 00000 },
[00200] = { 00200, 03444, 00303, 04174, 04043, 04701, 01000, 00041, 01777 },
[00201] = { 00110, 00551, 00201, 02270, 04156, 04700, 00200, 00014, 00012 },
[00202] = { 00322, 03333, 00003, 04174, 04003, 04701, 00010, 00000, 00000 },
[00203] = { 00110, 03441, 00201, 04170, 04156, 04700, 00200, 00014, 00012 },
[00204] = { 00322, 03446, 00303, 04174, 04047, 00700, 01010, 00041, 00001 },
[00205] = { 00366, 00551, 00202, 02270, 04007, 00700, 00200, 00004, 00012 },
[00206] = { 00322, 03446, 00303, 04174, 04047, 00700, 01010, 00041, 00001 },
[00207] = { 00366, 03443, 00200, 04174, 04007, 00700, 00200, 00004, 00012 },
[00210] = { 03315, 04002, 00000, 04174, 00007, 00700, 00000, 00000, 00000 },
[00211] = { 00213, 00551, 00202, 02270, 04007, 00700, 00000, 00000, 00000 },
[00212] = { 00214, 03333, 00013, 07174, 04007, 00700, 00400, 00000, 00301 },
[00213] = { 00000, 05741, 00203, 04174, 04001, 03700, 00200, 00000, 00342 },
[00214] = { 00223, 04223, 00000, 01174, 04007, 00700, 00400, 00000, 01443 },
[00215] = { 00366, 00551, 00202, 02270, 04007, 00700, 00200, 00004, 00112 },
[00216] = { 00650, 04111, 01204, 04174, 04007, 00700, 00000, 00000, 00000 },
[00217] = { 00366, 03443, 00200, 04174, 04007, 00700, 00200, 00004, 00112 },
[00220] = { 00221, 03441, 00301, 04174, 04007, 00700, 00200, 00014, 00012 },
[00221] = { 00100, 03440, 00404, 00174, 04156, 04700, 00400, 00000, 00000 },
[00222] = { 01400, 03440, 00404, 00174, 04007, 00700, 00400, 00000, 00000 },
[00223] = { 00226, 03333, 00007, 01174, 04007, 00700, 00400, 00000, 01444 },
[00224] = { 00323, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[00225] = { 00140, 06553, 00500, 04374, 04007, 00321, 00000, 00033, 00656 },
[00226] = { 00235, 04221, 00003, 04174, 04007, 00700, 02000, 00071, 00023 },
[00227] = { 02476, 04553, 00300, 04374, 04007, 00331, 00000, 00000, 00001 },
[00230] = { 03120, 00553, 00300, 02274, 04007, 00701, 00200, 00004, 00712 },
[00231] = { 03507, 03441, 00503, 04174, 04007, 00700, 00000, 00000, 00000 },
[00232] = { 03120, 03443, 00300, 04174, 04007, 00700, 00200, 00004, 00712 },
[00233] = { 03506, 03770, 00503, 04334, 04017, 00700, 00000, 00032, 06000 },
[00234] = { 03514, 00553, 00300, 02274, 04007, 00701, 00200, 00004, 00612 },
[00235] = { 00242, 03333, 00007, 07174, 04007, 00700, 00400, 00000, 00344 },
[00236] = { 03514, 03443, 00300, 04174, 04007, 00700, 00200, 00004, 00612 },
[00237] = { 03710, 04571, 01204, 04374, 04007, 00700, 00000, 00021, 01200 },
[00240] = { 03146, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00223 },
[00241] = { 00350, 03770, 00305, 04334, 04016, 07351, 00010, 00033, 06000 },
[00242] = { 00244, 04223, 00000, 07174, 04007, 00700, 00400, 00000, 00373 },
[00243] = { 02074, 03333, 00017, 04174, 04007, 00621, 00010, 00000, 00000 },
[00244] = { 00311, 03771, 00002, 04374, 04007, 00700, 00000, 00000, 00344 },
[00245] = { 00110, 03443, 00100, 04174, 04156, 04700, 00200, 00014, 00012 },
[00246] = { 03452, 04443, 00000, 04174, 04007, 00700, 00010, 00000, 00000 },
[00247] = { 03463, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[00250] = { 00110, 03443, 00100, 04174, 04156, 04700, 00200, 00014, 00012 },
[00251] = { 01400, 03333, 00003, 04174, 04007, 00520, 00000, 00000, 00000 },
[00252] = { 01400, 03333, 00003, 04174, 04007, 00621, 00000, 00000, 00000 },
[00253] = { 01400, 03333, 00003, 04174, 04007, 00421, 00000, 00000, 00000 },
[00254] = { 00110, 00111, 00701, 04170, 04156, 04700, 00200, 00014, 00012 },
[00255] = { 00260, 03333, 00003, 04174, 04007, 00520, 00000, 00000, 00000 },
[00256] = { 00260, 03333, 00003, 04174, 04007, 00621, 00000, 00000, 00000 },
[00257] = { 00260, 03333, 00003, 04174, 04007, 00421, 00000, 00000, 00000 },
[00260] = { 00110, 00111, 00701, 04170, 04156, 04700, 00200, 00014, 00012 },
[00261] = { 00110, 03443, 00100, 04174, 04156, 04700, 00200, 00014, 00012 },
[00262] = { 00407, 03447, 00705, 04174, 04003, 07700, 00000, 00000, 00000 },
[00263] = { 03276, 03444, 00303, 04174, 04047, 00700, 00000, 00000, 00000 },
[00264] = { 03116, 03333, 00003, 04174, 04217, 00700, 00010, 00000, 00500 },
[00265] = { 00360, 03333, 00003, 04174, 04006, 05701, 00010, 00000, 00000 },
[00266] = { 00262, 03447, 00303, 04174, 04007, 00700, 01000, 00041, 00001 },
[00267] = { 01400, 04443, 00000, 04174, 04467, 00700, 00000, 00005, 00000 },
[00270] = { 00100, 03440, 00505, 00174, 04156, 04700, 00400, 00000, 00000 },
[00271] = { 00744, 03770, 00505, 00174, 04007, 00520, 00400, 00000, 00000 },
[00272] = { 00744, 03770, 00505, 00174, 04007, 00621, 00400, 00000, 00000 },
[00273] = { 00744, 03770, 00505, 00174, 04007, 00421, 00400, 00000, 00000 },
[00274] = { 00762, 03440, 00505, 00174, 04007, 00700, 00400, 00000, 00000 },
[00275] = { 00762, 03770, 00505, 00174, 04007, 00520, 00400, 00000, 00000 },
[00276] = { 00762, 03770, 00505, 00174, 04007, 00621, 00400, 00000, 00000 },
[00277] = { 00762, 03770, 00505, 00174, 04007, 00421, 00400, 00000, 00000 },
[00300] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[00301] = { 01146, 03771, 00002, 04365, 05217, 00700, 00210, 00000, 00002 },
[00302] = { 00016, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[00303] = { 02456, 04553, 01400, 04374, 04007, 00331, 00010, 00007, 07400 },
[00304] = { 00305, 05111, 00514, 04170, 04007, 00700, 00000, 00000, 00000 },
[00305] = { 03650, 03770, 01416, 04344, 04007, 00700, 00010, 00000, 00000 },
[00306] = { 00016, 03447, 00303, 04174, 04004, 01700, 01000, 00041, 00001 },
[00307] = { 03650, 03770, 01416, 04344, 04007, 00700, 00010, 00000, 00000 },
[00310] = { 02765, 03333, 00002, 04175, 05007, 00701, 00210, 00000, 00002 },
[00311] = { 00323, 03771, 00006, 04374, 04007, 00700, 00000, 00000, 00373 },
[00312] = { 02764, 03741, 00103, 04074, 04007, 00700, 00010, 00000, 00000 },
[00313] = { 00022, 03333, 00003, 04175, 05007, 00701, 00200, 00000, 00002 },
[00314] = { 02765, 03333, 00003, 04175, 05007, 00701, 00210, 00000, 00002 },
[00315] = { 00110, 03443, 00100, 04174, 04156, 04700, 00200, 00014, 00012 },
[00316] = { 00020, 03333, 00001, 04175, 05007, 00701, 00200, 00000, 00002 },
[00317] = { 00110, 03441, 00301, 04170, 04156, 04700, 00200, 00014, 00012 },
[00320] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[00321] = { 02456, 04553, 01400, 04374, 04007, 00331, 00010, 00007, 07400 },
[00322] = { 00462, 00007, 00704, 04174, 04007, 00511, 00000, 00000, 00000 },
[00323] = { 00010, 00111, 00706, 04174, 04007, 00700, 00200, 00000, 00010 },
[00324] = { 00334, 00111, 00702, 04174, 04007, 00700, 00200, 00000, 00010 },
[00325] = { 00335, 03333, 00012, 04174, 04437, 00700, 00000, 00000, 00000 },
[00326] = { 00322, 03446, 00303, 04174, 04047, 00700, 01000, 00041, 00001 },
[00327] = { 02022, 04553, 01300, 04374, 04007, 00321, 00000, 00000, 02000 },
[00330] = { 01236, 03333, 00005, 04174, 04007, 00520, 00000, 00000, 00000 },
[00331] = { 03110, 04551, 00404, 04374, 00007, 00700, 00010, 00037, 07777 },
[00332] = { 03510, 03771, 00003, 07274, 04007, 00700, 00010, 00000, 00244 },
[00333] = { 01236, 03333, 00005, 04174, 04007, 00520, 00000, 00000, 00000 },
[00334] = { 00224, 03333, 00004, 06174, 04007, 00630, 02400, 00060, 00000 },
[00335] = { 01525, 04223, 00000, 04364, 04277, 00700, 00200, 00000, 00010 },
[00336] = { 03477, 03771, 00003, 01276, 06007, 00701, 00000, 00000, 01443 },
[00337] = { 02025, 04111, 01203, 04174, 04007, 00700, 00000, 00000, 00000 },
[00340] = { 00550, 04443, 00000, 04174, 04006, 07701, 00000, 00031, 00210 },
[00341] = { 03121, 03770, 00505, 04334, 04057, 00700, 00000, 00073, 00000 },
[00342] = { 03121, 03770, 00505, 04334, 04057, 00700, 00000, 00074, 00000 },
[00343] = { 00346, 04221, 00001, 04174, 04467, 00700, 00000, 00000, 00004 },
[00344] = { 03121, 03770, 00505, 04334, 04057, 00700, 00000, 00075, 00000 },
[00345] = { 03121, 03770, 00505, 04334, 04057, 00700, 00000, 00076, 00000 },
[00346] = { 00116, 03771, 00017, 04374, 04007, 00700, 00000, 00000, 00000 },
[00347] = { 03121, 03770, 00505, 04334, 04057, 00700, 00000, 00077, 00000 },
[00350] = { 03114, 03441, 00503, 04174, 04007, 00700, 00200, 00003, 00002 },
[00351] = { 00004, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[00352] = { 03113, 03770, 00503, 04334, 04017, 00700, 00000, 00032, 06000 },
[00353] = { 00004, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[00354] = { 01302, 03446, 01200, 04174, 04007, 00700, 02010, 00071, 00042 },
[00355] = { 03057, 03444, 00303, 04174, 04047, 00700, 00000, 00000, 00000 },
[00356] = { 03040, 03224, 00016, 04174, 04007, 00700, 00000, 00000, 00000 },
[00357] = { 03056, 02222, 00000, 04174, 04007, 00700, 04000, 00000, 00000 },
[00360] = { 03133, 03333, 00003, 04174, 04007, 00700, 01000, 00031, 07770 },
[00361] = { 03131, 03770, 00503, 04334, 04017, 00700, 00000, 00041, 00000 },
[00362] = { 03131, 03770, 00503, 04334, 04027, 00700, 00000, 00041, 00000 },
[00363] = { 00201, 00111, 00701, 02170, 04366, 06700, 00200, 00010, 00010 },
[00364] = { 03131, 03770, 00503, 04334, 04037, 00700, 00000, 00041, 00000 },
[00365] = { 03131, 03770, 00503, 04334, 04047, 00700, 00000, 00041, 00000 },
[00366] = { 00371, 03771, 00002, 04361, 05217, 00700, 00200, 00000, 00102 },
[00367] = { 03131, 03770, 00503, 04334, 04057, 00700, 00000, 00041, 00000 },
[00370] = { 03062, 04662, 00000, 04374, 00007, 00700, 00010, 00037, 07777 },
[00371] = { 00201, 03443, 00100, 02174, 04006, 06700, 00200, 00010, 00010 },
[00372] = { 00412, 03333, 00003, 04174, 04007, 00520, 03010, 00041, 02000 },
[00373] = { 00000, 04221, 00004, 04174, 04001, 02700, 00000, 00000, 00000 },
[00374] = { 00002, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[00375] = { 00002, 02222, 00000, 04174, 04004, 01700, 04000, 00000, 00000 },
[00376] = { 00377, 02222, 00000, 04174, 04007, 00700, 04000, 00000, 00000 },
[00377] = { 00002, 02441, 00303, 04174, 04004, 01700, 04000, 00000, 00000 },
[00400] = { 02766, 03333, 00003, 04174, 04007, 00700, 00200, 00003, 00012 },
[00401] = { 00406, 00111, 00702, 04170, 04007, 00700, 00200, 00004, 00312 },
[00402] = { 00445, 00111, 00703, 04174, 04007, 00700, 00200, 00004, 00312 },
[00403] = { 00432, 00111, 00703, 04174, 04007, 00700, 00200, 00004, 00312 },
[00404] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[00405] = { 00000, 04443, 00000, 04174, 04001, 02700, 00000, 00000, 00000 },
[00406] = { 00000, 03771, 00004, 04365, 05001, 02700, 00200, 00000, 00002 },
[00407] = { 00016, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[00410] = { 03014, 03777, 00006, 00274, 04007, 00701, 00010, 00000, 00000 },
[00411] = { 03016, 00113, 01616, 01174, 04007, 00701, 00400, 00000, 01441 },
[00412] = { 00001, 04551, 00303, 04374, 00004, 01700, 00000, 00000, 00777 },
[00413] = { 00001, 03551, 00303, 04374, 00004, 01700, 00000, 00077, 07000 },
[00414] = { 03004, 03223, 00000, 01174, 04007, 00700, 00400, 00000, 01442 },
[00415] = { 00000, 03771, 00004, 01276, 06001, 02701, 00000, 00000, 01441 },
[00416] = { 00431, 03776, 00005, 00274, 04007, 00701, 00000, 00000, 00000 },
[00417] = { 00302, 00111, 00503, 04174, 04003, 04701, 00000, 00000, 00000 },
[00420] = { 00420, 03444, 00303, 04174, 04063, 04701, 01000, 00041, 01777 },
[00421] = { 02020, 02222, 00000, 04174, 04007, 00311, 04000, 00000, 00000 },
[00422] = { 00262, 03333, 00003, 04174, 04003, 04701, 00010, 00000, 00000 },
[00423] = { 02020, 02222, 00000, 04174, 04007, 00311, 04000, 00000, 00000 },
[00424] = { 00262, 03447, 00303, 04174, 04007, 00700, 01010, 00041, 00001 },
[00425] = { 02020, 02222, 00000, 04174, 04007, 00311, 04000, 00000, 00000 },
[00426] = { 00262, 03447, 00303, 04174, 04007, 00700, 01010, 00041, 00001 },
[00427] = { 02020, 02222, 00000, 04174, 04007, 00311, 04000, 00000, 00000 },
[00430] = { 02016, 03223, 00000, 04174, 04007, 00621, 00000, 00000, 00000 },
[00431] = { 00044, 03446, 00505, 04174, 04007, 00700, 00000, 00000, 00000 },
[00432] = { 00451, 03551, 00505, 04374, 00007, 00700, 00000, 00077, 07000 },
[00433] = { 03262, 05111, 01217, 04174, 04007, 00700, 00000, 00000, 00000 },
[00434] = { 01515, 03333, 00003, 04175, 05007, 00701, 00200, 00000, 00002 },
[00435] = { 01400, 03333, 00003, 04175, 05007, 00701, 00200, 00000, 00002 },
[00436] = { 02017, 03770, 00303, 04324, 00457, 00700, 00000, 00041, 00000 },
[00437] = { 00433, 00222, 00000, 04174, 04007, 00700, 04000, 00000, 00000 },
[00440] = { 00440, 03444, 00303, 04174, 04063, 04701, 01000, 00041, 01777 },
[00441] = { 02234, 03771, 00004, 01276, 06007, 00701, 00010, 00000, 01441 },
[00442] = { 00262, 03333, 00003, 04174, 04003, 04701, 00010, 00000, 00000 },
[00443] = { 02210, 00111, 00706, 04174, 04007, 00630, 02000, 00060, 00000 },
[00444] = { 00262, 03447, 00303, 04174, 04007, 00700, 01010, 00041, 00001 },
[00445] = { 00451, 04551, 00505, 04374, 00007, 00700, 00000, 00000, 00777 },
[00446] = { 00262, 03447, 00303, 04174, 04007, 00700, 01010, 00041, 00001 },
[00447] = { 02212, 04553, 00600, 04374, 04007, 00331, 00000, 00077, 07777 },
[00450] = { 00440, 03444, 00303, 04174, 04063, 04701, 01000, 00041, 01777 },
[00451] = { 00452, 04557, 00004, 04365, 05007, 00701, 00200, 00000, 00002 },
[00452] = { 00467, 03447, 00503, 04174, 04007, 00700, 00000, 00000, 00000 },
[00453] = { 03267, 03446, 01616, 04174, 04047, 00700, 00000, 00000, 00000 },
[00454] = { 00454, 03444, 00303, 04174, 04447, 00630, 02000, 00060, 00000 },
[00455] = { 01515, 03445, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[00456] = { 00327, 03770, 00303, 04324, 00453, 07700, 00000, 00041, 00000 },
[00457] = { 00453, 03551, 01313, 04374, 00007, 00700, 00000, 00000, 02000 },
[00460] = { 01120, 00551, 00703, 07274, 04007, 00701, 00010, 00000, 00242 },
[00461] = { 02162, 04553, 00600, 04374, 04007, 00321, 00000, 00010, 00000 },
[00462] = { 00016, 03770, 00303, 04324, 00454, 01700, 00000, 00041, 00000 },
[00463] = { 00462, 00441, 00303, 04174, 04003, 04701, 04000, 00000, 00000 },
[00464] = { 03375, 07771, 00003, 07274, 04007, 00701, 00000, 00000, 00242 },
[00465] = { 02152, 01553, 00300, 04374, 04007, 00532, 04000, 00000, 00012 },
[00466] = { 00462, 03447, 00303, 04174, 04007, 00700, 01000, 00041, 00001 },
[00467] = { 00471, 03447, 00303, 04174, 04007, 00700, 02000, 00011, 00000 },
[00470] = { 03727, 03741, 00105, 04074, 04007, 00700, 00010, 00000, 00000 },
[00471] = { 00000, 03443, 00100, 04174, 04001, 02700, 00200, 00014, 00012 },
[00472] = { 00472, 03446, 01616, 04174, 04046, 02630, 02000, 00060, 00000 },
[00473] = { 00453, 03221, 00017, 04174, 04006, 02700, 00000, 00000, 00000 },
[00474] = { 03724, 03771, 00003, 04374, 00007, 00700, 00010, 00000, 00000 },
[00475] = { 02721, 03441, 00301, 04174, 04467, 00700, 00000, 00000, 00004 },
[00476] = { 02036, 03551, 01313, 04374, 00007, 00700, 00000, 00000, 02000 },
[00477] = { 02037, 03551, 01313, 04374, 00007, 00700, 00000, 00000, 02000 },
[00500] = { 01120, 00551, 00703, 07274, 04007, 00701, 00010, 00000, 00242 },
[00501] = { 01030, 03441, 00304, 04174, 04007, 00520, 00000, 00000, 00000 },
[00502] = { 00747, 03441, 00301, 04174, 04007, 00700, 00200, 00014, 00012 },
[00503] = { 01400, 04223, 00000, 01174, 04007, 00700, 00400, 00000, 01441 },
[00504] = { 03330, 01771, 00003, 07274, 04007, 00701, 04000, 00000, 00242 },
[00505] = { 03510, 03771, 00013, 04370, 04007, 00700, 00010, 00000, 00005 },
[00506] = { 01515, 03333, 00005, 04175, 05007, 00701, 00200, 00000, 00002 },
[00507] = { 00500, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00003 },
[00510] = { 03510, 03771, 00013, 04370, 04007, 00700, 00010, 00000, 00012 },
[00511] = { 01402, 03771, 00003, 00270, 06007, 00700, 00000, 00000, 00000 },
[00512] = { 01402, 03771, 00003, 00276, 00007, 00700, 00000, 00000, 00000 },
[00513] = { 02060, 03333, 00017, 04174, 04007, 00520, 01000, 00031, 00202 },
[00514] = { 00514, 03445, 00505, 04174, 04007, 00520, 01000, 00041, 00004 },
[00515] = { 00752, 03777, 00003, 04334, 04057, 00700, 00000, 00041, 00000 },
[00516] = { 03425, 02551, 00705, 01274, 04007, 00701, 04000, 00000, 01443 },
[00517] = { 00513, 00222, 00000, 04174, 04007, 00700, 04000, 00000, 00000 },
[00520] = { 00520, 03444, 00303, 04174, 04043, 04701, 01000, 00041, 01777 },
[00521] = { 02064, 04553, 01300, 04374, 04007, 00321, 00000, 00000, 02000 },
[00522] = { 00322, 03333, 00003, 04174, 04003, 04701, 00010, 00000, 00000 },
[00523] = { 02064, 04553, 01300, 04374, 04007, 00321, 00000, 00000, 02000 },
[00524] = { 00322, 03446, 00303, 04174, 04047, 00700, 01010, 00041, 00001 },
[00525] = { 02064, 04553, 01300, 04374, 04007, 00321, 00000, 00000, 02000 },
[00526] = { 00322, 03446, 00303, 04174, 04047, 00700, 01010, 00041, 00001 },
[00527] = { 02064, 04553, 01300, 04374, 04007, 00321, 00000, 00000, 02000 },
[00530] = { 03311, 04002, 00000, 04174, 00007, 00700, 00000, 00000, 00000 },
[00531] = { 00532, 03333, 00004, 04175, 05007, 00701, 00200, 00000, 00002 },
[00532] = { 00435, 03443, 00200, 04174, 04007, 00700, 00200, 00003, 00312 },
[00533] = { 03504, 01111, 00703, 04174, 04007, 00700, 04000, 00000, 00000 },
[00534] = { 00534, 03446, 00505, 04174, 04057, 00630, 02000, 00060, 00000 },
[00535] = { 01014, 03444, 00505, 04174, 04007, 00700, 00000, 00000, 00000 },
[00536] = { 03310, 04221, 00013, 04174, 04007, 00700, 00000, 00000, 00000 },
[00537] = { 01120, 00551, 00703, 07274, 04007, 00701, 00000, 00000, 00242 },
[00540] = { 02320, 03333, 00004, 07174, 04007, 00520, 00410, 00000, 00242 },
[00541] = { 01030, 03441, 00304, 04174, 04007, 00520, 00000, 00000, 00000 },
[00542] = { 03510, 03771, 00013, 04370, 04007, 00700, 00010, 00000, 00005 },
[00543] = { 00563, 03442, 00300, 04174, 04007, 00700, 02010, 00071, 00043 },
[00544] = { 00544, 03444, 00505, 04174, 04057, 00630, 02000, 00060, 00000 },
[00545] = { 01014, 03444, 00505, 04174, 04007, 00700, 00000, 00000, 00000 },
[00546] = { 03346, 00551, 00704, 07274, 04007, 00701, 00000, 00000, 00242 },
[00547] = { 03005, 03445, 00404, 04174, 04467, 00700, 00000, 00005, 00000 },
[00550] = { 03123, 04443, 00000, 04174, 04007, 00700, 01000, 00031, 00000 },
[00551] = { 01302, 03446, 00316, 04174, 04007, 00520, 02010, 00071, 00042 },
[00552] = { 03122, 03770, 00505, 04344, 04007, 00700, 00000, 00000, 00000 },
[00553] = { 03043, 03224, 00016, 04174, 04007, 00700, 00000, 00000, 00000 },
[00554] = { 01046, 03772, 00000, 01275, 05007, 00701, 00000, 00000, 01441 },
[00555] = { 00100, 04443, 00000, 04174, 04156, 04700, 00000, 00000, 00000 },
[00556] = { 03400, 03333, 00005, 07174, 04001, 02700, 00400, 00000, 00241 },
[00557] = { 02076, 03333, 00005, 04174, 04007, 00530, 00000, 00000, 00000 },
[00560] = { 00620, 03771, 00005, 01276, 06007, 00701, 00010, 00000, 01443 },
[00561] = { 02160, 00551, 00404, 01274, 04007, 00562, 00010, 00000, 01444 },
[00562] = { 02234, 00111, 00705, 04174, 04007, 00700, 00010, 00000, 00000 },
[00563] = { 03021, 03446, 01200, 04174, 04007, 00700, 00010, 00000, 00000 },
[00564] = { 01500, 03111, 00503, 04174, 04003, 07700, 00200, 00003, 00001 },
[00565] = { 00600, 00551, 00505, 01274, 04007, 00701, 00000, 00000, 01443 },
[00566] = { 03424, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00247 },
[00567] = { 00004, 00113, 00404, 04174, 04464, 01701, 00000, 00001, 00001 },
[00570] = { 00571, 03771, 00003, 04374, 04007, 00700, 00000, 00000, 00000 },
[00571] = { 00370, 03333, 00005, 07174, 04007, 00700, 00410, 00000, 00226 },
[00572] = { 01515, 03445, 00303, 04174, 04007, 00700, 01020, 00041, 00001 },
[00573] = { 03162, 03772, 00000, 04374, 00007, 00700, 00000, 00000, 00000 },
[00574] = { 00500, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00003 },
[00575] = { 03325, 03771, 00005, 01276, 06007, 00701, 00000, 00000, 01444 },
[00576] = { 03345, 03441, 00304, 04174, 04007, 00700, 00000, 00000, 00000 },
[00577] = { 00750, 03771, 00004, 01276, 06007, 00522, 00000, 00000, 01443 },
[00600] = { 00621, 04443, 00000, 04174, 04007, 00700, 00010, 00000, 00000 },
[00601] = { 02160, 00111, 00304, 04174, 04007, 00561, 00010, 00000, 00000 },
[00602] = { 00624, 03447, 00505, 04174, 04007, 00700, 02000, 00041, 01776 },
[00603] = { 00614, 03447, 00505, 04174, 04007, 00700, 02000, 00031, 01776 },
[00604] = { 01515, 03447, 00303, 04174, 04007, 00700, 01020, 00041, 00001 },
[00605] = { 03373, 03440, 00404, 01174, 04007, 00700, 00400, 00000, 01444 },
[00606] = { 03452, 03333, 00004, 07174, 04007, 00700, 00410, 00000, 00246 },
[00607] = { 03451, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00246 },
[00610] = { 03224, 04443, 00000, 04174, 04007, 00700, 01010, 00071, 01767 },
[00611] = { 03225, 04443, 00000, 04174, 04007, 00700, 01010, 00071, 01772 },
[00612] = { 00454, 03777, 00003, 00274, 04007, 00631, 02000, 00060, 00000 },
[00613] = { 03212, 04662, 00000, 04374, 04007, 00700, 00000, 00000, 01774 },
[00614] = { 00614, 03446, 00505, 04174, 04047, 00630, 02000, 00060, 00000 },
[00615] = { 01053, 03444, 00505, 04174, 04047, 00700, 00000, 00000, 00000 },
[00616] = { 03370, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00007 },
[00617] = { 00616, 03551, 00606, 04374, 00007, 00700, 00000, 00040, 00000 },
[00620] = { 00621, 04443, 00000, 04174, 04007, 00700, 00010, 00000, 00000 },
[00621] = { 00622, 00111, 00505, 04174, 04007, 00700, 00000, 00000, 00000 },
[00622] = { 02160, 00111, 00404, 04174, 04007, 00561, 00010, 00000, 00000 },
[00623] = { 03020, 03447, 00606, 04174, 04007, 00700, 02010, 00071, 00043 },
[00624] = { 00624, 03444, 00505, 04174, 04447, 00630, 02000, 00060, 00000 },
[00625] = { 01053, 03444, 00505, 04174, 04447, 00700, 00000, 00000, 00000 },
[00626] = { 00001, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[00627] = { 01012, 03442, 00300, 04174, 04007, 00700, 02000, 00071, 00043 },
[00630] = { 03224, 04443, 00000, 04174, 04007, 00700, 01010, 00071, 01771 },
[00631] = { 03225, 04443, 00000, 04174, 04007, 00700, 01010, 00071, 01770 },
[00632] = { 00646, 03447, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[00633] = { 03223, 04662, 00000, 04374, 04007, 00700, 00000, 00000, 00377 },
[00634] = { 01064, 04662, 00000, 04374, 00007, 00700, 00000, 00037, 07777 },
[00635] = { 01064, 03662, 00000, 04374, 00007, 00700, 00000, 00040, 00000 },
[00636] = { 02226, 03333, 00003, 04174, 04007, 00700, 00200, 00004, 00012 },
[00637] = { 00510, 03333, 00004, 07174, 04007, 00700, 00400, 00000, 00250 },
[00640] = { 02177, 03440, 00606, 01174, 04007, 00700, 00400, 00000, 01443 },
[00641] = { 03510, 03333, 00005, 07174, 04007, 00700, 00410, 00000, 00242 },
[00642] = { 00642, 03446, 00505, 04174, 04077, 00630, 02000, 00060, 00000 },
[00643] = { 01014, 03444, 00505, 04174, 04007, 00700, 00000, 00000, 00000 },
[00644] = { 00644, 03444, 00505, 04174, 04077, 00630, 02000, 00060, 00000 },
[00645] = { 01014, 03444, 00505, 04174, 04007, 00700, 00000, 00000, 00000 },
[00646] = { 00651, 03447, 00303, 04174, 04037, 00700, 01020, 00041, 00001 },
[00647] = { 03422, 02551, 00705, 01274, 04007, 00701, 04000, 00000, 01443 },
[00650] = { 03316, 04111, 00004, 04174, 04007, 00700, 00010, 00000, 00000 },
[00651] = { 00455, 03445, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[00652] = { 03313, 06111, 00004, 04174, 04007, 00700, 00000, 00000, 00000 },
[00653] = { 02070, 02441, 00404, 04174, 04007, 00561, 04000, 00000, 00000 },
[00654] = { 02246, 03770, 00303, 04344, 04007, 00700, 02000, 00071, 00007 },
[00655] = { 02247, 03770, 00303, 04344, 04007, 00700, 00000, 00000, 00000 },
[00656] = { 02246, 03447, 00303, 04174, 04007, 00700, 02000, 00071, 00006 },
[00657] = { 03443, 04551, 00303, 04374, 04007, 00700, 00000, 00000, 00777 },
[00660] = { 00340, 03333, 00003, 04174, 04006, 05701, 01010, 00051, 00770 },
[00661] = { 02256, 01553, 00300, 04374, 04007, 00532, 04000, 00000, 00005 },
[00662] = { 00555, 03440, 00303, 00174, 04467, 00700, 00400, 00005, 00000 },
[00663] = { 02274, 03333, 00006, 04174, 04007, 00520, 00000, 00000, 00000 },
[00664] = { 00370, 03771, 00003, 04374, 04007, 00700, 00010, 00000, 00000 },
[00665] = { 03463, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[00666] = { 03154, 03223, 00000, 07174, 04007, 00700, 00400, 00000, 00224 },
[00667] = { 03463, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[00670] = { 00370, 03771, 00003, 04374, 04007, 00700, 00010, 00000, 00000 },
[00671] = { 03463, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[00672] = { 03160, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00225 },
[00673] = { 02300, 04553, 00600, 04374, 04007, 00321, 00000, 00010, 00000 },
[00674] = { 03172, 03771, 00006, 00276, 06007, 00700, 00010, 00000, 00000 },
[00675] = { 02300, 04553, 00600, 04374, 04007, 00321, 00000, 00020, 00000 },
[00676] = { 03211, 03440, 00505, 00174, 04007, 00700, 00400, 00000, 00000 },
[00677] = { 02300, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[00700] = { 03503, 00551, 00303, 07274, 04007, 00700, 00010, 00000, 00241 },
[00701] = { 00706, 03447, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[00702] = { 02270, 03333, 00003, 04174, 04007, 00621, 00000, 00000, 00000 },
[00703] = { 00606, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00011 },
[00704] = { 03444, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[00705] = { 03510, 03771, 00013, 04370, 04007, 00700, 00010, 00000, 00013 },
[00706] = { 00651, 03445, 00303, 04174, 04037, 00700, 01020, 00041, 00001 },
[00707] = { 03463, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[00710] = { 03444, 00111, 00701, 04174, 04007, 00700, 00000, 00000, 00000 },
[00711] = { 02264, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00011 },
[00712] = { 00246, 03333, 00006, 04174, 04007, 00520, 00000, 00000, 00000 },
[00713] = { 03463, 04551, 00606, 04374, 00007, 00700, 00000, 00007, 07777 },
[00714] = { 00715, 03771, 00005, 01276, 06007, 00701, 00000, 00000, 01443 },
[00715] = { 02262, 03443, 00500, 04174, 04007, 00700, 00200, 00004, 00012 },
[00716] = { 03502, 03447, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[00717] = { 03500, 03770, 00303, 07174, 00007, 00700, 00000, 00000, 00241 },
[00720] = { 01354, 03333, 00005, 04174, 04007, 00520, 00000, 00000, 00000 },
[00721] = { 02314, 03333, 00006, 04174, 04007, 00520, 00000, 00000, 00000 },
[00722] = { 03232, 03441, 00304, 04174, 04007, 00700, 00000, 00000, 00000 },
[00723] = { 00004, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[00724] = { 00555, 04443, 00000, 04174, 04467, 00700, 00000, 00041, 01000 },
[00725] = { 00721, 05551, 00606, 04374, 00007, 00700, 00000, 00010, 00000 },
[00726] = { 00730, 04443, 00000, 04174, 04006, 07701, 02000, 00041, 01544 },
[00727] = { 00721, 03551, 00606, 04374, 00007, 00700, 00000, 00010, 00000 },
[00730] = { 02010, 04443, 00000, 04174, 04007, 00630, 02000, 00060, 00000 },
[00731] = { 00721, 03551, 00606, 04374, 00007, 00700, 00000, 00020, 00000 },
[00732] = { 03250, 04443, 00000, 04174, 04007, 00700, 02000, 00031, 00232 },
[00733] = { 00004, 03551, 00606, 04374, 00004, 01700, 00000, 00020, 00000 },
[00734] = { 01302, 04222, 00000, 04174, 04007, 00700, 02010, 00071, 00032 },
[00735] = { 00731, 05551, 00606, 04374, 00007, 00700, 00000, 00010, 00000 },
[00736] = { 01054, 03221, 00016, 04174, 04007, 00700, 02000, 00071, 00043 },
[00737] = { 00721, 03551, 00606, 04374, 00007, 00700, 00000, 00030, 00000 },
[00740] = { 03510, 03551, 01313, 04370, 04007, 00700, 00010, 00000, 00012 },
[00741] = { 03456, 03551, 00606, 04374, 00007, 00700, 00000, 00040, 00000 },
[00742] = { 00250, 03440, 00303, 00174, 04003, 07700, 00400, 00000, 00000 },
[00743] = { 00250, 04443, 00000, 04174, 04003, 07700, 00000, 00000, 00000 },
[00744] = { 00110, 03443, 00100, 04174, 04156, 04700, 00200, 00014, 00012 },
[00745] = { 00110, 03441, 00301, 04170, 04156, 04700, 00200, 00014, 00012 },
[00746] = { 03456, 03551, 00606, 04374, 00007, 00700, 00000, 00040, 00000 },
[00747] = { 00514, 04443, 00000, 04174, 04007, 00700, 01000, 00071, 01764 },
[00750] = { 03334, 03771, 00003, 01276, 06007, 00701, 00000, 00000, 01441 },
[00751] = { 02307, 03771, 00013, 04370, 04007, 00700, 00010, 00000, 00006 },
[00752] = { 00767, 04251, 00303, 04374, 04007, 00700, 00000, 00000, 00077 },
[00753] = { 03346, 00551, 00704, 07274, 04007, 00701, 00000, 00000, 00242 },
[00754] = { 00533, 03771, 00003, 01276, 06003, 07701, 00000, 00000, 01443 },
[00755] = { 02315, 03551, 00606, 04374, 00007, 00700, 00000, 00040, 00000 },
[00756] = { 00002, 03771, 00003, 07274, 04004, 01701, 00000, 00000, 00244 },
[00757] = { 00003, 03771, 00003, 01276, 06004, 01701, 00000, 00000, 01444 },
[00760] = { 03510, 03771, 00013, 04370, 04007, 00700, 00010, 00000, 00012 },
[00761] = { 03463, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[00762] = { 00110, 03441, 00301, 04170, 04156, 04700, 00200, 00014, 00012 },
[00763] = { 00110, 03443, 00100, 04174, 04156, 04700, 00200, 00014, 00012 },
[00764] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[00765] = { 01163, 03441, 00301, 04174, 04007, 00700, 00000, 00000, 00000 },
[00766] = { 03463, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[00767] = { 00100, 03440, 00303, 01174, 04156, 04700, 00400, 00000, 01441 },
[00770] = { 00770, 03773, 00000, 04074, 04003, 01701, 00000, 00000, 00000 },
[00771] = { 03662, 03551, 01414, 04370, 04007, 00700, 00000, 00004, 00000 },
[00772] = { 03663, 03551, 01414, 04370, 04007, 00700, 00000, 00002, 00000 },
[00773] = { 03664, 03551, 01414, 04370, 04007, 00700, 00000, 00001, 00000 },
[00774] = { 03665, 03551, 01414, 04370, 04007, 00700, 00000, 00000, 04000 },
[00775] = { 03666, 03551, 01414, 04370, 04007, 00700, 00000, 00000, 02000 },
[00776] = { 03667, 03551, 01414, 04370, 04007, 00700, 00000, 00000, 01000 },
[00777] = { 03670, 03551, 01414, 04370, 04007, 00700, 00000, 00000, 00400 },
[01000] = { 04031, 04443, 00000, 04174, 04007, 00700, 02010, 00071, 00007 },
[01001] = { 02574, 04553, 00300, 04374, 04007, 00321, 00000, 00000, 00077 },
[01002] = { 02251, 00551, 00303, 07274, 04007, 00701, 00000, 00000, 00215 },
[01003] = { 04034, 00551, 00303, 07274, 04007, 00701, 00010, 00000, 00215 },
[01004] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01005] = { 00303, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[01006] = { 00534, 04443, 00000, 04174, 04007, 00630, 02000, 00060, 00000 },
[01007] = { 02572, 04553, 00300, 04374, 04007, 00321, 00000, 00000, 00077 },
[01010] = { 01010, 03445, 00303, 04174, 04007, 00630, 02000, 00060, 00000 },
[01011] = { 04034, 04443, 00000, 04174, 04007, 00700, 00010, 00000, 00000 },
[01012] = { 03021, 04443, 00000, 04174, 04007, 00700, 00010, 00000, 00000 },
[01013] = { 03707, 03551, 00505, 00274, 04007, 00700, 00000, 00000, 00000 },
[01014] = { 01026, 03444, 00505, 04174, 04007, 00700, 00000, 00000, 00000 },
[01015] = { 01000, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[01016] = { 03273, 03441, 00416, 04174, 04007, 00700, 00000, 00000, 00000 },
[01017] = { 03707, 05551, 00505, 00274, 04007, 00700, 00000, 00000, 00000 },
[01020] = { 03334, 03441, 00503, 04174, 04007, 00700, 00000, 00000, 00000 },
[01021] = { 03335, 07771, 00003, 07274, 04007, 00701, 00000, 00000, 00242 },
[01022] = { 03336, 03770, 00503, 04334, 04017, 00700, 00000, 00032, 06000 },
[01023] = { 03335, 07771, 00003, 07274, 04007, 00701, 00000, 00000, 00242 },
[01024] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01025] = { 00060, 04521, 01205, 04074, 04007, 00700, 00000, 00000, 00000 },
[01026] = { 01064, 03440, 00505, 00174, 04007, 00700, 00400, 00000, 00000 },
[01027] = { 02466, 04553, 00300, 04374, 04007, 00331, 00000, 00000, 00001 },
[01030] = { 03347, 04223, 00000, 01174, 04007, 00700, 00400, 00000, 01443 },
[01031] = { 02307, 03771, 00013, 04370, 04007, 00700, 00010, 00000, 00004 },
[01032] = { 03021, 03442, 00500, 04174, 04007, 00700, 02010, 00071, 00043 },
[01033] = { 02167, 03440, 00606, 00174, 04007, 00700, 00400, 00000, 00000 },
[01034] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01035] = { 02734, 03443, 00300, 04174, 04007, 00700, 00200, 00003, 00012 },
[01036] = { 03275, 03221, 00017, 04174, 04007, 00700, 00000, 00000, 00000 },
[01037] = { 00003, 03441, 00503, 04174, 04004, 01700, 00000, 00000, 00000 },
[01040] = { 02662, 03771, 00003, 07274, 04007, 00622, 00010, 00000, 00423 },
[01041] = { 02662, 03771, 00003, 07274, 04007, 00622, 00010, 00000, 00424 },
[01042] = { 01047, 03333, 00004, 07174, 04007, 00700, 00400, 00000, 00423 },
[01043] = { 01047, 03333, 00004, 07174, 04007, 00700, 00400, 00000, 00424 },
[01044] = { 02735, 03441, 00302, 04174, 04617, 00700, 00000, 00000, 00100 },
[01045] = { 01044, 03333, 00002, 04174, 04167, 00700, 00000, 00000, 00000 },
[01046] = { 00602, 03776, 00005, 00274, 04007, 00631, 00000, 00000, 00000 },
[01047] = { 01140, 00113, 00405, 04174, 04007, 00700, 00200, 00024, 01016 },
[01050] = { 02321, 03771, 00013, 04370, 04007, 00700, 00010, 00000, 00011 },
[01051] = { 02140, 03333, 00004, 04174, 04007, 00520, 00000, 00000, 00000 },
[01052] = { 03352, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00245 },
[01053] = { 00634, 00113, 00505, 00174, 04007, 00521, 00400, 00000, 00000 },
[01054] = { 01302, 05002, 00000, 04174, 04007, 00621, 00010, 00000, 00000 },
[01055] = { 02512, 03771, 00004, 02274, 04007, 00120, 00000, 00000, 00000 },
[01056] = { 03307, 03446, 01200, 04174, 04007, 00700, 00000, 00000, 00000 },
[01057] = { 00001, 03771, 00003, 07274, 04124, 01701, 00000, 00000, 00422 },
[01060] = { 01060, 03773, 00000, 04304, 04003, 01702, 00000, 00000, 00000 },
[01061] = { 04045, 03333, 00005, 07174, 04007, 00700, 00400, 00000, 00213 },
[01062] = { 03021, 03442, 00300, 04174, 04007, 00700, 02010, 00071, 00043 },
[01063] = { 03773, 03771, 00006, 04374, 04007, 00700, 00000, 00000, 00000 },
[01064] = { 00100, 03223, 00000, 01174, 04156, 04700, 00400, 00000, 01441 },
[01065] = { 04043, 04571, 01206, 04374, 04007, 00700, 00000, 00037, 00000 },
[01066] = { 00243, 03446, 00403, 04174, 04007, 00700, 01000, 00041, 01576 },
[01067] = { 04043, 04571, 01206, 04374, 04007, 00700, 00000, 00037, 00000 },
[01070] = { 03776, 03333, 00005, 07174, 04007, 00700, 00400, 00000, 00213 },
[01071] = { 04045, 03333, 00005, 07174, 04007, 00700, 00400, 00000, 00213 },
[01072] = { 03776, 03333, 00005, 07174, 04007, 00700, 00400, 00000, 00213 },
[01073] = { 03776, 03333, 00005, 07174, 04007, 00700, 00400, 00000, 00213 },
[01074] = { 02142, 04443, 00000, 04174, 04007, 00700, 00010, 00000, 00000 },
[01075] = { 03355, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00244 },
[01076] = { 03355, 03440, 00404, 01174, 04007, 00700, 00400, 00000, 01443 },
[01077] = { 00642, 04443, 00000, 04174, 04007, 00630, 02000, 00060, 00000 },
[01100] = { 02722, 04221, 00013, 04170, 04007, 00370, 00000, 00000, 00000 },
[01101] = { 03206, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00212 },
[01102] = { 04053, 00111, 00701, 04174, 04007, 00700, 00000, 00000, 00000 },
[01103] = { 03523, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00011 },
[01104] = { 03523, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00012 },
[01105] = { 02334, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00003 },
[01106] = { 03532, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00012 },
[01107] = { 03527, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00011 },
[01110] = { 03521, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00011 },
[01111] = { 02326, 04221, 00013, 04170, 04007, 00700, 00000, 00000, 00000 },
[01112] = { 02334, 04221, 00013, 04170, 04007, 00700, 00000, 00000, 00000 },
[01113] = { 02334, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00011 },
[01114] = { 00560, 03771, 00004, 01276, 06007, 00701, 00010, 00000, 01444 },
[01115] = { 03371, 03771, 00005, 01276, 06007, 00701, 00000, 00000, 01444 },
[01116] = { 00460, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[01117] = { 01123, 04551, 00303, 00274, 04007, 00700, 00000, 00000, 00000 },
[01120] = { 02320, 03333, 00003, 07174, 04007, 00520, 00410, 00000, 00242 },
[01121] = { 00001, 04221, 00013, 04170, 04004, 01700, 00000, 00000, 00000 },
[01122] = { 00716, 04443, 00000, 07174, 04003, 07700, 00000, 00000, 00241 },
[01123] = { 00014, 03440, 00303, 00174, 04007, 00700, 00400, 00000, 00000 },
[01124] = { 03721, 00111, 00702, 04170, 04007, 00700, 00210, 00004, 00012 },
[01125] = { 03632, 04551, 00404, 04370, 04007, 00700, 00010, 00077, 00000 },
[01126] = { 01133, 04443, 00000, 04174, 04007, 00700, 00200, 00003, 00002 },
[01127] = { 01400, 03333, 00004, 07174, 04007, 00700, 00400, 00000, 00301 },
[01130] = { 03621, 03771, 00003, 07274, 04117, 00700, 00010, 00000, 00301 },
[01131] = { 03637, 03333, 00002, 04174, 04007, 00700, 00200, 00003, 00012 },
[01132] = { 01764, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[01133] = { 01477, 03333, 00003, 04175, 05007, 00701, 00200, 00000, 00002 },
[01134] = { 03717, 03333, 00016, 07174, 04127, 00700, 00400, 00000, 00210 },
[01135] = { 01134, 04443, 00000, 04174, 04006, 07653, 02000, 00060, 00000 },
[01136] = { 03717, 03333, 00016, 07174, 04127, 00700, 00400, 00000, 00210 },
[01137] = { 02517, 03333, 00016, 07174, 04007, 00700, 00400, 00000, 00210 },
[01140] = { 04031, 03771, 00003, 04365, 05007, 00700, 00210, 00000, 00002 },
[01141] = { 01144, 04553, 00300, 04374, 04007, 00321, 00000, 00000, 00077 },
[01142] = { 02612, 00551, 00303, 07274, 04007, 00701, 00000, 00000, 00215 },
[01143] = { 02606, 03770, 00305, 04344, 04007, 00670, 00000, 00000, 00000 },
[01144] = { 02712, 04553, 01300, 04374, 04007, 00321, 00000, 00001, 00000 },
[01145] = { 04030, 04251, 00304, 04374, 04007, 00700, 00010, 00000, 03777 },
[01146] = { 00030, 04443, 00000, 02174, 04006, 06700, 00000, 00000, 00000 },
[01147] = { 04007, 03551, 00606, 04374, 00007, 00700, 00000, 00010, 00000 },
[01150] = { 04034, 00551, 00303, 07274, 04007, 00701, 00010, 00000, 00216 },
[01151] = { 00002, 04221, 00003, 04174, 04004, 01700, 00000, 00000, 00000 },
[01152] = { 00220, 03333, 00005, 04175, 05003, 07701, 00200, 00000, 00002 },
[01153] = { 02737, 03333, 00005, 04175, 05007, 00701, 00200, 00000, 00002 },
[01154] = { 02644, 04553, 00300, 04374, 04007, 00321, 00000, 00077, 00000 },
[01155] = { 01146, 03771, 00002, 04365, 05217, 00700, 00200, 00000, 00002 },
[01156] = { 02743, 03443, 00300, 04174, 04007, 00700, 00200, 00003, 00312 },
[01157] = { 02742, 03443, 00300, 04174, 04007, 00700, 00200, 00003, 00312 },
[01160] = { 03621, 03771, 00003, 07274, 04117, 00701, 00010, 00000, 00301 },
[01161] = { 02713, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[01162] = { 04046, 04223, 00000, 04364, 04277, 00700, 00200, 00000, 00010 },
[01163] = { 00104, 04751, 01217, 04374, 04007, 00700, 00000, 00000, 00001 },
[01164] = { 01165, 04443, 00000, 04174, 04467, 00700, 00000, 00001, 02000 },
[01165] = { 00221, 03771, 00001, 04361, 05007, 00700, 00200, 00000, 00002 },
[01166] = { 01170, 00113, 00503, 00174, 04407, 00521, 00400, 00000, 00000 },
[01167] = { 01172, 00113, 00503, 00174, 04407, 00521, 00400, 00000, 00000 },
[01170] = { 00100, 04443, 00000, 04174, 04156, 04700, 00000, 00000, 00000 },
[01171] = { 00555, 04443, 00000, 04174, 04467, 00700, 00000, 00001, 02000 },
[01172] = { 00555, 04443, 00000, 04174, 04467, 00700, 00000, 00001, 02000 },
[01173] = { 00100, 04443, 00000, 04174, 04156, 04700, 00000, 00000, 00000 },
[01174] = { 04047, 00111, 01104, 04174, 04007, 00700, 00010, 00000, 00000 },
[01175] = { 01176, 03333, 00010, 04174, 04007, 00520, 00000, 00000, 00000 },
[01176] = { 00310, 03333, 00004, 04174, 04007, 00700, 00200, 00021, 01016 },
[01177] = { 01200, 03770, 00203, 04344, 04007, 00700, 00000, 00000, 00000 },
[01200] = { 02764, 04521, 01203, 04074, 00007, 00700, 00010, 00000, 00000 },
[01201] = { 00314, 03333, 00004, 04174, 04007, 00700, 00200, 00021, 01016 },
[01202] = { 01203, 03551, 00505, 04370, 04007, 00700, 00000, 00000, 00001 },
[01203] = { 01204, 04553, 00300, 04374, 04007, 00321, 00000, 00001, 00000 },
[01204] = { 01205, 03551, 00505, 04370, 04007, 00700, 00000, 00000, 00004 },
[01205] = { 02762, 03333, 00005, 04174, 04007, 00700, 00200, 00024, 01016 },
[01206] = { 02772, 00551, 00303, 00274, 04467, 00702, 04000, 00001, 00001 },
[01207] = { 02771, 07441, 01205, 04174, 04007, 00700, 00000, 00000, 00000 },
[01210] = { 02772, 02551, 00303, 00274, 04467, 00702, 00000, 00001, 00001 },
[01211] = { 02772, 02551, 00303, 00274, 04467, 00702, 04000, 00001, 00001 },
[01212] = { 01404, 04551, 00404, 04374, 00007, 00700, 00000, 00037, 07777 },
[01213] = { 01404, 03551, 00404, 04374, 00007, 00700, 00000, 00040, 00000 },
[01214] = { 02774, 03445, 00404, 04174, 04007, 00700, 00000, 00000, 00000 },
[01215] = { 01500, 03221, 00003, 04174, 04003, 07700, 00200, 00003, 00001 },
[01216] = { 01220, 03770, 00404, 04174, 00007, 00520, 00000, 00000, 00000 },
[01217] = { 01500, 07001, 00003, 04174, 04003, 07700, 00200, 00003, 00001 },
[01220] = { 01404, 03221, 00003, 04174, 04467, 00700, 00000, 00041, 01000 },
[01221] = { 01404, 07001, 00003, 04174, 04467, 00700, 00000, 00041, 01000 },
[01222] = { 01500, 04001, 00004, 04174, 04003, 07700, 00200, 00003, 00001 },
[01223] = { 01224, 04113, 00616, 04174, 04007, 00520, 00000, 00000, 00000 },
[01224] = { 01500, 07001, 00004, 04174, 04003, 07700, 00200, 00003, 00001 },
[01225] = { 01404, 07001, 00004, 04174, 04467, 00700, 00000, 00041, 01000 },
[01226] = { 03012, 03223, 00000, 01174, 04007, 00700, 00400, 00000, 01441 },
[01227] = { 03006, 07003, 00000, 01174, 04007, 00700, 00400, 00000, 01441 },
[01230] = { 00110, 03443, 00100, 04174, 04156, 04700, 00200, 00014, 00012 },
[01231] = { 01400, 04443, 00000, 04174, 04467, 00700, 00000, 00041, 01000 },
[01232] = { 00161, 04221, 00003, 04174, 04007, 00700, 00000, 00000, 00000 },
[01233] = { 00161, 02441, 00703, 04174, 04007, 00700, 04000, 00000, 00000 },
[01234] = { 03026, 03441, 00306, 04174, 04007, 00700, 00000, 00000, 00000 },
[01235] = { 00164, 03333, 00005, 04174, 04007, 00621, 00000, 00000, 00000 },
[01236] = { 01240, 02113, 00305, 04174, 04007, 00521, 04000, 00000, 00000 },
[01237] = { 01240, 00113, 00305, 04174, 04007, 00521, 00000, 00000, 00000 },
[01240] = { 00555, 04443, 00000, 04174, 04467, 00700, 00000, 00051, 01000 },
[01241] = { 00161, 03441, 00603, 04174, 04007, 00700, 00000, 00000, 00000 },
[01242] = { 01246, 03446, 00505, 04174, 04007, 00700, 00000, 00000, 00000 },
[01243] = { 01244, 03446, 00505, 04174, 04007, 00520, 00000, 00000, 00000 },
[01244] = { 01246, 04003, 00000, 04174, 04007, 00621, 00000, 00000, 00000 },
[01245] = { 03031, 04751, 01217, 04374, 04007, 00700, 00000, 00000, 00005 },
[01246] = { 03034, 03446, 00505, 04174, 04047, 00700, 00000, 00000, 00000 },
[01247] = { 00555, 04443, 00000, 04174, 04467, 00700, 00000, 00051, 01000 },
[01250] = { 03061, 03446, 00303, 04174, 04007, 00700, 00010, 00000, 00000 },
[01251] = { 01252, 02113, 00305, 04174, 04007, 00521, 04000, 00000, 00000 },
[01252] = { 01254, 02113, 00305, 04174, 04007, 00620, 04000, 00000, 00000 },
[01253] = { 03037, 03221, 00004, 04174, 04007, 00700, 00000, 00000, 00000 },
[01254] = { 00033, 03333, 00017, 04174, 04003, 05701, 00000, 00000, 00000 },
[01255] = { 01256, 01003, 00600, 04174, 04007, 00521, 04000, 00000, 00000 },
[01256] = { 00033, 03333, 00017, 04174, 04003, 05701, 00000, 00000, 00000 },
[01257] = { 03037, 03221, 00004, 04174, 04007, 00700, 00000, 00000, 00000 },
[01260] = { 03061, 03442, 00400, 04174, 04007, 00700, 00010, 00000, 00000 },
[01261] = { 03042, 03221, 00004, 04174, 04007, 00700, 00000, 00000, 00000 },
[01262] = { 03047, 03440, 01616, 01174, 04007, 00700, 00400, 00000, 01441 },
[01263] = { 03051, 04223, 00000, 01174, 04007, 00700, 00400, 00000, 01441 },
[01264] = { 03055, 03442, 00400, 04174, 04007, 00700, 00000, 00000, 00000 },
[01265] = { 03052, 00112, 00406, 04174, 04007, 00700, 00000, 00000, 00000 },
[01266] = { 00100, 04003, 00000, 01174, 04156, 04700, 00400, 00000, 01443 },
[01267] = { 03060, 04002, 00000, 01174, 04007, 00700, 00000, 00000, 01443 },
[01270] = { 03064, 04221, 00004, 04174, 04007, 00700, 00000, 00000, 00000 },
[01271] = { 01272, 02222, 00000, 04174, 04007, 00621, 04000, 00000, 00000 },
[01272] = { 03063, 07441, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[01273] = { 03063, 02441, 00303, 04174, 04007, 00700, 04000, 00000, 00000 },
[01274] = { 03066, 03446, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[01275] = { 03065, 02441, 00505, 04174, 04007, 00700, 04000, 00000, 00000 },
[01276] = { 01276, 00114, 00503, 04174, 04067, 00630, 02100, 00060, 00000 },
[01277] = { 03072, 03444, 01717, 04174, 04067, 00700, 00100, 00000, 00000 },
[01300] = { 03073, 03444, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[01301] = { 01300, 00111, 00503, 04174, 04007, 00700, 00000, 00000, 00000 },
[01302] = { 03076, 01114, 00604, 04174, 04057, 00700, 04000, 00000, 00000 },
[01303] = { 03076, 00114, 00604, 04174, 04057, 00700, 00000, 00000, 00000 },
[01304] = { 03076, 00114, 00604, 04174, 04067, 00700, 00100, 00000, 00000 },
[01305] = { 00002, 04444, 00002, 04174, 04064, 01700, 00100, 00000, 00000 },
[01306] = { 03103, 07772, 00000, 01274, 04007, 00701, 00000, 00000, 01442 },
[01307] = { 03101, 01772, 00000, 01274, 04007, 00701, 04000, 00000, 01442 },
[01310] = { 03104, 07772, 00000, 01274, 04007, 00701, 00000, 00000, 01441 },
[01311] = { 03102, 01772, 00000, 01274, 04007, 00701, 04000, 00000, 01441 },
[01312] = { 03105, 07771, 00003, 00274, 04007, 00700, 00000, 00000, 00000 },
[01313] = { 03105, 01771, 00003, 00274, 04007, 00701, 04000, 00000, 00000 },
[01314] = { 02240, 07441, 00303, 04174, 04467, 00700, 00000, 00001, 00001 },
[01315] = { 02240, 02441, 00303, 04174, 04467, 00701, 04000, 00001, 00001 },
[01316] = { 02240, 07441, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[01317] = { 02240, 02441, 00303, 04174, 04007, 00700, 04000, 00000, 00000 },
[01320] = { 01320, 03447, 00404, 04174, 04007, 00630, 02000, 00060, 00000 },
[01321] = { 03147, 04557, 00404, 04374, 04007, 00701, 00000, 00000, 00176 },
[01322] = { 01322, 03447, 00505, 04174, 04007, 00630, 02000, 00060, 00000 },
[01323] = { 01324, 03333, 00005, 07174, 04007, 00621, 00400, 00000, 00222 },
[01324] = { 00664, 03442, 00400, 04174, 04007, 00700, 02000, 00071, 00042 },
[01325] = { 01404, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00223 },
[01326] = { 00570, 00662, 00000, 00274, 04007, 00522, 02000, 00071, 00042 },
[01327] = { 00555, 04443, 00000, 04174, 04467, 00700, 00000, 00051, 01000 },
[01330] = { 03164, 00661, 00005, 07274, 04407, 00701, 00000, 00000, 00223 },
[01331] = { 03163, 01002, 00700, 04170, 04007, 00700, 04000, 00000, 00000 },
[01332] = { 01332, 03445, 00303, 04174, 04007, 00630, 02000, 00060, 00000 },
[01333] = { 03171, 04551, 00505, 04374, 00007, 00700, 00000, 00000, 07777 },
[01334] = { 03723, 03443, 00400, 04174, 04007, 00700, 00210, 00004, 00712 },
[01335] = { 03173, 04221, 00006, 04174, 00007, 00700, 00000, 00000, 00000 },
[01336] = { 03203, 03443, 00600, 04174, 04007, 00700, 00200, 00003, 00312 },
[01337] = { 03201, 03443, 00600, 04174, 04007, 00700, 00200, 00003, 00312 },
[01340] = { 03204, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[01341] = { 01342, 02113, 00603, 04174, 04007, 00521, 04000, 00000, 00000 },
[01342] = { 01400, 04221, 00013, 04170, 04007, 00700, 00000, 00000, 00000 },
[01343] = { 01344, 00111, 00704, 04174, 04007, 00370, 00000, 00000, 00000 },
[01344] = { 03201, 00111, 00706, 04170, 04007, 00700, 00200, 00003, 00312 },
[01345] = { 03203, 00111, 00706, 04170, 04007, 00700, 00200, 00003, 00312 },
[01346] = { 01400, 04221, 00013, 04170, 04007, 00700, 00000, 00000, 00000 },
[01347] = { 03205, 00111, 00706, 04174, 04007, 00700, 00000, 00000, 00000 },
[01350] = { 01400, 04221, 00013, 04170, 04007, 00700, 00000, 00000, 00000 },
[01351] = { 03231, 00111, 00706, 04174, 04007, 00700, 00000, 00000, 00000 },
[01352] = { 03235, 04551, 00303, 04374, 00007, 00700, 00000, 00000, 00777 },
[01353] = { 03235, 03551, 00303, 04374, 00007, 00700, 00000, 00077, 07000 },
[01354] = { 03235, 04551, 00505, 04374, 00007, 00700, 00000, 00000, 00777 },
[01355] = { 03235, 03551, 00505, 04374, 00007, 00700, 00000, 00077, 07000 },
[01356] = { 01356, 03446, 00505, 04174, 04047, 00630, 02000, 00060, 00000 },
[01357] = { 00420, 00111, 00503, 04174, 04003, 04701, 00000, 00000, 00000 },
[01360] = { 03236, 04551, 00606, 04374, 00007, 00700, 00000, 00000, 00777 },
[01361] = { 03236, 03551, 00606, 04374, 00007, 00700, 00000, 00077, 07000 },
[01362] = { 01364, 03771, 00003, 00276, 06007, 00520, 01000, 00030, 02000 },
[01363] = { 00555, 04443, 00000, 04174, 04467, 00700, 00000, 00071, 01000 },
[01364] = { 03241, 04551, 00303, 04374, 00007, 00700, 00000, 00000, 00777 },
[01365] = { 03242, 03551, 00303, 04374, 00007, 00700, 00000, 00077, 07000 },
[01366] = { 01370, 02113, 00406, 04174, 04007, 00311, 04000, 00000, 00000 },
[01367] = { 01366, 02445, 00506, 04174, 04007, 00700, 04000, 00000, 00000 },
[01370] = { 01372, 03447, 00606, 04174, 04007, 00700, 00000, 00000, 00000 },
[01371] = { 00555, 04443, 00000, 04174, 04467, 00700, 00000, 00071, 01000 },
[01372] = { 03725, 03445, 00303, 04174, 04007, 00700, 00010, 00000, 00000 },
[01373] = { 00144, 02113, 00604, 04174, 04007, 00421, 04000, 00000, 00000 },
[01374] = { 01376, 02441, 00305, 04174, 04007, 00521, 04000, 00000, 00000 },
[01375] = { 02003, 04222, 00000, 04174, 04007, 00700, 01000, 00071, 00233 },
[01376] = { 02000, 04553, 00500, 04374, 04007, 00321, 00000, 00077, 07000 },
[01377] = { 03245, 04222, 00000, 04174, 04007, 00700, 01000, 00071, 00244 },
[01400] = { 00110, 03443, 00100, 04174, 04156, 04700, 00200, 00014, 00012 },
[01401] = { 00110, 00111, 00701, 04170, 04156, 04700, 00200, 00014, 00012 },
[01402] = { 01500, 03770, 00303, 04344, 04003, 07700, 00200, 00003, 00001 },
[01403] = { 01404, 03333, 00003, 04174, 04007, 00520, 00000, 00000, 00000 },
[01404] = { 01500, 04443, 00000, 04174, 04003, 07700, 00200, 00003, 00001 },
[01405] = { 01404, 02441, 00303, 04174, 04467, 00701, 04000, 00001, 00001 },
[01406] = { 00506, 03771, 00005, 00276, 06007, 00700, 00200, 00003, 00002 },
[01407] = { 01500, 03771, 00003, 00276, 00003, 07700, 00200, 00003, 00001 },
[01410] = { 01500, 03771, 00003, 00270, 06003, 07700, 00200, 00003, 00001 },
[01411] = { 01410, 03770, 00303, 04344, 04007, 00700, 00000, 00000, 00000 },
[01412] = { 01407, 03770, 00303, 04344, 04007, 00700, 00000, 00000, 00000 },
[01413] = { 00511, 03770, 00303, 04344, 04007, 00700, 00000, 00000, 00000 },
[01414] = { 01500, 03770, 00303, 04344, 00003, 07700, 00200, 00003, 00001 },
[01415] = { 00512, 03770, 00303, 04344, 04007, 00700, 00000, 00000, 00000 },
[01416] = { 01500, 03770, 00303, 04340, 04003, 07700, 00200, 00003, 00001 },
[01417] = { 01420, 03333, 00003, 04174, 04007, 00530, 00000, 00000, 00000 },
[01420] = { 01500, 05731, 00003, 04174, 04003, 07700, 00200, 00003, 00001 },
[01421] = { 01500, 05431, 01203, 04174, 04003, 07700, 00200, 00003, 00001 },
[01422] = { 01424, 03333, 00003, 04174, 04007, 00530, 00000, 00000, 00000 },
[01423] = { 01426, 03333, 00003, 04174, 04007, 00520, 00000, 00000, 00000 },
[01424] = { 01402, 03771, 00003, 04374, 00007, 00700, 00000, 00000, 00000 },
[01425] = { 01402, 03771, 00003, 04374, 00007, 00700, 00000, 00077, 07777 },
[01426] = { 01402, 03771, 00003, 04370, 04007, 00700, 00000, 00000, 00000 },
[01427] = { 01402, 03771, 00003, 04370, 04007, 00700, 00000, 00077, 07777 },
[01430] = { 01432, 03333, 00003, 04174, 04007, 00520, 00000, 00000, 00000 },
[01431] = { 01126, 00111, 00703, 04174, 04467, 00701, 00000, 00001, 00001 },
[01432] = { 01500, 05371, 00003, 04174, 04003, 07700, 00200, 00003, 00001 },
[01433] = { 01500, 05341, 01203, 04174, 04003, 07700, 00200, 00003, 00001 },
[01434] = { 03107, 04551, 00404, 04374, 00007, 00700, 00010, 00037, 07777 },
[01436] = { 01515, 03440, 00404, 01174, 04007, 00700, 00400, 00000, 01441 },
[01437] = { 01126, 01111, 00703, 04174, 04467, 00701, 04000, 00001, 00001 },
[01440] = { 00270, 03771, 00005, 00276, 06003, 07700, 00000, 00000, 00000 },
[01441] = { 01500, 04221, 00003, 04174, 04003, 07700, 00200, 00003, 00001 },
[01442] = { 01500, 04551, 00303, 00274, 04003, 07700, 00200, 00003, 00001 },
[01443] = { 01500, 05551, 00303, 00274, 04003, 07700, 00200, 00003, 00001 },
[01444] = { 01442, 07441, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[01445] = { 01500, 06551, 00303, 00274, 04003, 07700, 00200, 00003, 00001 },
[01446] = { 01500, 03551, 00303, 00274, 04003, 07700, 00200, 00003, 00001 },
[01447] = { 01443, 07441, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[01450] = { 01500, 07551, 00303, 00274, 04003, 07700, 00200, 00003, 00001 },
[01451] = { 01500, 07771, 00003, 00274, 04003, 07700, 00200, 00003, 00001 },
[01452] = { 00564, 07771, 00005, 00274, 04007, 00700, 00000, 00000, 00000 },
[01453] = { 01500, 07441, 00303, 04174, 04003, 07700, 00200, 00003, 00001 },
[01454] = { 01446, 07441, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[01455] = { 01453, 04551, 00303, 00274, 04007, 00700, 00000, 00000, 00000 },
[01456] = { 01500, 02441, 00703, 04174, 04003, 07700, 04200, 00003, 00001 },
[01457] = { 01206, 00551, 00404, 01274, 04007, 00562, 00000, 00000, 01441 },
[01460] = { 02462, 04443, 00000, 04174, 04007, 00700, 00010, 00000, 00000 },
[01461] = { 02472, 03771, 00005, 00276, 06007, 00700, 00000, 00000, 00000 },
[01462] = { 00502, 04551, 01205, 00276, 06007, 00622, 00000, 00000, 00000 },
[01463] = { 01400, 03440, 00303, 00174, 04007, 00700, 00400, 00000, 00000 },
[01464] = { 00544, 04443, 00000, 04174, 04007, 00630, 02000, 00060, 00000 },
[01465] = { 01006, 03333, 00003, 04174, 04007, 00700, 02000, 00031, 05777 },
[01466] = { 00554, 03333, 00003, 04174, 04007, 00330, 03000, 00041, 04000 },
[01467] = { 02100, 03771, 00005, 04365, 05007, 00700, 00200, 00000, 00002 },
[01470] = { 00644, 04443, 00000, 04174, 04007, 00630, 02000, 00060, 00000 },
[01471] = { 01077, 03333, 00003, 04174, 04007, 00700, 02000, 00031, 05777 },
[01472] = { 01473, 03770, 00303, 04344, 04007, 00700, 00000, 00000, 00000 },
[01473] = { 00014, 04221, 00005, 04174, 04003, 07700, 00000, 00000, 00000 },
[01474] = { 01475, 03770, 00303, 04344, 04007, 00700, 00000, 00000, 00000 },
[01475] = { 00014, 04551, 00305, 00274, 04003, 07700, 00000, 00000, 00000 },
[01476] = { 00250, 02551, 00303, 00274, 04003, 07701, 04000, 00000, 00000 },
[01477] = { 00742, 03770, 00303, 04174, 00007, 00360, 00000, 00000, 00000 },
[01504] = { 00434, 04443, 00000, 04174, 04007, 00360, 00000, 00000, 00000 },
[01505] = { 01515, 03440, 00404, 01174, 04007, 00700, 00400, 00000, 01441 },
[01506] = { 01505, 03333, 00003, 04175, 05007, 00701, 00200, 00000, 00002 },
[01514] = { 00104, 04751, 01217, 04374, 04007, 00700, 00000, 00000, 01000 },
[01515] = { 00100, 03440, 00303, 00174, 04156, 04700, 00400, 00000, 00000 },
[01516] = { 01400, 03333, 00003, 04175, 05007, 00701, 00200, 00000, 00002 },
[01517] = { 01515, 03333, 00003, 04175, 05007, 00701, 00200, 00000, 00002 },
[01520] = { 00110, 03441, 00301, 04170, 04156, 04700, 00200, 00014, 00012 },
[01521] = { 00110, 03441, 00301, 04170, 04156, 04700, 00200, 00014, 00012 },
[01522] = { 00150, 01113, 00701, 04170, 04007, 00700, 04200, 00004, 00012 },
[01523] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01524] = { 00764, 04443, 00000, 04174, 04007, 00340, 00000, 00000, 00000 },
[01525] = { 02603, 03443, 00300, 04174, 04007, 00700, 00200, 00004, 00012 },
[01526] = { 00320, 04443, 00000, 04174, 04007, 00340, 00000, 00000, 00000 },
[01527] = { 01024, 04443, 00000, 04174, 04007, 00340, 00000, 00000, 00000 },
[01530] = { 01004, 01113, 00701, 04170, 04007, 00040, 04200, 00004, 00012 },
[01531] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01532] = { 00300, 01113, 00701, 04170, 04007, 00040, 04200, 00004, 00012 },
[01533] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01534] = { 01034, 04443, 00000, 04174, 04007, 00340, 00000, 00000, 00000 },
[01535] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01536] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01537] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01540] = { 00744, 04443, 00000, 04174, 04467, 00551, 00000, 00001, 00010 },
[01541] = { 01044, 04443, 00000, 04174, 04007, 00340, 00000, 00000, 00000 },
[01542] = { 00270, 02551, 00705, 00274, 04463, 07702, 04000, 00001, 00001 },
[01543] = { 02736, 03771, 00005, 04365, 05007, 00700, 00200, 00000, 00002 },
[01544] = { 02736, 03741, 00105, 04074, 04467, 00700, 00000, 00005, 00000 },
[01545] = { 02740, 03771, 00004, 00276, 06007, 00701, 00200, 00004, 00712 },
[01546] = { 02744, 03771, 00004, 00276, 06007, 00701, 00200, 00004, 00712 },
[01547] = { 00270, 00551, 01505, 00274, 04403, 07701, 00000, 00000, 00000 },
[01550] = { 02746, 03741, 00105, 04074, 04007, 00700, 00000, 00000, 00000 },
[01551] = { 02745, 03770, 00303, 04344, 00007, 00700, 00000, 00000, 00000 },
[01552] = { 02747, 03741, 00105, 04074, 04467, 00700, 00000, 00005, 00000 },
[01553] = { 03762, 03551, 00303, 04374, 00007, 00700, 00000, 00016, 00000 },
[01554] = { 02752, 03441, 00305, 04174, 04007, 00700, 00200, 00003, 00002 },
[01555] = { 02753, 03771, 00005, 00276, 06007, 00700, 00000, 00000, 00000 },
[01556] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01557] = { 00400, 04751, 01203, 04374, 04007, 00700, 00000, 00000, 00040 },
[01560] = { 01500, 00551, 00303, 00274, 04463, 07701, 00200, 00001, 00001 },
[01561] = { 01500, 02551, 00303, 00274, 04463, 07701, 04200, 00001, 00001 },
[01565] = { 03106, 03771, 00004, 01276, 06007, 00701, 00010, 00000, 01441 },
[01566] = { 03000, 03447, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[01567] = { 00531, 00113, 00207, 04174, 04007, 00700, 00200, 00003, 00312 },
[01570] = { 01360, 03771, 00006, 00276, 06007, 00521, 01000, 00040, 02000 },
[01571] = { 02775, 03442, 00300, 00174, 04007, 00700, 00000, 00000, 00000 },
[01574] = { 01362, 03441, 00305, 00174, 04007, 00621, 00000, 00000, 00000 },
[01576] = { 01577, 02441, 00303, 04174, 04007, 00700, 04000, 00000, 00000 },
[01577] = { 00720, 03771, 00005, 00276, 06006, 07701, 02000, 00020, 02000 },
[01600] = { 03022, 03441, 00305, 00174, 04007, 00700, 00000, 00000, 00000 },
[01601] = { 03023, 03441, 00305, 04174, 04007, 00700, 00000, 00000, 00000 },
[01610] = { 00240, 04443, 00000, 04174, 04007, 00360, 00000, 00000, 00000 },
[01611] = { 00270, 00551, 00705, 00274, 04463, 07702, 00000, 00001, 00001 },
[01612] = { 00572, 03771, 00003, 00276, 06007, 00700, 01000, 00031, 01777 },
[01613] = { 00604, 04551, 01203, 00276, 06007, 00700, 01000, 00041, 00001 },
[01614] = { 02462, 04443, 00000, 04174, 04007, 00700, 00010, 00000, 00000 },
[01615] = { 01210, 02551, 00404, 01274, 04007, 00562, 04000, 00000, 01441 },
[01616] = { 01374, 04553, 00300, 04374, 04007, 00321, 00000, 00077, 07000 },
[01617] = { 00014, 04551, 00305, 00274, 04003, 07700, 00000, 00000, 00000 },
[01620] = { 00350, 03770, 00305, 04334, 04016, 07351, 00010, 00033, 06000 },
[01621] = { 03246, 03333, 00003, 04174, 04007, 00700, 02000, 00041, 04000 },
[01622] = { 00612, 04222, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[01623] = { 00604, 03771, 00003, 00276, 06007, 00700, 01000, 00041, 00001 },
[01624] = { 03116, 03333, 00003, 04174, 04217, 00701, 01010, 00073, 00500 },
[01625] = { 00660, 03443, 00100, 04174, 04007, 00700, 00200, 00014, 00012 },
[01626] = { 00724, 04222, 00000, 04174, 04006, 07701, 00000, 00041, 01534 },
[01627] = { 03030, 04112, 00400, 04174, 04007, 00700, 00000, 00000, 00000 },
[01630] = { 00350, 03770, 00305, 04334, 04016, 07351, 00010, 00033, 06000 },
[01631] = { 02040, 03442, 00400, 04174, 04007, 00700, 02000, 00071, 00006 },
[01632] = { 00701, 03777, 00003, 00274, 04007, 00701, 01000, 00031, 01777 },
[01633] = { 00632, 03777, 00003, 00274, 04007, 00701, 01000, 00041, 00001 },
[01634] = { 03111, 03775, 00004, 00274, 04007, 00701, 00000, 00000, 00000 },
[01635] = { 03252, 02441, 00404, 04174, 04007, 00700, 04000, 00000, 00000 },
[01636] = { 00132, 03441, 00406, 04174, 04007, 00700, 00000, 00000, 00000 },
[01637] = { 03253, 04557, 00006, 01274, 04007, 00701, 00000, 00000, 01441 },
[01640] = { 03172, 03771, 00006, 00276, 06007, 00700, 00010, 00000, 00000 },
[01641] = { 02773, 03441, 00306, 00174, 04007, 00700, 00000, 00000, 00000 },
[01642] = { 03722, 03440, 00505, 00174, 04007, 00700, 00410, 00000, 00000 },
[01643] = { 03200, 00551, 00405, 04370, 04007, 00701, 00000, 00000, 00001 },
[01644] = { 02462, 03441, 00306, 04174, 04007, 00700, 00010, 00000, 00000 },
[01647] = { 01013, 03441, 00305, 04174, 04003, 07700, 00000, 00000, 00000 },
[01650] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01651] = { 00674, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[01652] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01653] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01654] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01655] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01656] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01657] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01660] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01661] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01662] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01663] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01664] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01665] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01666] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01667] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01700] = { 00137, 03771, 00005, 04374, 04007, 00700, 00000, 00001, 00001 },
[01701] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01702] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01703] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01704] = { 03543, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00230 },
[01705] = { 03560, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00230 },
[01706] = { 03542, 03771, 00005, 04304, 04007, 00701, 00000, 00000, 00000 },
[01707] = { 03540, 03771, 00005, 04304, 04007, 00701, 00000, 00000, 00000 },
[01710] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01711] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01712] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01713] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01714] = { 02410, 04553, 00300, 04374, 04007, 00331, 00000, 00001, 00000 },
[01715] = { 03653, 03441, 01405, 04174, 04007, 00700, 00000, 00000, 00000 },
[01716] = { 00136, 03441, 01405, 04174, 04007, 00700, 00000, 00000, 00000 },
[01717] = { 03541, 03441, 01405, 04174, 04007, 00700, 00000, 00000, 00000 },
[01720] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01721] = { 02376, 04551, 01105, 04374, 00007, 00700, 00000, 00050, 07700 },
[01722] = { 03655, 03443, 00300, 04174, 04147, 00700, 00200, 00000, 00010 },
[01723] = { 03566, 03443, 00300, 04174, 04007, 00700, 00200, 00004, 00012 },
[01724] = { 02366, 03445, 00303, 04174, 04007, 00700, 02000, 00071, 00006 },
[01725] = { 02374, 03447, 01005, 04174, 04007, 00700, 02000, 00071, 00006 },
[01726] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01727] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01730] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01731] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01732] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01733] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01734] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01735] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01736] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01737] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01740] = { 00400, 04751, 01203, 04374, 04007, 00700, 00000, 00000, 00040 },
[01741] = { 00400, 04751, 01203, 04374, 04007, 00700, 00000, 00000, 00040 },
[01742] = { 00400, 04751, 01203, 04374, 04007, 00700, 00000, 00000, 00040 },
[01743] = { 00400, 04751, 01203, 04374, 04007, 00700, 00000, 00000, 00040 },
[01744] = { 00400, 04751, 01203, 04374, 04007, 00700, 00000, 00000, 00040 },
[01746] = { 00400, 04751, 01203, 04374, 04007, 00700, 00000, 00000, 00040 },
[01747] = { 00400, 04751, 01203, 04374, 04007, 00700, 00000, 00000, 00040 },
[01750] = { 00400, 04751, 01203, 04374, 04007, 00700, 00000, 00000, 00040 },
[01751] = { 00400, 04751, 01203, 04374, 04007, 00700, 00000, 00000, 00040 },
[01754] = { 03732, 03443, 00300, 04174, 04207, 00700, 00200, 00004, 00012 },
[01755] = { 03733, 03443, 00300, 04174, 04207, 00700, 00200, 00003, 00012 },
[01760] = { 03653, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00215 },
[01761] = { 03653, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00216 },
[01762] = { 03653, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00220 },
[01763] = { 03653, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00217 },
[01764] = { 03633, 04451, 01205, 04324, 04007, 00700, 00000, 00000, 00000 },
[01765] = { 03653, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00302 },
[01766] = { 03653, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00227 },
[01767] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[01770] = { 03606, 04443, 00000, 04174, 04007, 00703, 00200, 00006, 00002 },
[01771] = { 03610, 04443, 00000, 04174, 04007, 00703, 00200, 00006, 00002 },
[01772] = { 03612, 04443, 00000, 04174, 04007, 00703, 00200, 00006, 00002 },
[01773] = { 03614, 04443, 00000, 04174, 04007, 00703, 00200, 00006, 00002 },
[01774] = { 03631, 04443, 00000, 04174, 04007, 00700, 00200, 00004, 00002 },
[01775] = { 03642, 04443, 00000, 04174, 04007, 00700, 00200, 00004, 00002 },
[01776] = { 03616, 04443, 00000, 04174, 04007, 00703, 00200, 00006, 00002 },
[01777] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[02000] = { 03245, 04222, 00000, 04174, 04007, 00700, 01000, 00071, 00244 },
[02001] = { 02003, 04222, 00000, 04174, 04007, 00700, 01000, 00071, 00233 },
[02002] = { 02002, 03446, 00303, 04174, 04047, 00630, 02000, 00060, 00000 },
[02003] = { 00420, 03333, 00003, 04174, 04003, 04701, 00000, 00000, 00000 },
[02004] = { 02003, 04551, 00303, 04374, 00007, 00700, 00000, 00000, 00777 },
[02005] = { 02003, 03551, 00303, 04374, 00007, 00700, 00000, 00077, 07000 },
[02006] = { 02006, 03446, 00303, 04174, 04047, 00630, 02000, 00060, 00000 },
[02007] = { 00063, 03447, 00705, 04174, 04003, 07700, 00000, 00000, 00000 },
[02010] = { 02010, 03445, 00303, 04174, 04007, 00630, 02000, 00060, 00000 },
[02011] = { 00100, 03440, 00303, 00174, 04156, 04700, 00400, 00000, 00000 },
[02012] = { 00100, 03440, 00303, 00174, 04156, 04700, 00400, 00000, 00000 },
[02013] = { 02014, 03223, 00000, 04174, 04007, 00621, 00000, 00000, 00000 },
[02014] = { 01514, 00111, 00703, 04174, 04003, 07700, 00200, 00003, 00001 },
[02015] = { 00073, 07441, 01205, 04174, 04007, 00700, 00000, 00000, 00000 },
[02016] = { 00420, 03444, 00303, 04174, 04063, 04701, 01000, 00041, 01777 },
[02017] = { 01514, 04443, 00000, 04174, 04003, 07700, 00200, 00003, 00001 },
[02020] = { 00440, 07441, 00303, 04174, 04003, 04701, 00000, 00000, 00000 },
[02021] = { 00440, 02441, 00303, 04174, 04003, 04701, 04000, 00000, 00000 },
[02022] = { 03251, 07441, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[02023] = { 02024, 03223, 00000, 04174, 04007, 00621, 00000, 00000, 00000 },
[02024] = { 03251, 07441, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[02025] = { 03251, 02441, 00303, 04174, 04007, 00700, 04000, 00000, 00000 },
[02026] = { 02030, 05547, 00505, 00374, 04007, 00631, 00000, 00077, 07400 },
[02027] = { 02030, 03547, 00505, 00374, 04007, 00631, 00000, 00077, 07400 },
[02030] = { 02032, 03442, 00600, 04174, 04007, 00700, 00000, 00000, 00000 },
[02031] = { 03255, 03771, 00016, 00276, 06007, 00700, 02000, 00041, 02000 },
[02032] = { 00153, 03441, 00516, 04174, 04007, 00700, 00010, 00000, 00000 },
[02033] = { 03254, 03441, 01605, 04174, 04007, 00700, 00000, 00000, 00000 },
[02034] = { 00153, 03441, 00316, 04174, 04007, 00700, 00010, 00000, 00000 },
[02035] = { 03257, 03441, 01603, 04174, 04007, 00700, 00000, 00000, 00000 },
[02036] = { 02036, 03446, 01616, 04174, 04047, 00630, 02000, 00060, 00000 },
[02037] = { 00453, 03221, 00017, 04174, 04007, 00700, 00000, 00000, 00000 },
[02040] = { 02040, 03444, 00303, 04174, 04047, 00630, 02000, 00060, 00000 },
[02041] = { 03270, 03446, 01200, 04174, 04007, 00700, 00000, 00000, 00000 },
[02042] = { 01032, 05547, 00606, 04374, 04007, 00701, 00000, 00077, 07400 },
[02043] = { 01032, 03547, 00606, 04374, 04007, 00701, 00000, 00077, 07400 },
[02044] = { 02045, 00002, 00500, 04174, 04007, 00700, 00000, 00000, 00000 },
[02045] = { 03300, 03444, 00303, 04174, 04047, 00700, 00000, 00000, 00000 },
[02046] = { 02047, 00002, 00500, 04174, 04007, 00700, 00000, 00000, 00000 },
[02047] = { 00520, 03333, 00003, 04174, 04003, 04701, 01000, 00041, 00002 },
[02050] = { 03303, 04557, 00004, 01274, 04007, 00700, 00000, 00000, 01441 },
[02051] = { 03301, 07441, 01717, 04174, 04007, 00700, 00000, 00000, 00000 },
[02052] = { 02054, 05547, 00303, 04374, 04007, 00701, 00000, 00077, 07400 },
[02053] = { 03304, 07441, 01717, 04174, 04007, 00700, 00000, 00000, 00000 },
[02054] = { 03061, 03442, 00400, 04174, 04007, 00700, 00010, 00000, 00000 },
[02055] = { 02056, 02113, 00305, 04174, 04007, 00521, 04000, 00000, 00000 },
[02056] = { 00555, 04443, 00000, 04174, 04467, 00700, 00000, 00071, 01000 },
[02057] = { 00734, 03221, 00004, 04174, 04007, 00700, 00000, 00000, 00000 },
[02060] = { 00520, 03441, 01603, 04174, 04003, 04701, 00000, 00000, 00000 },
[02061] = { 00200, 03441, 01603, 04174, 04003, 04701, 00000, 00000, 00000 },
[02062] = { 00520, 03444, 00303, 04174, 04043, 04701, 01000, 00041, 01777 },
[02063] = { 01515, 03440, 00303, 01174, 04007, 00700, 00400, 00000, 01441 },
[02064] = { 03312, 07222, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[02065] = { 02066, 02222, 00000, 04174, 04007, 00511, 04000, 00000, 00000 },
[02066] = { 00200, 07441, 00303, 04174, 04003, 04701, 00000, 00000, 00000 },
[02067] = { 00200, 02441, 00303, 04174, 04003, 04701, 04000, 00000, 00000 },
[02070] = { 03314, 07333, 00003, 00174, 04007, 00700, 00400, 00000, 00000 },
[02071] = { 03314, 02443, 00300, 00174, 04007, 00701, 04400, 00000, 00000 },
[02072] = { 00200, 03444, 00303, 04174, 04043, 04701, 01000, 00041, 01777 },
[02073] = { 01515, 03440, 00303, 01174, 04007, 00700, 00400, 00000, 01441 },
[02074] = { 00023, 03551, 01313, 04374, 00004, 01700, 00000, 00000, 02000 },
[02075] = { 00023, 05551, 01313, 04374, 00004, 01700, 00000, 00000, 02000 },
[02076] = { 03400, 03333, 00005, 07174, 04001, 02700, 00400, 00000, 00241 },
[02077] = { 00556, 03771, 00005, 04374, 00007, 00700, 00000, 00077, 07777 },
[02100] = { 03556, 04553, 00500, 04374, 04007, 00321, 00010, 00076, 00740 },
[02101] = { 03556, 04553, 00500, 04374, 04007, 00321, 00010, 00077, 07000 },
[02102] = { 03520, 04521, 00306, 04374, 04007, 00700, 00010, 00077, 07000 },
[02103] = { 02106, 02113, 00305, 01174, 04007, 00521, 04400, 00000, 01443 },
[02104] = { 03317, 04521, 00206, 04374, 04007, 00700, 00000, 00000, 00740 },
[02105] = { 02102, 03771, 00003, 00276, 06007, 00700, 00000, 00000, 00000 },
[02106] = { 03324, 07441, 00503, 04174, 04007, 00700, 00000, 00000, 00000 },
[02107] = { 03324, 07441, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[02110] = { 02110, 04224, 00003, 04174, 04026, 07701, 01000, 00041, 01770 },
[02111] = { 03620, 04443, 00000, 04174, 04007, 00700, 00010, 00000, 00000 },
[02112] = { 03327, 07221, 00003, 04174, 04007, 00700, 00000, 00000, 00000 },
[02113] = { 03342, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00211 },
[02114] = { 03331, 03440, 00303, 01174, 04007, 00700, 00400, 00000, 01443 },
[02115] = { 02114, 01111, 00503, 04174, 04007, 00700, 04000, 00000, 00000 },
[02116] = { 02117, 00111, 00503, 04174, 04007, 00700, 00000, 00000, 00000 },
[02117] = { 03333, 03111, 00603, 04174, 04007, 00700, 00000, 00000, 00000 },
[02120] = { 03337, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00211 },
[02121] = { 02122, 01111, 00704, 04174, 04007, 00521, 04000, 00000, 00000 },
[02122] = { 01020, 03770, 00305, 04334, 04016, 07371, 00000, 00033, 06000 },
[02123] = { 00546, 04223, 00000, 01174, 04007, 00700, 00400, 00000, 01443 },
[02124] = { 03724, 00111, 00403, 04174, 04007, 00700, 00010, 00000, 00000 },
[02125] = { 03767, 03113, 00306, 00174, 04007, 00700, 00400, 00000, 00000 },
[02126] = { 02127, 00111, 00703, 04174, 04007, 00700, 00000, 00000, 00000 },
[02127] = { 02132, 00111, 00703, 04170, 04007, 00700, 00200, 00004, 00012 },
[02130] = { 03556, 04553, 00400, 04374, 04007, 00321, 00010, 00077, 07000 },
[02131] = { 03556, 04553, 00600, 04374, 04007, 00321, 00010, 00077, 07000 },
[02132] = { 03722, 04221, 00003, 04174, 04007, 00700, 00010, 00000, 00000 },
[02133] = { 03360, 03223, 00000, 07174, 04007, 00700, 00400, 00000, 00244 },
[02134] = { 02131, 03771, 00006, 00276, 06007, 00700, 00000, 00000, 00000 },
[02135] = { 02126, 02113, 00604, 04174, 04007, 00521, 04000, 00000, 00000 },
[02136] = { 00250, 04221, 00013, 04170, 04003, 07700, 00000, 00000, 00000 },
[02137] = { 03351, 03771, 00003, 01276, 06007, 00701, 00000, 00000, 01441 },
[02140] = { 03363, 03772, 00000, 07274, 04007, 00701, 00000, 00000, 00244 },
[02141] = { 02136, 04221, 00003, 04174, 04007, 00700, 00000, 00000, 00000 },
[02142] = { 03511, 03771, 00003, 01276, 06007, 00701, 00010, 00000, 01444 },
[02143] = { 00340, 03333, 00003, 04174, 04006, 05701, 01000, 00051, 00770 },
[02144] = { 02240, 03771, 00004, 01276, 06007, 00701, 00010, 00000, 01444 },
[02145] = { 02240, 03333, 00004, 07174, 04007, 00700, 00410, 00000, 00250 },
[02146] = { 02150, 03440, 00404, 01174, 04007, 00700, 00400, 00000, 01444 },
[02147] = { 02200, 03333, 00003, 07174, 04007, 00520, 00400, 00000, 00247 },
[02150] = { 02174, 03333, 00006, 04174, 04007, 00520, 00010, 00000, 00000 },
[02151] = { 00616, 04551, 00303, 04374, 00003, 07700, 00000, 00000, 00777 },
[02152] = { 03375, 07771, 00003, 07274, 04007, 00701, 00000, 00000, 00242 },
[02153] = { 01114, 03771, 00005, 01276, 06007, 00622, 00000, 00000, 01443 },
[02154] = { 01114, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[02155] = { 03372, 03775, 00005, 01276, 06007, 00701, 00000, 00000, 01444 },
[02156] = { 03725, 00551, 00505, 01274, 04007, 00700, 00010, 00000, 01444 },
[02157] = { 00460, 00113, 00305, 01174, 04007, 00701, 00400, 00000, 01444 },
[02160] = { 00004, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[02161] = { 03374, 04551, 00404, 04374, 00007, 00700, 00000, 00037, 07777 },
[02162] = { 03401, 03771, 00004, 01276, 06007, 00701, 00000, 00000, 01444 },
[02163] = { 03377, 03771, 00003, 01276, 06007, 00701, 00000, 00000, 01444 },
[02164] = { 03400, 04551, 00303, 04374, 00007, 00700, 00000, 00037, 07777 },
[02165] = { 03400, 03551, 00303, 04374, 00007, 00700, 00000, 00040, 00000 },
[02166] = { 02174, 03770, 00606, 00174, 04007, 00520, 00410, 00000, 00000 },
[02167] = { 00260, 04221, 00013, 04170, 04007, 00700, 00000, 00000, 00000 },
[02170] = { 02173, 07771, 00003, 01274, 04007, 00700, 00000, 00000, 01443 },
[02171] = { 02172, 01771, 00003, 01274, 04007, 00621, 04000, 00000, 01443 },
[02172] = { 02173, 04571, 01204, 04374, 04007, 00700, 00000, 00040, 00000 },
[02173] = { 03403, 03440, 00303, 01174, 04007, 00700, 00400, 00000, 01443 },
[02174] = { 03404, 04223, 00000, 01174, 04007, 00700, 00400, 00000, 01443 },
[02175] = { 00001, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[02176] = { 03405, 04551, 00606, 04374, 04007, 00700, 00000, 00077, 07000 },
[02177] = { 03423, 03771, 00003, 00276, 06007, 00700, 00000, 00000, 00000 },
[02200] = { 02210, 04221, 00006, 04170, 04007, 00700, 00000, 00000, 00000 },
[02201] = { 02204, 03551, 00606, 04374, 00007, 00700, 00000, 00010, 00000 },
[02202] = { 02200, 03440, 00404, 01174, 04007, 00700, 00400, 00000, 01441 },
[02203] = { 03407, 00111, 00704, 04174, 04007, 00700, 00000, 00000, 00000 },
[02204] = { 03110, 04551, 00404, 04374, 00007, 00700, 00010, 00037, 07777 },
[02205] = { 02240, 03441, 01617, 04174, 04007, 00700, 00210, 00000, 00010 },
[02206] = { 02202, 03770, 00303, 00174, 04007, 00520, 00400, 00000, 00000 },
[02207] = { 02236, 01551, 00404, 06274, 04007, 00561, 04000, 00000, 00000 },
[02210] = { 00441, 03771, 00003, 00276, 06007, 00700, 00000, 00000, 00000 },
[02211] = { 02214, 03551, 00606, 04374, 00007, 00700, 00000, 00020, 00000 },
[02212] = { 02214, 03551, 00606, 04374, 00007, 00700, 00000, 00020, 00000 },
[02213] = { 02214, 00111, 00706, 04174, 04007, 00700, 00000, 00000, 00000 },
[02214] = { 03520, 03771, 00003, 01276, 06007, 00701, 00010, 00000, 01443 },
[02215] = { 03410, 04221, 00005, 04174, 04007, 00700, 00000, 00000, 00000 },
[02216] = { 03433, 03771, 00004, 07274, 04007, 00701, 00000, 00000, 00250 },
[02217] = { 02220, 03333, 00006, 04174, 04007, 00520, 00000, 00000, 00000 },
[02220] = { 02177, 03440, 00606, 01174, 04007, 00700, 00400, 00000, 01443 },
[02221] = { 03412, 03441, 00603, 04174, 00007, 00700, 00000, 00000, 00000 },
[02222] = { 03434, 00111, 00704, 04174, 04007, 00700, 00000, 00000, 00000 },
[02223] = { 03430, 03440, 00303, 00174, 04007, 00700, 00400, 00000, 00000 },
[02224] = { 00562, 02441, 00705, 04174, 04467, 00701, 04000, 00003, 00000 },
[02225] = { 00260, 04221, 00013, 04170, 04467, 00700, 00000, 00005, 00000 },
[02226] = { 03720, 04221, 00013, 04170, 04007, 00700, 00010, 00000, 00000 },
[02227] = { 02230, 04553, 00600, 04374, 04007, 00331, 00000, 00077, 07777 },
[02230] = { 00637, 04221, 00003, 04174, 00007, 00700, 00000, 00000, 00000 },
[02231] = { 02232, 04553, 00600, 04374, 04007, 00321, 00000, 00010, 00000 },
[02232] = { 02233, 03770, 00303, 04344, 04007, 00700, 00000, 00000, 00000 },
[02233] = { 00637, 04221, 00003, 04174, 00007, 00700, 00000, 00000, 00000 },
[02234] = { 02205, 00551, 00616, 04374, 04007, 00701, 00000, 00000, 00344 },
[02235] = { 02717, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[02236] = { 02237, 01111, 00703, 04174, 04007, 00700, 04000, 00000, 00000 },
[02237] = { 03435, 00551, 00616, 04374, 04007, 00701, 00000, 00000, 00373 },
[02240] = { 00002, 04551, 00404, 04374, 00004, 01700, 00000, 00037, 07777 },
[02241] = { 03437, 00551, 00303, 06274, 04007, 00700, 00000, 00000, 00000 },
[02242] = { 00006, 04551, 00404, 04374, 00004, 01700, 00000, 00037, 07777 },
[02243] = { 02242, 00111, 00703, 04174, 04007, 00700, 00000, 00000, 00000 },
[02244] = { 03720, 00115, 00505, 04174, 04007, 00700, 00010, 00000, 00000 },
[02245] = { 00654, 03333, 00005, 04174, 04003, 01701, 00000, 00000, 00000 },
[02246] = { 02246, 03447, 00303, 04174, 04007, 00630, 02000, 00060, 00000 },
[02247] = { 03443, 04551, 00303, 04374, 04007, 00700, 00000, 00000, 00777 },
[02250] = { 03556, 04553, 00600, 04374, 04007, 00321, 00010, 00004, 07777 },
[02251] = { 04034, 04443, 00000, 04174, 04007, 00700, 00010, 00000, 00000 },
[02252] = { 02252, 03447, 00505, 04174, 04007, 00630, 02000, 00060, 00000 },
[02253] = { 00661, 03333, 00005, 04174, 04003, 05701, 00000, 00000, 00000 },
[02254] = { 03441, 03443, 00600, 04174, 04007, 00700, 00200, 00004, 00012 },
[02255] = { 02574, 04553, 00300, 04374, 04007, 00321, 00000, 00000, 00077 },
[02256] = { 03463, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[02257] = { 00710, 03333, 00003, 04174, 04003, 05701, 00000, 00000, 00000 },
[02260] = { 01515, 03770, 00303, 04334, 04017, 00700, 00000, 00041, 00000 },
[02261] = { 02260, 00111, 00703, 04174, 04007, 00700, 01000, 00051, 00700 },
[02262] = { 03720, 03772, 00000, 01275, 05007, 00701, 00010, 00000, 01444 },
[02263] = { 03447, 04443, 00000, 04174, 04007, 00700, 00200, 00003, 00002 },
[02264] = { 02321, 03771, 00003, 01276, 06007, 00701, 00010, 00000, 01441 },
[02265] = { 00360, 03333, 00003, 04174, 04006, 05701, 00010, 00000, 00000 },
[02266] = { 00700, 03447, 00303, 07174, 04007, 00700, 00000, 00000, 00241 },
[02267] = { 00006, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[02270] = { 00705, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[02271] = { 03463, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[02272] = { 03457, 04751, 01203, 04374, 04007, 00700, 00010, 00000, 00002 },
[02273] = { 00740, 03771, 00003, 04365, 05007, 00621, 00200, 00000, 00002 },
[02274] = { 00760, 03771, 00003, 07274, 04007, 00622, 00000, 00000, 00244 },
[02275] = { 02276, 04251, 00303, 04374, 04007, 00700, 00000, 00000, 00077 },
[02276] = { 03457, 00111, 00703, 07174, 04007, 00700, 00010, 00000, 00240 },
[02277] = { 00760, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[02300] = { 03461, 04551, 00303, 04374, 04007, 00700, 00000, 00000, 00077 },
[02301] = { 03463, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[02302] = { 02304, 03447, 00303, 04174, 04007, 00700, 02000, 00071, 00000 },
[02303] = { 02302, 03551, 00303, 04370, 04007, 00700, 00000, 00000, 00200 },
[02304] = { 02304, 03447, 00303, 04174, 04007, 00630, 02000, 00060, 00000 },
[02305] = { 03472, 00111, 00306, 04170, 04007, 00700, 00000, 00000, 00000 },
[02306] = { 00002, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[02307] = { 00332, 04443, 00000, 07174, 04007, 00700, 00000, 00000, 00244 },
[02310] = { 03721, 03445, 00303, 04174, 04007, 00700, 00010, 00000, 00000 },
[02311] = { 02312, 04553, 00300, 04374, 04007, 00331, 00000, 00000, 00001 },
[02312] = { 00721, 03441, 00403, 04174, 04003, 01701, 00000, 00000, 00000 },
[02313] = { 02312, 03770, 00404, 04344, 04007, 00700, 00000, 00000, 00000 },
[02314] = { 00754, 03333, 00004, 04174, 04003, 07530, 00000, 00000, 00000 },
[02315] = { 00005, 04251, 00403, 04374, 04004, 01700, 00000, 00007, 07777 },
[02316] = { 01120, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00242 },
[02317] = { 01120, 00551, 00703, 07274, 04007, 00701, 00000, 00000, 00242 },
[02320] = { 00001, 03771, 00003, 01276, 06004, 01701, 00000, 00000, 01443 },
[02321] = { 03505, 03771, 00003, 01276, 06007, 00701, 00000, 00000, 01441 },
[02322] = { 03115, 03333, 00003, 04174, 04217, 00701, 01010, 00073, 00500 },
[02323] = { 00340, 03333, 00003, 04174, 04006, 05701, 01000, 00051, 00770 },
[02324] = { 03511, 03771, 00003, 01276, 06007, 00701, 00010, 00000, 01444 },
[02325] = { 02265, 00113, 00404, 04174, 04007, 00701, 01000, 00077, 00000 },
[02326] = { 03533, 03771, 00003, 01276, 06007, 00701, 00010, 00000, 01441 },
[02327] = { 02720, 03440, 00505, 01174, 04007, 00700, 00400, 00000, 01441 },
[02330] = { 03513, 03441, 00503, 04174, 04217, 00700, 00000, 00000, 00600 },
[02331] = { 03632, 00111, 00703, 04174, 04007, 00700, 00010, 00000, 00000 },
[02332] = { 03512, 03770, 00503, 04334, 04017, 00700, 00000, 00032, 06000 },
[02333] = { 02402, 04221, 00003, 04174, 04007, 00700, 00000, 00000, 00000 },
[02334] = { 03533, 03771, 00003, 01276, 06007, 00701, 00010, 00000, 01444 },
[02335] = { 02720, 03440, 00505, 01174, 04007, 00700, 00400, 00000, 01444 },
[02336] = { 03526, 03440, 00303, 01174, 04007, 00700, 00400, 00000, 01443 },
[02337] = { 02340, 03441, 00304, 04174, 04007, 00700, 00000, 00000, 00000 },
[02340] = { 03731, 03551, 00404, 07274, 04007, 00701, 00010, 00000, 00214 },
[02341] = { 03525, 01111, 00503, 04174, 04007, 00700, 04000, 00000, 00000 },
[02342] = { 03536, 00111, 01103, 04364, 04007, 00700, 00200, 00024, 01016 },
[02343] = { 03536, 00111, 01003, 04364, 04007, 00700, 00200, 00024, 01016 },
[02344] = { 02735, 04443, 00000, 04174, 04467, 00700, 00000, 00001, 00000 },
[02345] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[02346] = { 02347, 03111, 00405, 04174, 04007, 00700, 00000, 00000, 00000 },
[02347] = { 02350, 04553, 00300, 04374, 04007, 00331, 00000, 00004, 00000 },
[02350] = { 02351, 05111, 00405, 04174, 04007, 00700, 00000, 00000, 00000 },
[02351] = { 03550, 03771, 00006, 04304, 04007, 00701, 00000, 00000, 00000 },
[02352] = { 02353, 05111, 00406, 04174, 04007, 00700, 00000, 00000, 00000 },
[02353] = { 02354, 04553, 00300, 04374, 04007, 00331, 00000, 00001, 00000 },
[02354] = { 02355, 03111, 00406, 04174, 04007, 00700, 00000, 00000, 00000 },
[02355] = { 02356, 04553, 00300, 04374, 04007, 00331, 00000, 00003, 00000 },
[02356] = { 03553, 03333, 00006, 04174, 04007, 00700, 00000, 00000, 00000 },
[02357] = { 03551, 03333, 00005, 04174, 04007, 00700, 00000, 00000, 00000 },
[02360] = { 02362, 04551, 00303, 04374, 00007, 00321, 00000, 00010, 00000 },
[02361] = { 03567, 04551, 01111, 04374, 00007, 00700, 00000, 00077, 00077 },
[02362] = { 03571, 04551, 00305, 04374, 04007, 00700, 00000, 00000, 03777 },
[02363] = { 01400, 03111, 00311, 04174, 00477, 00700, 00000, 00000, 00000 },
[02364] = { 02364, 03445, 00505, 04174, 04007, 00630, 02000, 00060, 00000 },
[02365] = { 03572, 04551, 01111, 04374, 00007, 00700, 00000, 00077, 07774 },
[02366] = { 02366, 03445, 00303, 04174, 04007, 00630, 02000, 00060, 00000 },
[02367] = { 03575, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00230 },
[02370] = { 02371, 03551, 00505, 04370, 04007, 00700, 00000, 00003, 00000 },
[02371] = { 03577, 03333, 00005, 04174, 04257, 00700, 00000, 00000, 00000 },
[02372] = { 02432, 03551, 01010, 04374, 00007, 00700, 00000, 00040, 00000 },
[02373] = { 02432, 05551, 01010, 04374, 00007, 00700, 00000, 00040, 00000 },
[02374] = { 02374, 03447, 00505, 04174, 04007, 00630, 02000, 00060, 00000 },
[02375] = { 03602, 04551, 00505, 04374, 04007, 00700, 00000, 00006, 03777 },
[02376] = { 02400, 03447, 01106, 04174, 04007, 00700, 02010, 00071, 00006 },
[02377] = { 03654, 03443, 00300, 04174, 04007, 00700, 00200, 00003, 00012 },
[02400] = { 02400, 03447, 00606, 04174, 04007, 00630, 02000, 00060, 00000 },
[02401] = { 03605, 04551, 00606, 04374, 04007, 00700, 00000, 00000, 03777 },
[02402] = { 03624, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00301 },
[02403] = { 02331, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00300 },
[02404] = { 00002, 03333, 00003, 07174, 04004, 01700, 00400, 00000, 00303 },
[02405] = { 03626, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00302 },
[02406] = { 02407, 03441, 00604, 04174, 04007, 00700, 00000, 00000, 00000 },
[02407] = { 03636, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00300 },
[02410] = { 02411, 04221, 00014, 04174, 04007, 00700, 00000, 00000, 00000 },
[02411] = { 02412, 04553, 00300, 04374, 04007, 00331, 00000, 00074, 00000 },
[02412] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[02413] = { 03645, 04551, 00305, 04374, 04007, 00700, 00000, 00000, 00177 },
[02414] = { 02415, 05111, 00514, 04174, 00007, 00700, 00000, 00000, 00000 },
[02415] = { 02416, 04553, 00300, 04374, 04007, 00331, 00000, 00000, 04000 },
[02416] = { 02417, 03111, 00514, 04174, 00007, 00700, 00000, 00000, 00000 },
[02417] = { 02420, 04553, 00300, 04374, 04007, 00331, 00000, 00000, 00200 },
[02420] = { 02421, 03551, 01414, 04370, 04007, 00700, 00000, 00000, 00200 },
[02421] = { 02422, 04553, 00300, 04374, 04007, 00331, 00000, 00000, 00400 },
[02422] = { 02423, 05551, 01414, 04370, 04007, 00700, 00000, 00000, 00200 },
[02423] = { 02424, 04553, 00300, 04374, 04007, 00331, 00000, 00000, 02000 },
[02424] = { 02425, 03111, 00514, 04170, 04007, 00700, 00000, 00000, 00000 },
[02425] = { 00304, 04553, 00300, 04374, 04007, 00331, 00000, 00000, 01000 },
[02426] = { 03661, 03771, 00003, 04374, 04007, 00700, 00010, 00037, 07377 },
[02427] = { 03656, 03771, 00005, 04374, 04247, 00700, 00000, 00000, 01001 },
[02430] = { 02430, 01111, 00503, 04174, 04247, 00630, 06000, 00060, 01000 },
[02431] = { 02435, 03333, 00003, 04174, 04007, 00700, 00000, 00000, 00000 },
[02432] = { 03661, 03771, 00003, 04374, 04007, 00700, 00010, 00037, 07377 },
[02433] = { 03657, 03771, 00005, 04374, 04347, 00700, 00000, 00000, 01001 },
[02434] = { 02434, 01111, 00503, 04174, 04347, 00630, 06000, 00060, 01000 },
[02435] = { 03660, 04223, 00000, 07174, 04007, 00700, 00400, 00000, 00424 },
[02436] = { 03726, 04571, 01203, 04374, 04007, 00700, 00010, 00024, 01300 },
[02437] = { 02440, 03771, 00003, 04364, 04007, 00331, 00200, 00000, 00002 },
[02440] = { 03702, 04221, 00004, 04174, 04007, 00700, 00000, 00000, 00000 },
[02441] = { 03674, 03445, 00603, 04174, 04007, 00700, 00000, 00000, 00000 },
[02442] = { 02444, 06553, 00300, 04374, 04007, 00321, 00000, 00026, 04000 },
[02443] = { 03701, 04521, 01205, 04074, 04007, 00700, 00000, 00000, 00000 },
[02444] = { 00104, 04751, 01217, 04374, 04007, 00700, 00000, 00000, 00101 },
[02445] = { 00470, 04443, 00000, 04174, 04007, 00700, 00200, 00023, 00002 },
[02446] = { 03702, 00111, 01504, 04174, 04007, 00700, 00000, 00000, 00000 },
[02447] = { 02450, 04571, 01203, 04374, 04007, 00700, 00000, 00024, 01240 },
[02450] = { 03726, 03111, 00403, 04174, 04007, 00700, 00010, 00000, 00000 },
[02451] = { 02452, 03771, 00016, 04364, 04007, 00700, 00200, 00000, 00002 },
[02452] = { 03723, 00551, 01005, 04374, 04007, 00701, 00010, 00000, 00100 },
[02453] = { 03703, 00111, 00504, 04174, 04007, 00700, 00200, 00024, 01016 },
[02454] = { 03704, 04557, 01606, 04374, 04007, 00701, 00000, 00000, 00774 },
[02455] = { 00104, 04751, 01217, 04374, 04007, 00700, 00000, 00000, 00102 },
[02456] = { 03706, 03771, 00005, 04374, 04007, 00700, 00000, 00004, 00000 },
[02457] = { 00004, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[02460] = { 00004, 05111, 00514, 04170, 04004, 01700, 00000, 00000, 00000 },
[02461] = { 03706, 03447, 00505, 04174, 04007, 00700, 00000, 00000, 00000 },
[02462] = { 02502, 04443, 00000, 04174, 04137, 00700, 00010, 00000, 00000 },
[02463] = { 00067, 04443, 00000, 04174, 04003, 07700, 00000, 00000, 00000 },
[02464] = { 03716, 03113, 00305, 04174, 04007, 00701, 00210, 00000, 00036 },
[02465] = { 01027, 03771, 00005, 04364, 04003, 07700, 00200, 00000, 00002 },
[02466] = { 02470, 03447, 00505, 04174, 04007, 00700, 02000, 00071, 00005 },
[02467] = { 00003, 04551, 00503, 04374, 04004, 01700, 00000, 00000, 00377 },
[02470] = { 02470, 03447, 00505, 04174, 04007, 00630, 02000, 00060, 00000 },
[02471] = { 00003, 04551, 00503, 04374, 04004, 01700, 00000, 00000, 00377 },
[02472] = { 02502, 04443, 00000, 04174, 04137, 00700, 00010, 00000, 00000 },
[02473] = { 00227, 04443, 00000, 04174, 04003, 07700, 00000, 00000, 00000 },
[02474] = { 03716, 03333, 00005, 04175, 05007, 00701, 00210, 00000, 00002 },
[02475] = { 00110, 03443, 00100, 04174, 04156, 04700, 00200, 00014, 00012 },
[02476] = { 02500, 03445, 00505, 04174, 04007, 00700, 02000, 00071, 00005 },
[02477] = { 03710, 04571, 01204, 04374, 04007, 00700, 00000, 00021, 01220 },
[02500] = { 02500, 03445, 00505, 04174, 04007, 00630, 02000, 00060, 00000 },
[02501] = { 03710, 04571, 01204, 04374, 04007, 00700, 00000, 00021, 01220 },
[02502] = { 03720, 01113, 00701, 04170, 04007, 00700, 04210, 00004, 00012 },
[02503] = { 03711, 07441, 00306, 04174, 04007, 00700, 00000, 00000, 00000 },
[02504] = { 02506, 04553, 00200, 04374, 04007, 00321, 00000, 00000, 00020 },
[02505] = { 02504, 04713, 01203, 07174, 04007, 00700, 00400, 00000, 00422 },
[02506] = { 03712, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00422 },
[02507] = { 01055, 04443, 00000, 02174, 04006, 06700, 00000, 00000, 00000 },
[02510] = { 02511, 00551, 00303, 02270, 04007, 00701, 00000, 00000, 00000 },
[02511] = { 03714, 03443, 00300, 04174, 04007, 00700, 00200, 00004, 00012 },
[02512] = { 00001, 00551, 00403, 07274, 04124, 01701, 00000, 00000, 00422 },
[02513] = { 03715, 00551, 00403, 07274, 04007, 00701, 00000, 00000, 00422 },
[02514] = { 02516, 04443, 00000, 04174, 04127, 00630, 02000, 00060, 00000 },
[02515] = { 00001, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[02516] = { 02514, 04443, 00000, 04174, 04127, 00653, 00000, 00000, 00000 },
[02517] = { 04043, 04571, 01206, 04374, 04007, 00700, 00000, 00020, 00000 },
[02520] = { 03730, 00111, 00704, 04170, 04007, 00700, 00210, 00023, 01016 },
[02521] = { 00005, 04443, 00000, 04174, 04107, 00700, 00000, 00000, 00074 },
[02522] = { 00117, 03443, 00100, 04174, 04007, 00700, 00200, 00014, 00012 },
[02523] = { 02524, 04571, 01203, 04374, 04007, 00700, 00000, 00024, 01200 },
[02524] = { 03726, 03551, 00303, 04370, 04007, 00700, 00010, 00020, 00000 },
[02525] = { 02735, 03771, 00002, 04365, 05617, 00700, 00200, 00000, 00002 },
[02526] = { 03745, 03333, 00012, 04174, 04437, 00700, 00000, 00000, 00000 },
[02527] = { 00002, 03771, 00004, 07274, 04004, 01701, 00000, 00000, 00212 },
[02530] = { 02765, 03333, 00000, 04175, 05007, 00701, 00210, 00000, 00002 },
[02531] = { 02765, 03333, 00002, 04175, 05007, 00701, 00210, 00000, 00002 },
[02532] = { 03746, 03333, 00001, 04175, 05007, 00701, 00200, 00000, 00002 },
[02533] = { 02534, 03333, 00003, 04175, 05007, 00701, 00200, 00000, 00002 },
[02534] = { 02765, 03333, 00003, 07174, 04007, 00700, 00410, 00000, 00211 },
[02535] = { 02765, 03333, 00003, 04175, 05007, 00701, 00210, 00000, 00002 },
[02536] = { 02535, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00212 },
[02537] = { 03747, 03333, 00005, 04175, 05007, 00701, 00200, 00000, 00002 },
[02540] = { 02765, 03333, 00006, 04175, 05007, 00701, 00210, 00000, 00002 },
[02541] = { 02765, 03333, 00010, 04175, 05007, 00701, 00210, 00000, 00002 },
[02542] = { 03750, 03333, 00007, 04175, 05007, 00701, 00200, 00000, 00002 },
[02543] = { 03752, 03333, 00011, 04175, 05007, 00701, 00200, 00000, 00002 },
[02544] = { 02765, 03333, 00012, 04175, 05007, 00701, 00210, 00000, 00002 },
[02545] = { 02765, 03333, 00014, 04175, 05007, 00701, 00210, 00000, 00002 },
[02546] = { 03753, 03333, 00013, 04175, 05007, 00701, 00200, 00000, 00002 },
[02547] = { 03755, 03333, 00015, 04175, 05007, 00701, 00200, 00000, 00002 },
[02550] = { 02765, 03333, 00016, 04175, 05007, 00701, 00210, 00000, 00002 },
[02551] = { 02765, 03771, 00003, 07274, 04007, 00701, 00010, 00000, 00210 },
[02552] = { 02551, 03333, 00017, 04175, 05007, 00701, 00200, 00000, 00002 },
[02553] = { 03756, 03333, 00003, 04175, 05007, 00701, 00200, 00000, 00002 },
[02554] = { 03776, 03771, 00013, 04370, 04007, 00700, 00000, 00040, 00002 },
[02555] = { 00100, 03440, 00303, 00174, 04156, 04700, 00400, 00000, 00000 },
[02556] = { 02557, 03551, 00606, 04374, 00007, 00700, 00000, 00001, 00000 },
[02557] = { 04002, 04551, 00606, 04374, 00007, 00700, 00000, 00041, 01000 },
[02560] = { 02560, 03447, 00505, 04174, 04007, 00630, 02000, 00060, 00000 },
[02561] = { 04004, 04251, 00505, 04374, 04007, 00700, 00000, 00000, 00777 },
[02562] = { 02564, 03333, 00006, 04174, 04007, 00520, 00000, 00000, 00000 },
[02563] = { 04036, 03447, 00504, 04174, 04007, 00700, 00000, 00000, 00000 },
[02564] = { 02570, 03771, 00004, 07274, 04007, 00622, 00000, 00000, 00423 },
[02565] = { 02566, 03771, 00004, 07274, 04007, 00622, 00000, 00000, 00424 },
[02566] = { 01140, 00113, 00405, 04174, 04007, 00700, 00200, 00024, 01016 },
[02567] = { 04005, 00551, 01103, 04374, 04007, 00701, 00000, 00000, 00540 },
[02570] = { 01140, 00113, 00405, 04174, 04007, 00700, 00200, 00024, 01016 },
[02571] = { 04005, 00551, 01003, 04374, 04007, 00701, 00000, 00000, 00540 },
[02572] = { 02712, 04553, 01300, 04374, 04007, 00321, 00000, 00001, 00000 },
[02573] = { 01010, 03445, 00303, 04174, 04007, 00630, 02000, 00060, 00000 },
[02574] = { 02712, 04553, 01300, 04374, 04007, 00321, 00000, 00001, 00000 },
[02575] = { 02600, 04251, 00304, 04374, 04007, 00700, 00000, 00000, 03777 },
[02576] = { 02576, 03445, 00404, 04174, 04007, 00630, 02000, 00060, 00000 },
[02577] = { 01040, 03333, 00006, 04174, 04007, 00520, 00000, 00000, 00000 },
[02600] = { 04030, 03441, 00403, 04174, 04007, 00700, 00010, 00000, 00000 },
[02601] = { 02646, 03773, 00000, 07274, 04007, 00622, 00010, 00000, 00216 },
[02602] = { 02601, 03551, 00303, 07274, 04007, 00701, 00000, 00000, 00220 },
[02603] = { 02604, 03771, 00005, 04365, 05007, 00700, 00200, 00000, 00002 },
[02604] = { 02625, 00111, 00703, 04174, 04007, 00700, 00200, 00004, 00012 },
[02605] = { 02576, 04443, 00000, 04174, 04007, 00700, 02000, 00071, 00007 },
[02606] = { 02624, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00426 },
[02607] = { 02610, 04251, 00505, 04374, 04007, 00370, 00000, 00000, 00777 },
[02610] = { 01000, 04551, 00303, 04374, 00007, 00700, 00000, 00027, 07000 },
[02611] = { 02712, 04553, 01300, 04374, 04007, 00321, 00000, 00001, 00000 },
[02612] = { 04034, 04443, 00000, 04174, 04007, 00700, 00010, 00000, 00000 },
[02613] = { 02646, 03773, 00000, 07274, 04007, 00622, 00010, 00000, 00216 },
[02614] = { 04010, 03551, 00606, 04374, 04007, 00700, 00000, 00002, 00000 },
[02615] = { 02620, 04553, 00600, 04374, 04007, 00321, 00000, 00003, 00000 },
[02616] = { 01144, 04553, 00300, 04374, 04007, 00321, 00000, 00000, 00077 },
[02617] = { 02632, 04553, 01300, 04374, 04007, 00331, 00000, 00040, 00000 },
[02620] = { 02712, 04553, 01300, 04374, 04007, 00321, 00000, 00001, 00000 },
[02621] = { 02613, 03551, 00303, 07274, 04007, 00701, 00000, 00000, 00220 },
[02622] = { 02630, 03551, 00303, 04370, 04007, 00700, 00000, 00000, 00001 },
[02623] = { 02630, 04553, 00300, 04374, 04007, 00331, 00000, 00000, 00001 },
[02624] = { 03621, 03771, 00003, 07274, 04117, 00701, 00010, 00000, 00301 },
[02625] = { 02627, 03771, 00001, 04361, 05007, 00700, 00200, 00000, 00002 },
[02626] = { 01143, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00426 },
[02627] = { 02721, 03333, 00005, 04174, 04467, 00700, 00000, 00001, 00004 },
[02630] = { 02621, 03551, 00606, 04374, 00007, 00700, 00000, 00004, 00000 },
[02631] = { 02621, 05551, 01313, 04374, 00007, 00700, 00000, 00002, 00000 },
[02632] = { 02634, 03441, 00403, 04174, 04007, 00700, 02000, 00071, 00007 },
[02633] = { 04015, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00210 },
[02634] = { 02634, 03445, 00303, 04174, 04007, 00630, 02000, 00060, 00000 },
[02635] = { 04011, 04551, 00303, 04374, 00007, 00700, 00000, 00000, 00003 },
[02636] = { 02637, 03551, 00606, 04374, 00007, 00700, 00000, 00000, 02000 },
[02637] = { 04014, 04551, 00606, 04370, 04007, 00700, 00000, 00000, 00777 },
[02640] = { 02641, 03551, 00606, 04374, 04007, 00700, 00000, 00004, 00000 },
[02641] = { 02642, 04553, 01300, 04374, 04147, 00321, 00000, 00000, 04000 },
[02642] = { 04023, 03551, 00606, 04374, 04007, 00700, 00000, 00002, 00000 },
[02643] = { 04023, 03333, 00006, 04174, 04007, 00700, 00000, 00000, 00000 },
[02644] = { 00002, 04551, 00303, 07274, 04004, 01701, 00000, 00000, 00217 },
[02645] = { 02712, 04553, 01300, 04374, 04007, 00321, 00000, 00001, 00000 },
[02646] = { 03114, 04443, 00000, 04174, 04007, 00700, 00200, 00001, 00002 },
[02647] = { 00004, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[02650] = { 02652, 04553, 00300, 04374, 04007, 00321, 00000, 00030, 00000 },
[02651] = { 02712, 04553, 01300, 04374, 04007, 00321, 00000, 00001, 00000 },
[02652] = { 02654, 04553, 00300, 04374, 04007, 00321, 00000, 00010, 00000 },
[02653] = { 02712, 04553, 01300, 04374, 04007, 00321, 00000, 00001, 00000 },
[02654] = { 02656, 04553, 00300, 04374, 04007, 00321, 00000, 00020, 00000 },
[02655] = { 00002, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[02656] = { 00003, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[02657] = { 00001, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[02660] = { 00004, 03771, 00003, 04365, 05004, 01700, 00200, 00000, 00002 },
[02661] = { 02712, 04553, 01300, 04374, 04007, 00321, 00000, 00001, 00000 },
[02662] = { 00007, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[02663] = { 04035, 07441, 01303, 04174, 04007, 00700, 00000, 00000, 00000 },
[02664] = { 00007, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[02665] = { 00002, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[02666] = { 02670, 01553, 00500, 04374, 04007, 00532, 04000, 00000, 00340 },
[02667] = { 04037, 00111, 01104, 04174, 04007, 00700, 00200, 00024, 01016 },
[02670] = { 02672, 01553, 00500, 04374, 04007, 00532, 04000, 00000, 00400 },
[02671] = { 02672, 00551, 00404, 04374, 04007, 00701, 00000, 00000, 00600 },
[02672] = { 04037, 00111, 01004, 04174, 04007, 00700, 00200, 00024, 01016 },
[02673] = { 02667, 00551, 00404, 04374, 04007, 00701, 00000, 00000, 00220 },
[02674] = { 02676, 03333, 00004, 04174, 04007, 00530, 00000, 00000, 00000 },
[02675] = { 02674, 03770, 00404, 04344, 04007, 00700, 00000, 00000, 00000 },
[02676] = { 02712, 04553, 01300, 04374, 04007, 00321, 00000, 00001, 00000 },
[02677] = { 04041, 05551, 01313, 04374, 04007, 00700, 00000, 00002, 04000 },
[02700] = { 02701, 03551, 01313, 04374, 00007, 00700, 00000, 00000, 04000 },
[02701] = { 02702, 04553, 00400, 04374, 04007, 00331, 00000, 00004, 00000 },
[02702] = { 02703, 03551, 00606, 04374, 00007, 00700, 00000, 00002, 00000 },
[02703] = { 02704, 04553, 00400, 04374, 04007, 00331, 00000, 00010, 00000 },
[02704] = { 04042, 03551, 01313, 04374, 00007, 00700, 00000, 00002, 00000 },
[02705] = { 02706, 04553, 00600, 04374, 04007, 00321, 00000, 00001, 00000 },
[02706] = { 02676, 03551, 00606, 04374, 00007, 00700, 00000, 00010, 00000 },
[02707] = { 02617, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[02710] = { 04047, 03771, 00005, 04354, 04007, 00700, 00010, 00000, 00000 },
[02711] = { 04044, 04551, 00505, 04374, 00007, 00700, 00000, 00040, 01237 },
[02712] = { 00104, 04751, 01217, 04374, 04007, 00700, 00000, 00000, 00100 },
[02713] = { 02714, 03771, 00003, 07274, 04007, 00611, 00000, 00000, 00210 },
[02714] = { 02716, 04553, 00300, 04374, 04007, 00321, 00000, 00010, 00000 },
[02715] = { 04050, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00425 },
[02716] = { 01100, 04443, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[02717] = { 02720, 01111, 00701, 04170, 04007, 00700, 04000, 00000, 00000 },
[02720] = { 01100, 03333, 00013, 04174, 04003, 05701, 00000, 00000, 00000 },
[02721] = { 00305, 05551, 01313, 04374, 04007, 00700, 00000, 00001, 00000 },
[02722] = { 04051, 00551, 01103, 04374, 04007, 00701, 00000, 00000, 00500 },
[02723] = { 00770, 03551, 01313, 04374, 00007, 00700, 00000, 00001, 00000 },
[02724] = { 04055, 03333, 00006, 04175, 05007, 00701, 00210, 00000, 00002 },
[02725] = { 02726, 04553, 01000, 04374, 04007, 00321, 00000, 00040, 00000 },
[02726] = { 02732, 04521, 01205, 04074, 04007, 00700, 00000, 00000, 00000 },
[02727] = { 04052, 03741, 00105, 04074, 04007, 00700, 00000, 00000, 00000 },
[02730] = { 01500, 03441, 00603, 04174, 04003, 07700, 00200, 00003, 00001 },
[02731] = { 02723, 01111, 00701, 04174, 04007, 00700, 04000, 00000, 00000 },
[02732] = { 04055, 03333, 00005, 04175, 05007, 00701, 00210, 00000, 00002 },
[02733] = { 04054, 03333, 00001, 04175, 05007, 00701, 00200, 00000, 00002 },
[02734] = { 00435, 04521, 01203, 04074, 04007, 00700, 00000, 00000, 00000 },
[02735] = { 00371, 04713, 01202, 07174, 04007, 00700, 00400, 00000, 00422 },
[02736] = { 01152, 00551, 01504, 00274, 04407, 00311, 00200, 00003, 00712 },
[02737] = { 00220, 04443, 00000, 04174, 04463, 07700, 00000, 00001, 02000 },
[02740] = { 02741, 03771, 00005, 04365, 05007, 00700, 00200, 00000, 00002 },
[02741] = { 01156, 00551, 00404, 04374, 04407, 00311, 00000, 00077, 07777 },
[02742] = { 00220, 03333, 00005, 04175, 05003, 07701, 00200, 00000, 00002 },
[02743] = { 02737, 03333, 00005, 04175, 05007, 00701, 00200, 00000, 00002 },
[02744] = { 01164, 00551, 00404, 04374, 04407, 00311, 00000, 00077, 07777 },
[02745] = { 01166, 03771, 00005, 00276, 06007, 00521, 00000, 00000, 00000 },
[02746] = { 00762, 03440, 00505, 00174, 04467, 00700, 00400, 00005, 00000 },
[02747] = { 02750, 03443, 00300, 04174, 04007, 00700, 00200, 00003, 00012 },
[02750] = { 02751, 03333, 00005, 04175, 05007, 00701, 00200, 00000, 00002 },
[02751] = { 01400, 00551, 00301, 04370, 04007, 00701, 00000, 00000, 00001 },
[02752] = { 00130, 03770, 00304, 04344, 04007, 00700, 00000, 00000, 00000 },
[02753] = { 02754, 03770, 00505, 04344, 04007, 00700, 00000, 00000, 00000 },
[02754] = { 02755, 03443, 00500, 04174, 04007, 00700, 00200, 00004, 00012 },
[02755] = { 00274, 03771, 00005, 04365, 05007, 00700, 00200, 00000, 00002 },
[02756] = { 01174, 04751, 01204, 04374, 04007, 00700, 00000, 00000, 00424 },
[02757] = { 02760, 00111, 01105, 04174, 04007, 00700, 00000, 00000, 00000 },
[02760] = { 02761, 04521, 01203, 04074, 04007, 00700, 00000, 00000, 00000 },
[02761] = { 01202, 04553, 00300, 04374, 04007, 00321, 00000, 00000, 00600 },
[02762] = { 02763, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[02763] = { 00762, 03333, 00003, 04174, 04467, 00700, 00000, 00000, 00404 },
[02764] = { 00001, 05551, 00303, 04374, 00004, 01700, 00000, 00000, 00600 },
[02765] = { 00002, 00111, 00704, 04170, 04004, 01700, 00200, 00023, 01016 },
[02766] = { 02767, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[02767] = { 02770, 03333, 00002, 04175, 05007, 00701, 00200, 00000, 00002 },
[02770] = { 02525, 00111, 00703, 04170, 04007, 00700, 00200, 00004, 00012 },
[02771] = { 01206, 03111, 00503, 04170, 04007, 00700, 00000, 00000, 00000 },
[02772] = { 01212, 03770, 00303, 04174, 00007, 00520, 00000, 00000, 00000 },
[02773] = { 00021, 03772, 00000, 00275, 05007, 00700, 02000, 00071, 00043 },
[02774] = { 01216, 05113, 00412, 04174, 04007, 00621, 00000, 00000, 00000 },
[02775] = { 02776, 03441, 00316, 04174, 04007, 00700, 00000, 00000, 00000 },
[02776] = { 00031, 03771, 00006, 00276, 06007, 00700, 02000, 00071, 00043 },
[02777] = { 01222, 03770, 00303, 04174, 00007, 00520, 00000, 00000, 00000 },
[03000] = { 03001, 04117, 00004, 04174, 04007, 00700, 00000, 00000, 00000 },
[03001] = { 00120, 03441, 00405, 04174, 04007, 00350, 00000, 00000, 00000 },
[03002] = { 00410, 03227, 00004, 01174, 04007, 00700, 00400, 00000, 01442 },
[03003] = { 00410, 03777, 00016, 01276, 06007, 00701, 00000, 00000, 01441 },
[03004] = { 00543, 00111, 01604, 04174, 04007, 00700, 00000, 00000, 00000 },
[03005] = { 01226, 03770, 00404, 00174, 04007, 00520, 00400, 00000, 00000 },
[03006] = { 03007, 03772, 00000, 01275, 05007, 00701, 00000, 00000, 01442 },
[03007] = { 03010, 07003, 00000, 01174, 04007, 00700, 00400, 00000, 01442 },
[03010] = { 03011, 03772, 00000, 01275, 05007, 00701, 00000, 00000, 01443 },
[03011] = { 03012, 07003, 00000, 01174, 04007, 00700, 00400, 00000, 01443 },
[03012] = { 01230, 03741, 00103, 04074, 04007, 00520, 00000, 00000, 00000 },
[03013] = { 03014, 04221, 00004, 04174, 04007, 00700, 00000, 00000, 00000 },
[03014] = { 03015, 03442, 00500, 04174, 04007, 00700, 02000, 00071, 00043 },
[03015] = { 00563, 03447, 00606, 04174, 04007, 00700, 00000, 00000, 00000 },
[03016] = { 02717, 04443, 00000, 04174, 04467, 00700, 00000, 00003, 00000 },
[03017] = { 03020, 03446, 00606, 04174, 04007, 00700, 00000, 00000, 00000 },
[03020] = { 00122, 04226, 00004, 04174, 04007, 00630, 02000, 00060, 00000 },
[03021] = { 00122, 03446, 01200, 04174, 04007, 00630, 02000, 00060, 00000 },
[03022] = { 01232, 03772, 00000, 00275, 05007, 00520, 00000, 00000, 00000 },
[03023] = { 03024, 03771, 00003, 00276, 06007, 00700, 00000, 00000, 00000 },
[03024] = { 03025, 03772, 00000, 01275, 05007, 00701, 00000, 00000, 01441 },
[03025] = { 00160, 03333, 00003, 04174, 04007, 00621, 00000, 00000, 00000 },
[03026] = { 03027, 03221, 00004, 04174, 04007, 00700, 00000, 00000, 00000 },
[03027] = { 00330, 03333, 00003, 04174, 04007, 00520, 00000, 00000, 00000 },
[03030] = { 01242, 03447, 00305, 04174, 04007, 00421, 00000, 00000, 00000 },
[03031] = { 03032, 03662, 00000, 04374, 00007, 00700, 00000, 00060, 00000 },
[03032] = { 03033, 02222, 00000, 04174, 04007, 00700, 04000, 00000, 00000 },
[03033] = { 03035, 02446, 00505, 04174, 04047, 00700, 00040, 00000, 00000 },
[03034] = { 03035, 04751, 01217, 04374, 04007, 00700, 00000, 00000, 00004 },
[03035] = { 03036, 03221, 00006, 00174, 04007, 00700, 00000, 00000, 00000 },
[03036] = { 00054, 03777, 00003, 00274, 04007, 00520, 00000, 00000, 00000 },
[03037] = { 00354, 04552, 00000, 01275, 05007, 00701, 00000, 00000, 01442 },
[03040] = { 03041, 00002, 01600, 04174, 04007, 00700, 00000, 00000, 00000 },
[03041] = { 01260, 04003, 00000, 01174, 04007, 00700, 00400, 00000, 01440 },
[03042] = { 00551, 04552, 00000, 01275, 05007, 00701, 00000, 00000, 01443 },
[03043] = { 00056, 03333, 00017, 04174, 04003, 05701, 00000, 00000, 00000 },
[03044] = { 03045, 01772, 00000, 00274, 04007, 00701, 00040, 00000, 00000 },
[03045] = { 01262, 03223, 00000, 00174, 04007, 00621, 00400, 00000, 00000 },
[03046] = { 03051, 04113, 01600, 01174, 04007, 00700, 00400, 00000, 01441 },
[03047] = { 03050, 03551, 01616, 04374, 00007, 00700, 00000, 00040, 00000 },
[03050] = { 03051, 03440, 01616, 01174, 04007, 00700, 00400, 00000, 01441 },
[03051] = { 01264, 03333, 00003, 04174, 04007, 00520, 00000, 00000, 00000 },
[03052] = { 03053, 00111, 00503, 04174, 04007, 00700, 00040, 00000, 00000 },
[03053] = { 03054, 00002, 00600, 04174, 04007, 00700, 00000, 00000, 00000 },
[03054] = { 03055, 00111, 00503, 04174, 04007, 00700, 00040, 00000, 00000 },
[03055] = { 00355, 03333, 00017, 04174, 04003, 05701, 00000, 00000, 00000 },
[03056] = { 03057, 02444, 00303, 04174, 04047, 00700, 00040, 00000, 00000 },
[03057] = { 01266, 00113, 00303, 01174, 04007, 00521, 00400, 00000, 01442 },
[03060] = { 00100, 07003, 00000, 01174, 04156, 04700, 00400, 00000, 01443 },
[03061] = { 00001, 03446, 00303, 04174, 04044, 01700, 00000, 00000, 00000 },
[03062] = { 01270, 03333, 00003, 04174, 04007, 00520, 00000, 00000, 00000 },
[03063] = { 03064, 03771, 00004, 04374, 04007, 00700, 00000, 00010, 00000 },
[03064] = { 01274, 03333, 00005, 04174, 04007, 00520, 00000, 00000, 00000 },
[03065] = { 01274, 03551, 00404, 04374, 04007, 00700, 00000, 00004, 00000 },
[03066] = { 03067, 03447, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[03067] = { 03070, 03447, 00505, 04174, 04007, 00700, 00000, 00000, 00000 },
[03070] = { 03071, 03447, 00505, 04174, 04007, 00700, 00000, 00000, 00000 },
[03071] = { 01276, 01114, 00503, 04174, 04067, 00630, 06000, 00060, 00000 },
[03072] = { 01300, 03447, 00303, 04174, 04007, 00520, 00000, 00000, 00000 },
[03073] = { 03074, 03444, 00303, 04174, 04007, 00700, 00000, 00000, 00000 },
[03074] = { 03075, 04002, 01200, 04174, 04007, 00700, 00000, 00000, 00000 },
[03075] = { 00014, 03333, 00004, 04174, 04000, 01701, 00000, 00000, 00000 },
[03076] = { 01304, 00115, 00503, 04174, 04007, 00630, 02040, 00060, 00000 },
[03077] = { 03100, 01772, 00000, 01274, 04007, 00701, 04000, 00000, 01443 },
[03100] = { 01306, 04003, 00000, 01174, 04007, 00621, 00400, 00000, 01443 },
[03101] = { 01310, 04003, 00000, 01174, 04007, 00621, 00400, 00000, 01442 },
[03102] = { 01312, 04003, 00000, 01174, 04007, 00621, 00400, 00000, 01441 },
[03103] = { 01310, 04003, 00000, 01174, 04007, 00700, 00400, 00000, 01442 },
[03104] = { 01312, 04003, 00000, 01174, 04007, 00700, 00400, 00000, 01441 },
[03105] = { 00024, 03440, 00303, 00174, 04004, 01700, 00400, 00000, 00000 },
[03106] = { 03107, 04551, 00404, 04374, 00007, 00700, 00000, 00037, 07777 },
[03107] = { 01314, 02441, 00404, 04174, 04007, 00621, 04000, 00000, 00000 },
[03110] = { 01316, 02441, 00404, 04174, 04007, 00621, 04000, 00000, 00000 },
[03111] = { 03112, 03443, 00400, 04174, 04007, 00701, 01000, 00077, 00000 },
[03112] = { 00264, 03771, 00004, 00276, 06007, 00700, 00000, 00000, 00000 },
[03113] = { 03114, 00111, 00703, 04170, 04007, 00700, 00200, 00003, 00002 },
[03114] = { 00004, 03333, 00003, 04175, 05004, 01701, 00200, 00000, 00002 },
[03115] = { 00070, 04443, 00000, 02174, 04006, 06700, 00000, 00000, 00000 },
[03116] = { 00070, 04443, 00000, 02174, 04466, 06700, 00000, 00003, 00000 },
[03117] = { 03115, 03771, 00003, 04361, 05217, 00700, 00200, 00000, 00502 },
[03120] = { 00001, 04551, 01205, 04365, 05004, 01700, 00200, 00000, 00002 },
[03121] = { 00002, 04257, 00503, 04374, 04004, 01701, 00000, 00000, 00376 },
[03122] = { 03123, 04221, 00005, 04174, 00007, 00700, 01000, 00031, 00220 },
[03123] = { 03124, 03447, 00505, 04174, 04007, 00700, 01020, 00041, 00010 },
[03124] = { 03125, 03333, 00003, 04174, 04007, 00700, 01000, 00031, 07770 },
[03125] = { 03126, 04222, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[03126] = { 03127, 04224, 00003, 04174, 04027, 00700, 01020, 00041, 00010 },
[03127] = { 03130, 04224, 00003, 04174, 04027, 00700, 00000, 00000, 00000 },
[03130] = { 00002, 04001, 00503, 04174, 04004, 01700, 00000, 00000, 00000 },
[03131] = { 03132, 03447, 01200, 04174, 04007, 00700, 00200, 00003, 00002 },
[03132] = { 00002, 03333, 00003, 04175, 05004, 01701, 00200, 00000, 00002 },
[03133] = { 03134, 04222, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[03134] = { 03135, 04224, 00000, 04174, 04027, 00700, 01020, 00041, 00010 },
[03135] = { 03136, 04224, 00000, 04174, 04027, 00700, 00000, 00000, 00000 },
[03136] = { 03137, 03333, 00003, 04174, 04007, 00701, 01000, 00073, 00000 },
[03137] = { 03140, 04443, 00000, 04174, 04007, 00700, 01000, 00051, 00770 },
[03140] = { 03141, 04002, 01200, 04174, 04007, 00700, 01000, 00031, 00000 },
[03141] = { 03142, 03444, 00404, 04174, 04007, 00700, 01020, 00041, 00010 },
[03142] = { 03143, 07221, 00003, 04174, 04007, 00700, 00000, 00000, 00000 },
[03143] = { 03144, 04111, 00503, 04174, 04007, 00700, 00000, 00000, 00000 },
[03144] = { 03145, 04001, 00404, 04174, 04007, 00700, 00000, 00000, 00000 },
[03145] = { 03131, 03111, 00403, 04174, 04007, 00700, 00000, 00000, 00000 },
[03146] = { 01320, 03770, 00304, 04344, 04007, 00700, 02000, 00071, 00011 },
[03147] = { 03150, 03771, 00004, 04374, 00007, 00700, 00000, 00000, 00000 },
[03150] = { 03151, 03333, 00004, 07174, 04007, 00700, 00400, 00000, 00221 },
[03151] = { 03152, 04557, 00305, 04374, 04007, 00701, 00000, 00000, 07700 },
[03152] = { 03153, 03770, 00505, 04344, 04007, 00700, 02000, 00071, 00003 },
[03153] = { 01322, 04221, 00005, 04174, 00007, 00700, 00000, 00000, 00000 },
[03154] = { 03155, 03772, 00000, 04370, 04007, 00700, 00000, 00000, 00044 },
[03155] = { 03156, 01662, 00000, 07274, 04007, 00701, 04000, 00000, 00221 },
[03156] = { 03157, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00222 },
[03157] = { 00670, 04443, 00000, 04174, 04007, 00700, 02000, 00071, 00042 },
[03160] = { 03161, 03771, 00003, 04374, 04007, 00700, 00000, 00077, 07777 },
[03161] = { 01326, 00661, 00005, 07274, 04007, 00622, 00000, 00000, 00224 },
[03162] = { 01330, 03333, 00003, 04174, 04007, 00421, 00000, 00000, 00000 },
[03163] = { 01330, 00551, 00303, 07274, 04007, 00701, 00000, 00000, 00226 },
[03164] = { 03165, 03441, 00306, 04174, 04007, 00700, 02000, 00071, 00043 },
[03165] = { 00062, 03772, 00000, 07274, 04007, 00701, 00000, 00000, 00222 },
[03166] = { 03167, 02555, 00303, 04374, 04007, 00701, 04000, 00000, 00044 },
[03167] = { 03170, 03770, 00303, 04344, 04007, 00700, 02000, 00071, 00011 },
[03170] = { 01332, 03771, 00003, 04370, 04007, 00700, 00000, 00000, 00000 },
[03171] = { 01400, 03113, 00305, 00174, 04007, 00700, 00400, 00000, 00000 },
[03172] = { 01334, 03770, 00604, 04344, 04007, 00700, 00000, 00000, 00000 },
[03173] = { 03174, 02112, 00306, 04174, 04007, 00700, 04000, 00000, 00000 },
[03174] = { 03175, 00001, 00705, 04174, 04007, 00700, 00000, 00000, 00000 },
[03175] = { 03176, 03770, 00505, 04344, 00007, 00700, 00000, 00000, 00000 },
[03176] = { 03177, 00551, 00505, 00274, 04407, 00701, 00000, 00000, 00000 },
[03177] = { 00002, 03771, 00013, 04370, 04004, 01700, 00000, 00000, 00001 },
[03200] = { 01336, 02113, 00506, 04174, 04007, 00331, 04000, 00000, 00000 },
[03201] = { 01340, 03223, 00000, 04174, 04007, 00671, 00200, 00000, 00002 },
[03202] = { 01336, 03772, 00000, 04365, 05007, 00700, 00200, 00000, 00002 },
[03203] = { 03204, 03223, 00000, 04174, 04007, 00701, 00200, 00000, 00002 },
[03204] = { 01346, 02113, 00603, 04174, 04007, 00521, 04000, 00000, 00000 },
[03205] = { 03202, 00111, 00704, 04170, 04007, 00700, 00200, 00004, 00712 },
[03206] = { 03207, 03770, 00303, 04344, 04007, 00700, 00000, 00000, 00000 },
[03207] = { 03210, 03771, 00003, 07270, 04007, 00701, 00000, 00000, 00214 },
[03210] = { 01100, 03440, 00303, 00174, 04007, 00700, 00400, 00000, 00000 },
[03211] = { 00006, 03772, 00000, 04365, 05003, 07700, 00200, 00000, 00002 },
[03212] = { 03213, 03001, 01717, 04174, 04007, 00700, 00000, 00000, 00000 },
[03213] = { 03214, 05742, 01700, 04174, 04007, 00700, 00000, 00000, 00000 },
[03214] = { 03215, 03444, 00012, 04174, 04007, 00700, 00000, 00000, 00000 },
[03215] = { 03216, 03444, 00012, 04174, 04007, 00700, 00000, 00000, 00000 },
[03216] = { 03223, 04521, 01717, 04374, 04007, 00700, 00000, 00077, 07774 },
[03217] = { 03220, 03446, 01200, 04174, 04007, 00700, 00000, 00000, 00000 },
[03220] = { 03221, 03446, 01200, 04170, 04007, 00700, 00000, 00000, 00000 },
[03221] = { 03222, 03446, 01200, 04170, 04007, 00700, 00000, 00000, 00000 },
[03222] = { 00630, 04665, 00017, 04374, 04007, 00700, 00000, 00000, 00377 },
[03223] = { 03226, 03002, 01700, 04174, 04007, 00700, 00000, 00000, 00000 },
[03224] = { 00001, 03445, 01717, 04174, 04004, 01700, 01020, 00041, 00001 },
[03225] = { 00002, 03446, 01200, 04174, 04004, 01700, 01020, 00041, 00001 },
[03226] = { 03227, 03443, 00600, 04174, 04007, 00700, 00200, 00003, 00312 },
[03227] = { 03230, 03223, 00000, 04174, 04007, 00701, 00200, 00000, 00002 },
[03230] = { 01350, 02113, 00603, 04174, 04007, 00521, 04000, 00000, 00000 },
[03231] = { 03211, 00111, 00704, 04170, 04007, 00700, 00200, 00004, 00712 },
[03232] = { 03233, 03441, 00503, 04174, 04007, 00700, 02000, 00041, 02000 },
[03233] = { 03234, 03441, 00405, 04174, 04007, 00700, 02000, 00020, 00000 },
[03234] = { 01352, 03333, 00003, 04174, 04007, 00520, 01000, 00041, 02000 },
[03235] = { 01356, 04222, 00000, 04174, 04007, 00630, 02000, 00060, 00000 },
[03236] = { 00163, 03442, 00300, 04174, 04007, 00700, 02000, 00071, 00033 },
[03237] = { 03240, 03441, 00403, 04174, 04007, 00700, 01000, 00041, 00002 },
[03240] = { 00420, 03446, 00303, 04174, 04003, 04701, 01000, 00041, 01600 },
[03241] = { 03243, 03441, 00304, 04174, 04007, 00700, 01000, 00031, 00200 },
[03242] = { 03243, 02441, 00304, 04174, 04007, 00700, 05000, 00031, 00200 },
[03243] = { 01366, 03445, 00506, 04174, 04007, 00520, 00000, 00000, 00000 },
[03244] = { 02003, 04222, 00000, 04174, 04007, 00700, 00000, 00000, 00000 },
[03245] = { 02002, 03446, 00303, 04174, 04047, 00700, 02000, 00071, 00006 },
[03246] = { 03247, 04222, 00000, 00174, 04007, 00700, 00000, 00000, 00000 },
[03247] = { 02004, 03771, 00003, 00276, 06007, 00520, 01000, 00040, 02000 },
[03250] = { 02006, 04443, 00000, 04174, 04007, 00630, 02000, 00060, 00000 },
[03251] = { 01514, 04221, 00013, 04174, 04003, 07700, 00200, 00003, 00001 },
[03252] = { 01637, 02441, 00303, 04174, 04007, 00700, 00040, 00000, 00000 },
[03253] = { 02026, 03777, 00005, 00274, 04007, 00521, 02000, 00020, 02000 },
[03254] = { 03260, 00002, 00400, 04174, 04007, 00700, 00000, 00000, 00000 },
[03255] = { 03256, 03442, 00400, 04174, 04007, 00700, 02000, 00020, 00000 },
[03256] = { 02034, 03333, 00016, 04174, 04007, 00700, 01000, 00041, 02000 },
[03257] = { 03260, 00002, 00600, 04174, 04007, 00700, 00000, 00000, 00000 },
[03260] = { 03261, 00116, 00503, 04174, 04047, 00700, 00040, 00000, 00000 },
[03261] = { 00433, 03444, 00303, 04174, 04046, 02700, 00000, 00000, 00000 },
[03262] = { 03263, 03444, 00303, 04174, 04047, 00700, 01000, 00041, 01777 },
[03263] = { 03264, 03444, 00303, 04174, 04047, 00700, 01000, 00041, 01777 },
[03264] = { 02047, 03002, 01700, 04170, 04007, 00700, 00000, 00000, 00000 },
[03265] = { 03266, 03444, 01616, 04174, 04067, 00700, 00000, 00000, 00000 },
[03266] = { 00472, 03446, 01616, 04174, 04047, 00630, 02000, 00060, 00000 },
[03267] = { 00001, 03446, 01616, 04174, 04044, 01700, 00000, 00000, 00000 },
[03270] = { 03271, 04662, 00000, 04374, 00007, 00700, 00000, 00007, 07777 },
[03271] = { 03272, 03221, 00005, 04174, 04007, 00700, 00000, 00000, 00000 },
[03272] = { 00623, 04557, 00006, 01274, 04007, 00700, 00000, 00000, 01441 },
[03273] = { 03274, 03227, 00004, 04174, 04007, 00700, 02000, 00011, 00000 },
[03274] = { 02042, 03777, 00006, 00274, 04007, 00521, 01000, 00040, 02000 },
[03275] = { 01062, 00111, 01604, 04174, 04007, 00700, 00000, 00000, 00000 },
[03276] = { 03277, 03447, 00705, 04174, 04007, 00700, 00000, 00000, 00000 },
[03277] = { 02044, 04553, 01700, 04374, 04007, 00321, 00000, 00020, 00000 },
[03300] = { 02046, 04553, 01700, 04374, 04007, 00321, 00000, 00010, 00000 },
[03301] = { 03302, 02441, 00606, 04174, 04007, 00700, 04000, 00000, 00000 },
[03302] = { 02050, 02331, 00005, 01174, 04007, 00521, 00040, 00000, 01441 },
[03303] = { 02052, 03777, 00003, 00274, 04007, 00521, 01000, 00030, 02000 },
[03304] = { 03305, 03547, 00303, 04374, 04007, 00701, 00000, 00077, 07400 },
[03305] = { 03306, 02442, 00400, 04174, 04007, 00700, 04000, 00000, 00000 },
[03306] = { 02055, 02446, 00303, 04174, 04047, 00700, 00040, 00000, 00000 },
[03307] = { 00513, 03444, 01616, 04174, 04046, 02700, 00000, 00000, 00000 },
[03310] = { 01515, 04113, 00400, 01174, 04007, 00700, 00400, 00000, 01441 },
[03311] = { 02062, 03223, 00000, 04174, 04007, 00621, 00000, 00000, 00000 },
[03312] = { 02066, 04221, 00013, 04174, 04007, 00700, 00000, 00000, 00000 },
[03313] = { 02070, 04221, 00013, 04174, 04007, 00700, 00000, 00000, 00000 },
[03314] = { 00100, 04113, 00400, 01174, 04156, 04700, 00400, 00000, 01441 },
[03315] = { 02072, 03223, 00000, 04174, 04007, 00621, 00000, 00000, 00000 },
[03316] = { 00002, 04553, 01300, 04374, 04004, 01321, 00000, 00000, 02000 },
[03317] = { 03320, 03111, 00605, 04174, 00417, 00700, 00000, 00000, 00000 },
[03320] = { 03321, 03333, 00005, 04174, 04217, 00700, 00000, 00000, 00500 },
[03321] = { 03322, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00240 },
[03322] = { 00170, 04443, 00000, 02174, 04006, 06700, 00000, 00000, 00000 },
[03323] = { 03322, 03771, 00005, 04361, 05217, 00700, 00200, 00000, 00502 },
[03324] = { 00574, 03333, 00003, 07174, 04003, 07700, 00400, 00000, 00242 },
[03325] = { 03326, 03333, 00005, 04174, 04007, 00700, 01000, 00041, 06020 },
[03326] = { 02110, 04222, 00000, 04174, 04006, 07701, 01000, 00041, 01770 },
[03327] = { 00507, 04113, 00312, 07174, 04007, 00700, 00400, 00000, 00243 },
[03330] = { 02114, 03771, 00005, 01276, 06007, 00522, 00000, 00000, 01443 },
[03331] = { 03332, 07771, 00003, 07274, 04007, 00701, 00000, 00000, 00242 },
[03332] = { 02116, 03333, 00005, 04174, 04007, 00520, 00000, 00000, 00000 },
[03333] = { 01515, 04221, 00013, 04170, 04007, 00700, 00000, 00000, 00000 },
[03334] = { 02120, 03440, 00303, 01174, 04007, 00670, 00400, 00000, 01441 },
[03335] = { 02124, 03440, 00303, 01174, 04007, 00700, 00400, 00000, 01443 },
[03336] = { 03334, 00111, 00703, 04170, 04007, 00700, 00000, 00000, 00000 },
[03337] = { 03340, 03333, 00005, 07174, 04007, 00700, 00400, 00000, 00213 },
[03340] = { 03341, 03333, 00004, 07174, 04007, 00700, 00400, 00000, 00212 },
[03341] = { 02111, 03333, 00006, 07174, 04007, 00700, 00400, 00000, 00214 },
[03342] = { 03343, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00213 },
[03343] = { 03344, 03771, 00004, 07274, 04007, 00701, 00000, 00000, 00212 },
[03344] = { 03334, 03771, 00006, 07274, 04007, 00701, 00000, 00000, 00214 },
[03345] = { 03346, 00111, 00704, 04174, 04007, 00700, 00000, 00000, 00000 },
[03346] = { 00540, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00003 },
[03347] = { 03350, 03113, 00406, 00174, 04007, 00700, 00400, 00000, 00000 },
[03350] = { 00252, 04221, 00013, 04170, 04007, 00700, 00000, 00000, 00000 },
[03351] = { 01050, 03333, 00006, 04174, 04007, 00520, 00000, 00000, 00000 },
[03352] = { 03353, 03440, 00606, 00174, 04007, 00700, 00400, 00000, 00000 },
[03353] = { 03354, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00010 },
[03354] = { 01074, 03333, 00004, 04174, 04007, 00520, 00000, 00000, 00000 },
[03355] = { 03356, 04111, 01203, 07174, 04007, 00700, 00000, 00000, 00245 },
[03356] = { 03357, 04551, 01205, 07274, 04007, 00700, 00000, 00000, 00245 },
[03357] = { 03360, 02111, 00503, 04174, 04007, 00700, 04000, 00000, 00000 },
[03360] = { 03361, 01111, 00704, 04174, 04007, 00700, 04000, 00000, 00000 },
[03361] = { 03362, 01111, 00706, 04174, 04007, 00700, 04000, 00000, 00000 },
[03362] = { 02136, 03333, 00003, 04174, 04007, 00621, 00000, 00000, 00000 },
[03363] = { 03364, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00012 },
[03364] = { 01074, 03223, 00000, 07174, 04007, 00700, 00400, 00000, 00245 },
[03365] = { 03366, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00243 },
[03366] = { 03367, 03771, 00003, 00276, 06007, 00700, 00000, 00000, 00000 },
[03367] = { 02144, 04521, 00306, 04374, 04007, 00700, 00000, 00077, 07000 },
[03370] = { 00460, 07333, 00003, 07174, 04007, 00700, 00400, 00000, 00242 },
[03371] = { 02154, 04553, 00500, 04374, 04007, 00321, 00000, 00076, 00000 },
[03372] = { 02156, 03445, 00505, 01174, 04007, 00700, 00000, 00000, 01444 },
[03373] = { 00002, 03440, 00505, 01174, 04004, 01700, 00400, 00000, 01443 },
[03374] = { 00004, 00111, 00705, 04174, 04004, 01700, 00000, 00000, 00000 },
[03375] = { 03376, 03111, 00306, 04174, 04007, 00700, 00000, 00000, 00000 },
[03376] = { 02163, 01111, 00701, 04170, 04007, 00700, 04000, 00000, 00000 },
[03377] = { 02164, 03771, 00005, 01276, 06007, 00522, 00000, 00000, 01443 },
[03400] = { 02166, 03440, 00303, 01174, 04007, 00700, 00400, 00000, 01444 },
[03401] = { 03402, 04551, 00404, 04374, 00007, 00700, 00000, 00037, 07777 },
[03402] = { 02170, 02441, 00404, 01174, 04007, 00621, 04000, 00000, 01443 },
[03403] = { 02163, 03440, 00404, 01174, 04007, 00700, 00400, 00000, 01444 },
[03404] = { 00001, 04223, 00000, 01174, 04004, 01700, 00400, 00000, 01444 },
[03405] = { 03406, 03771, 00004, 01276, 06007, 00701, 00000, 00000, 01441 },
[03406] = { 02145, 03771, 00003, 00276, 06007, 00700, 02000, 00071, 00024 },
[03407] = { 02204, 03551, 00606, 04374, 00007, 00700, 00000, 00004, 00000 },
[03410] = { 03411, 03441, 00605, 04170, 04007, 00700, 00000, 00000, 00000 },
[03411] = { 02216, 01111, 00305, 04174, 04007, 00421, 04000, 00000, 00000 },
[03412] = { 03413, 03440, 00303, 01174, 04007, 00700, 00400, 00000, 01443 },
[03413] = { 03414, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00240 },
[03414] = { 03415, 00111, 00703, 04174, 04007, 00700, 00200, 00004, 00012 },
[03415] = { 03416, 03771, 00016, 04365, 05007, 00700, 00200, 00000, 00002 },
[03416] = { 03417, 03771, 00013, 04370, 04007, 00700, 00000, 00000, 00012 },
[03417] = { 03420, 02113, 00507, 07174, 04007, 00701, 04400, 00000, 00242 },
[03420] = { 03421, 03441, 01603, 07174, 04007, 00700, 00000, 00000, 00242 },
[03421] = { 00640, 00551, 00705, 07274, 04007, 00521, 00000, 00000, 00242 },
[03422] = { 03420, 03440, 00505, 01174, 04007, 00700, 00400, 00000, 01443 },
[03423] = { 03432, 03771, 00004, 01276, 06007, 00701, 00000, 00000, 01441 },
[03424] = { 00636, 00551, 00503, 07274, 04003, 07701, 00000, 00000, 00241 },
[03425] = { 03426, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00247 },
[03426] = { 03427, 03771, 00004, 07274, 04007, 00701, 00000, 00000, 00250 },
[03427] = { 02222, 04553, 00500, 04374, 04007, 00321, 00000, 00004, 00000 },
[03430] = { 03431, 03440, 00404, 01174, 04007, 00700, 00400, 00000, 01441 },
[03431] = { 03432, 03440, 00505, 01174, 04007, 00700, 00400, 00000, 01443 },
[03432] = { 02224, 01111, 00706, 04174, 04007, 00531, 04000, 00000, 00000 },
[03433] = { 01505, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00247 },
[03434] = { 02223, 05551, 00505, 04374, 00007, 00700, 00000, 00004, 00000 },
[03435] = { 03436, 03333, 00016, 04174, 04007, 00700, 00200, 00000, 00010 },
[03436] = { 02240, 01551, 00303, 06274, 04007, 00522, 04000, 00000, 00000 },
[03437] = { 03440, 03333, 00017, 04174, 04007, 00700, 00200, 00000, 00010 },
[03440] = { 02242, 00551, 00404, 06274, 04007, 00561, 00000, 00000, 00000 },
[03441] = { 03442, 04221, 00013, 04170, 04007, 00700, 00000, 00000, 00000 },
[03442] = { 02244, 03770, 00605, 04344, 04007, 00700, 00000, 00000, 00000 },
[03443] = { 02252, 03447, 00305, 04174, 04007, 00700, 02000, 00071, 00002 },
[03444] = { 03445, 07441, 00605, 04174, 04007, 00700, 01000, 00071, 00010 },
[03445] = { 03446, 03441, 00603, 04174, 04007, 00701, 01000, 00043, 00000 },
[03446] = { 02260, 04553, 00500, 04374, 04007, 00321, 00000, 00003, 00000 },
[03447] = { 03450, 03223, 00000, 04174, 04007, 00701, 00200, 00000, 00002 },
[03450] = { 03463, 03440, 00303, 01174, 04007, 00700, 00400, 00000, 01444 },
[03451] = { 00705, 04251, 00303, 04374, 04007, 00700, 00000, 00007, 07777 },
[03452] = { 03453, 03771, 00005, 01276, 06007, 00701, 00000, 00000, 01443 },
[03453] = { 03454, 03443, 00500, 04174, 04007, 00700, 00200, 00003, 00012 },
[03454] = { 03455, 03771, 00005, 01276, 06007, 00701, 00000, 00000, 01444 },
[03455] = { 02272, 03333, 00005, 04175, 05007, 00701, 00200, 00000, 00002 },
[03456] = { 00007, 03440, 00606, 00174, 04004, 01700, 00400, 00000, 00000 },
[03457] = { 03460, 00551, 00303, 07274, 04007, 00701, 00000, 00000, 00240 },
[03460] = { 00001, 03443, 00300, 04174, 04004, 01700, 00200, 00004, 00012 },
[03461] = { 03462, 00115, 00703, 04174, 04007, 00700, 00000, 00000, 00000 },
[03462] = { 03464, 03333, 00003, 04174, 04007, 00701, 02000, 00007, 00000 },
[03463] = { 03464, 04443, 00000, 04174, 04007, 00700, 02000, 00071, 00000 },
[03464] = { 03465, 03333, 00006, 04174, 04007, 00701, 01000, 00073, 00000 },
[03465] = { 03466, 04443, 00000, 04174, 04007, 00700, 01000, 00051, 00030 },
[03466] = { 03467, 04443, 00000, 04174, 04007, 00700, 01000, 00040, 00000 },
[03467] = { 03470, 04443, 00000, 04174, 04007, 00700, 01000, 00041, 00010 },
[03470] = { 03471, 03777, 00003, 04334, 04057, 00700, 02000, 00041, 00000 },
[03471] = { 02302, 04251, 00303, 04374, 04007, 00630, 00000, 00000, 00170 },
[03472] = { 03473, 03770, 00303, 04334, 04017, 00700, 00000, 00041, 00000 },
[03473] = { 03474, 04551, 00606, 04374, 00007, 00700, 00000, 00070, 00000 },
[03474] = { 03475, 04551, 00303, 04374, 04007, 00700, 00000, 00003, 00000 },
[03475] = { 03476, 03111, 00306, 04174, 00007, 00700, 00000, 00000, 00000 },
[03476] = { 02254, 03440, 00606, 00174, 04007, 00700, 00400, 00000, 00000 },
[03477] = { 02306, 00113, 00703, 01174, 04007, 00521, 00400, 00000, 01443 },
[03500] = { 03501, 00551, 00303, 07274, 04007, 00700, 00000, 00000, 00241 },
[03501] = { 00004, 04553, 00300, 07274, 04004, 01622, 00000, 00000, 00243 },
[03502] = { 03503, 00551, 00303, 07274, 04007, 00701, 00000, 00000, 00241 },
[03503] = { 02310, 03333, 00003, 04174, 04007, 00700, 00200, 00004, 00012 },
[03504] = { 02316, 03770, 00303, 01174, 04007, 00520, 00400, 00000, 01443 },
[03505] = { 00231, 03770, 00305, 04334, 04016, 07701, 00000, 00033, 06000 },
[03506] = { 03507, 00111, 00703, 04170, 04007, 00700, 00000, 00000, 00000 },
[03507] = { 02322, 03440, 00303, 01174, 04007, 00700, 00400, 00000, 01441 },
[03510] = { 02324, 03441, 00304, 04174, 04007, 00700, 00000, 00000, 00000 },
[03511] = { 02330, 03770, 00305, 04334, 04016, 07701, 00000, 00033, 06000 },
[03512] = { 03513, 00111, 00703, 04170, 04217, 00700, 00000, 00000, 00600 },
[03513] = { 00230, 03440, 00303, 01174, 04006, 06701, 01400, 00073, 01444 },
[03514] = { 03515, 03771, 00003, 04361, 05217, 00700, 00200, 00000, 00602 },
[03515] = { 00230, 04443, 00000, 02174, 04006, 06700, 00000, 00000, 00000 },
[03516] = { 03517, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[03517] = { 00010, 03333, 00003, 07174, 04004, 01700, 00400, 00000, 00244 },
[03520] = { 00001, 04551, 00303, 04374, 00004, 01700, 00000, 00000, 00777 },
[03521] = { 03522, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00214 },
[03522] = { 02334, 00113, 00703, 00174, 04007, 00701, 00400, 00000, 00000 },
[03523] = { 03524, 01771, 00003, 07274, 04007, 00701, 04000, 00000, 00242 },
[03524] = { 02336, 03771, 00005, 01276, 06007, 00522, 00000, 00000, 01443 },
[03525] = { 02720, 03440, 00303, 01174, 04007, 00700, 00400, 00000, 01443 },
[03526] = { 03530, 00111, 00503, 04174, 04007, 00700, 00000, 00000, 00000 },
[03527] = { 03530, 01771, 00003, 07274, 04007, 00701, 04000, 00000, 00242 },
[03530] = { 03531, 03551, 00303, 07274, 04007, 00701, 00000, 00000, 00214 },
[03531] = { 02720, 03440, 00303, 00174, 04007, 00700, 00400, 00000, 00000 },
[03532] = { 03524, 07771, 00003, 07274, 04007, 00701, 00000, 00000, 00242 },
[03533] = { 00001, 03770, 00305, 04334, 04014, 01700, 00000, 00043, 06000 },
[03534] = { 03535, 03741, 00104, 04074, 04007, 00700, 00000, 00000, 00000 },
[03535] = { 02342, 03333, 00004, 07174, 04007, 00340, 00400, 00000, 00425 },
[03536] = { 03537, 03771, 00002, 04365, 05617, 00700, 00200, 00000, 00002 },
[03537] = { 02344, 04553, 00200, 04374, 04007, 00321, 00000, 00070, 00000 },
[03540] = { 03541, 04251, 00505, 04374, 04007, 00700, 00000, 00000, 07770 },
[03541] = { 00260, 04113, 00305, 04174, 04007, 00330, 00000, 00000, 00000 },
[03542] = { 00136, 04251, 00505, 04374, 04007, 00700, 00000, 00000, 07770 },
[03543] = { 03544, 05551, 00505, 04370, 04007, 00700, 00000, 00000, 00007 },
[03544] = { 03545, 04551, 00304, 04374, 04007, 00700, 00000, 00000, 00007 },
[03545] = { 03546, 03111, 00405, 04174, 04007, 00700, 00000, 00000, 00000 },
[03546] = { 03547, 04551, 00304, 04374, 04007, 00700, 00000, 00000, 07760 },
[03547] = { 02346, 04553, 00300, 04374, 04007, 00331, 00000, 00010, 00000 },
[03550] = { 02352, 04553, 00300, 04374, 04007, 00331, 00000, 00002, 00000 },
[03551] = { 03552, 03333, 00005, 04174, 04257, 00700, 00000, 00000, 00000 },
[03552] = { 01400, 03333, 00005, 07174, 04007, 00700, 00400, 00000, 00230 },
[03553] = { 03554, 03333, 00006, 04174, 04237, 00700, 00000, 00000, 00000 },
[03554] = { 03555, 05551, 00606, 04370, 04007, 00700, 00000, 00000, 02000 },
[03555] = { 02357, 03333, 00006, 04174, 04237, 00700, 00000, 00000, 00000 },
[03556] = { 02756, 04551, 00202, 04374, 00007, 00700, 00000, 00077, 07740 },
[03557] = { 00004, 04443, 00000, 04174, 04004, 01700, 00000, 00000, 00000 },
[03560] = { 03561, 03770, 00505, 04344, 00007, 00700, 00000, 00000, 00000 },
[03561] = { 03562, 04551, 00505, 04374, 00007, 00700, 00000, 00000, 07760 },
[03562] = { 03563, 04551, 00505, 04370, 04007, 00700, 00000, 00000, 00007 },
[03563] = { 03564, 03771, 00004, 04304, 04007, 00701, 00000, 00000, 00000 },
[03564] = { 03565, 04251, 00404, 04374, 04007, 00700, 00000, 00000, 07770 },
[03565] = { 03653, 03111, 00405, 04174, 04007, 00700, 00000, 00000, 00000 },
[03566] = { 02360, 03771, 00003, 04365, 05007, 00521, 00200, 00000, 00002 },
[03567] = { 03570, 04551, 00303, 04374, 00007, 00700, 00000, 00050, 07700 },
[03570] = { 02362, 04553, 00300, 04374, 04007, 00321, 00000, 00010, 00000 },
[03571] = { 02364, 04221, 00005, 04174, 00007, 00700, 02000, 00071, 00007 },
[03572] = { 03573, 04221, 00011, 04170, 04007, 00700, 00000, 00000, 00000 },
[03573] = { 03574, 03111, 00511, 04174, 04007, 00700, 00000, 00000, 00000 },
[03574] = { 02432, 03111, 00311, 04174, 00477, 00700, 00000, 00000, 00000 },
[03575] = { 03576, 04551, 00505, 04370, 04007, 00700, 00000, 00074, 07777 },
[03576] = { 02370, 04553, 00300, 04374, 04007, 00321, 00000, 00000, 00020 },
[03577] = { 03600, 03333, 00005, 07174, 04007, 00700, 00400, 00000, 00230 },
[03600] = { 03601, 03441, 00310, 04174, 04007, 00700, 00000, 00000, 00000 },
[03601] = { 02372, 04553, 01000, 04374, 04007, 00321, 00000, 00000, 00040 },
[03602] = { 03653, 04221, 00005, 04174, 00007, 00700, 00000, 00000, 00000 },
[03603] = { 03604, 04551, 01105, 04374, 00007, 00700, 00000, 00050, 07700 },
[03604] = { 02400, 03447, 01106, 04174, 04007, 00700, 02000, 00071, 00006 },
[03605] = { 00001, 03441, 00605, 04170, 04004, 01700, 00000, 00000, 00000 },
[03606] = { 03607, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[03607] = { 01400, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00215 },
[03610] = { 03611, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[03611] = { 01400, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00216 },
[03612] = { 03613, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[03613] = { 01400, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00220 },
[03614] = { 03615, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[03615] = { 01400, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00217 },
[03616] = { 03617, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[03617] = { 01400, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00227 },
[03620] = { 03621, 03771, 00003, 07274, 04117, 00701, 00000, 00000, 00301 },
[03621] = { 03622, 04751, 01205, 04374, 04007, 00700, 00000, 00001, 00000 },
[03622] = { 03623, 00111, 00503, 04174, 04007, 00700, 00000, 00000, 00000 },
[03623] = { 02402, 03770, 00303, 04174, 00007, 00520, 00000, 00000, 00000 },
[03624] = { 03625, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00303 },
[03625] = { 02404, 01111, 00503, 04174, 04007, 00421, 04000, 00000, 00000 },
[03626] = { 03627, 03771, 00005, 04304, 04007, 00701, 00000, 00000, 00000 },
[03627] = { 03630, 03551, 00505, 04374, 04007, 00700, 00000, 00000, 00040 },
[03630] = { 02404, 03333, 00005, 04174, 04237, 00700, 00000, 00000, 00000 },
[03631] = { 01124, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[03632] = { 00002, 03333, 00003, 07174, 04004, 01700, 00400, 00000, 00300 },
[03633] = { 03634, 04451, 01204, 04324, 04007, 00700, 00000, 00000, 00000 },
[03634] = { 03635, 04451, 01206, 04324, 04007, 00700, 00000, 00000, 00000 },
[03635] = { 02406, 06113, 00405, 04174, 04007, 00621, 00000, 00000, 00000 },
[03636] = { 01130, 00551, 00404, 07274, 04007, 00671, 00000, 00000, 00301 },
[03637] = { 03640, 03333, 00005, 04175, 05007, 00701, 00200, 00000, 00002 },
[03640] = { 03641, 00111, 00702, 04170, 04007, 00700, 00200, 00003, 00012 },
[03641] = { 01400, 03333, 00004, 04175, 05007, 00701, 00200, 00000, 00002 },
[03642] = { 03643, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[03643] = { 03644, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00302 },
[03644] = { 01400, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00303 },
[03645] = { 03646, 03770, 00505, 04344, 00007, 00700, 00000, 00000, 00000 },
[03646] = { 02414, 04553, 00300, 04374, 04007, 00331, 00000, 00002, 00000 },
[03647] = { 03650, 03770, 01416, 04344, 04007, 00700, 00000, 00000, 00000 },
[03650] = { 03651, 02441, 00716, 04170, 04007, 00700, 04000, 00000, 00000 },
[03651] = { 03652, 04111, 01416, 04174, 04007, 00700, 00000, 00000, 00000 },
[03652] = { 00010, 07443, 01600, 04174, 04434, 01700, 00000, 00000, 00000 },
[03653] = { 03654, 03443, 00300, 04174, 04007, 00700, 00200, 00003, 00012 },
[03654] = { 01400, 03333, 00005, 04175, 05007, 00701, 00200, 00000, 00002 },
[03655] = { 02426, 04221, 00003, 04174, 04007, 00700, 00000, 00000, 00000 },
[03656] = { 02430, 03333, 00003, 04174, 04247, 00700, 00000, 00000, 01000 },
[03657] = { 02434, 03333, 00003, 04174, 04347, 00700, 00000, 00000, 01000 },
[03660] = { 01400, 04223, 00000, 07174, 04007, 00700, 00400, 00000, 00423 },
[03661] = { 00001, 04443, 00000, 04174, 04004, 01700, 02000, 00071, 00375 },
[03662] = { 03671, 04751, 01206, 04374, 04007, 00700, 00000, 00000, 00001 },
[03663] = { 03671, 04751, 01206, 04374, 04007, 00700, 00000, 00000, 00002 },
[03664] = { 03671, 04751, 01206, 04374, 04007, 00700, 00000, 00000, 00003 },
[03665] = { 03671, 04751, 01206, 04374, 04007, 00700, 00000, 00000, 00004 },
[03666] = { 03671, 04751, 01206, 04374, 04007, 00700, 00000, 00000, 00005 },
[03667] = { 03671, 04751, 01206, 04374, 04007, 00700, 00000, 00000, 00006 },
[03670] = { 03671, 04751, 01206, 04374, 04007, 00700, 00000, 00000, 00007 },
[03671] = { 03672, 04251, 01403, 04374, 04007, 00700, 00000, 00007, 07577 },
[03672] = { 03673, 07443, 00300, 04174, 04437, 00700, 00000, 00000, 00000 },
[03673] = { 02436, 04223, 00000, 04364, 04277, 00700, 00200, 00000, 00010 },
[03674] = { 03675, 00551, 00303, 04370, 04007, 00701, 00000, 00000, 00040 },
[03675] = { 03676, 00111, 01003, 04174, 04007, 00700, 00000, 00000, 00000 },
[03676] = { 03677, 03443, 00300, 04174, 04007, 00700, 00200, 00024, 01016 },
[03677] = { 03700, 03771, 00003, 04365, 05007, 00701, 00200, 00020, 00012 },
[03700] = { 02442, 06553, 00300, 04374, 04007, 00321, 00000, 00025, 04340 },
[03701] = { 00060, 04223, 00000, 04174, 04467, 00700, 00000, 00000, 00004 },
[03702] = { 02446, 03445, 00303, 04174, 04007, 00530, 00000, 00000, 00000 },
[03703] = { 02454, 03771, 00005, 04365, 05007, 00331, 00200, 00000, 00002 },
[03704] = { 03705, 03447, 00606, 04174, 04007, 00700, 00000, 00000, 00000 },
[03705] = { 03677, 00111, 00605, 04174, 04007, 00700, 00200, 00024, 00012 },
[03706] = { 02460, 04113, 00514, 04174, 04007, 00330, 00000, 00000, 00000 },
[03707] = { 02472, 03441, 00603, 04174, 04007, 00700, 00000, 00000, 00000 },
[03710] = { 02474, 03113, 00304, 04174, 04007, 00701, 00200, 00000, 00036 },
[03711] = { 02504, 04553, 00600, 04374, 04007, 00321, 00000, 00070, 00000 },
[03712] = { 03713, 03333, 00002, 04174, 04217, 00700, 00000, 00000, 00000 },
[03713] = { 02510, 04553, 00200, 04374, 04007, 00321, 00000, 00000, 00017 },
[03714] = { 00001, 03771, 00003, 04365, 05124, 01700, 00200, 00000, 00002 },
[03715] = { 00001, 04221, 00003, 04174, 00124, 01700, 00000, 00000, 00000 },
[03716] = { 01134, 03771, 00016, 04354, 04007, 00650, 02000, 00071, 00200 },
[03717] = { 02514, 04443, 00000, 04174, 04007, 00650, 02000, 00071, 00777 },
[03720] = { 00001, 03771, 00003, 04365, 05004, 01700, 00200, 00000, 00002 },
[03721] = { 00001, 03771, 00004, 04365, 05004, 01700, 00200, 00000, 00002 },
[03722] = { 00001, 03772, 00000, 04365, 05004, 01700, 00200, 00000, 00002 },
[03723] = { 00001, 04221, 00004, 04174, 00004, 01700, 00000, 00000, 00000 },
[03724] = { 00001, 00111, 00703, 04174, 04004, 01700, 00000, 00000, 00000 },
[03725] = { 00001, 03445, 00505, 04174, 04004, 01700, 00000, 00000, 00000 },
[03726] = { 00001, 03443, 00300, 04174, 04004, 01701, 00200, 00000, 00036 },
[03727] = { 00004, 03333, 00005, 04175, 05004, 01701, 00200, 00000, 00002 },
[03730] = { 00001, 03333, 00001, 04175, 05004, 01701, 00200, 00000, 00002 },
[03731] = { 00001, 03440, 00404, 00174, 04004, 01700, 00400, 00000, 00000 },
[03732] = { 01515, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[03733] = { 01516, 03771, 00003, 00276, 06007, 00700, 00000, 00000, 00000 },
[03734] = { 02520, 03333, 00017, 04175, 05007, 00701, 00200, 00000, 00002 },
[03735] = { 02526, 03771, 00004, 07274, 04007, 00422, 00000, 00000, 00227 },
[03736] = { 03737, 03771, 00004, 04354, 04007, 00700, 00000, 00000, 00000 },
[03737] = { 00010, 03333, 00004, 07174, 04004, 01700, 00400, 00000, 00210 },
[03740] = { 02130, 03771, 00004, 01276, 06007, 00701, 00000, 00000, 01443 },
[03741] = { 03516, 00111, 00703, 04170, 04007, 00700, 00210, 00004, 00012 },
[03742] = { 03365, 04571, 01203, 04374, 04007, 00700, 00000, 00077, 07777 },
[03743] = { 02176, 03771, 00006, 01276, 06007, 00351, 00000, 00000, 01443 },
[03744] = { 03516, 00111, 00703, 04174, 04007, 00700, 00210, 00004, 00012 },
[03745] = { 02530, 03333, 00004, 04174, 04007, 00700, 00200, 00021, 01016 },
[03746] = { 02531, 00111, 00704, 04170, 04007, 00700, 00200, 00023, 01016 },
[03747] = { 02540, 00111, 00704, 04170, 04007, 00700, 00200, 00023, 01016 },
[03750] = { 02541, 00111, 00704, 04170, 04007, 00700, 00200, 00023, 01016 },
[03751] = { 02250, 03771, 00006, 00276, 06007, 00700, 00000, 00000, 00000 },
[03752] = { 02544, 00111, 00704, 04170, 04007, 00700, 00200, 00023, 01016 },
[03753] = { 02545, 00111, 00704, 04170, 04007, 00700, 00200, 00023, 01016 },
[03754] = { 02101, 03771, 00005, 01276, 06007, 00701, 00000, 00000, 01443 },
[03755] = { 02550, 00111, 00704, 04170, 04007, 00700, 00200, 00023, 01016 },
[03756] = { 03757, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00211 },
[03757] = { 03760, 03771, 00004, 07274, 04007, 00701, 00000, 00000, 00210 },
[03760] = { 03761, 03443, 00400, 04174, 04007, 00700, 00200, 00000, 00010 },
[03761] = { 00006, 03771, 00004, 07274, 04004, 01701, 00000, 00000, 00212 },
[03762] = { 03763, 03771, 00006, 04354, 04007, 00700, 00000, 00000, 00000 },
[03763] = { 03764, 04551, 00606, 04374, 00007, 00700, 00000, 00040, 00000 },
[03764] = { 03765, 03333, 00006, 07174, 04007, 00700, 00400, 00000, 00210 },
[03765] = { 03766, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00230 },
[03766] = { 02554, 04553, 00500, 04374, 04007, 00331, 00000, 00003, 00000 },
[03767] = { 03770, 03333, 00006, 07174, 04007, 00700, 00400, 00000, 00214 },
[03770] = { 03771, 03771, 00006, 04354, 04007, 00700, 00000, 00000, 00000 },
[03771] = { 03772, 03333, 00006, 07174, 04007, 00700, 00400, 00000, 00210 },
[03772] = { 01060, 03333, 00004, 07174, 04007, 00370, 00400, 00000, 00212 },
[03773] = { 03774, 03333, 00006, 07174, 04007, 00700, 00400, 00000, 00160 },
[03774] = { 03775, 03333, 00006, 07174, 04007, 00700, 00400, 00000, 00161 },
[03775] = { 04043, 04571, 01206, 04374, 04007, 00700, 00000, 00036, 00000 },
[03776] = { 04000, 04223, 00000, 04364, 04277, 00700, 00200, 00000, 00010 },
[03777] = { 00104, 04751, 01217, 04374, 04007, 00700, 00000, 00000, 01776 },
[04000] = { 04001, 03551, 01313, 04374, 00007, 00700, 00000, 00002, 04000 },
[04001] = { 02556, 04553, 00600, 04374, 04007, 00321, 00000, 00002, 00000 },
[04002] = { 04003, 06551, 00606, 04374, 00007, 00700, 00000, 00000, 01000 },
[04003] = { 02560, 03441, 00605, 04174, 04007, 00700, 02000, 00071, 00007 },
[04004] = { 02562, 04553, 01000, 04374, 04007, 00321, 00000, 00000, 00040 },
[04005] = { 04006, 03443, 00300, 04174, 04007, 00700, 00200, 00024, 01016 },
[04006] = { 01000, 03771, 00003, 04365, 05007, 00700, 00200, 00000, 00002 },
[04007] = { 02614, 04553, 01300, 04374, 04007, 00321, 00000, 00002, 00000 },
[04010] = { 02622, 04553, 00600, 04374, 04007, 00321, 00000, 00001, 00000 },
[04011] = { 04012, 04221, 00013, 04170, 04007, 00700, 00000, 00000, 00000 },
[04012] = { 04013, 03551, 00606, 04374, 00007, 00700, 00000, 00010, 00000 },
[04013] = { 02636, 04553, 01300, 04374, 04007, 00321, 00000, 00000, 04000 },
[04014] = { 01500, 03111, 00603, 04174, 04003, 07700, 00200, 00003, 00001 },
[04015] = { 04016, 03441, 00305, 04174, 04007, 00700, 00000, 00000, 00000 },
[04016] = { 04017, 05551, 00305, 04374, 00007, 00700, 00000, 00007, 00000 },
[04017] = { 04020, 03443, 00500, 04174, 04007, 00701, 00200, 00000, 00030 },
[04020] = { 04021, 04251, 00404, 04374, 04007, 00700, 00000, 00000, 03777 },
[04021] = { 04022, 03551, 00406, 04374, 04007, 00700, 00000, 00040, 00000 },
[04022] = { 02640, 04553, 01300, 04374, 04007, 00321, 00000, 00002, 00000 },
[04023] = { 04024, 03771, 00004, 07274, 04007, 00701, 00000, 00000, 00212 },
[04024] = { 04025, 03771, 00005, 07274, 04007, 00701, 00000, 00000, 00213 },
[04025] = { 04026, 03771, 00006, 07274, 04007, 00701, 00000, 00000, 00214 },
[04026] = { 04027, 03443, 00300, 04174, 04007, 00701, 00200, 00000, 00032 },
[04027] = { 00000, 03771, 00003, 07274, 04004, 01701, 00000, 00000, 00211 },
[04030] = { 01150, 03773, 00000, 07274, 04007, 00622, 00000, 00000, 00216 },
[04031] = { 04032, 03551, 00304, 04374, 04007, 00700, 00000, 00075, 03777 },
[04032] = { 04033, 04111, 00413, 04174, 00007, 00700, 00000, 00000, 00000 },
[04033] = { 02650, 03333, 00003, 04174, 04007, 00520, 00000, 00000, 00000 },
[04034] = { 02660, 03443, 00300, 04174, 04007, 00370, 00200, 00024, 01016 },
[04035] = { 02664, 04553, 00300, 04374, 04007, 00321, 00000, 00002, 04000 },
[04036] = { 02666, 03333, 00006, 04174, 04007, 00520, 00000, 00000, 00000 },
[04037] = { 04040, 03771, 00004, 04365, 05007, 00700, 00200, 00000, 00002 },
[04040] = { 02674, 04553, 00500, 04374, 04007, 00331, 00000, 00000, 00001 },
[04041] = { 02700, 04553, 00400, 04374, 04007, 00331, 00000, 00002, 00000 },
[04042] = { 02617, 03551, 00606, 04374, 04007, 00700, 00000, 00004, 00000 },
[04043] = { 02710, 03333, 00005, 07174, 04007, 00700, 00400, 00000, 00213 },
[04044] = { 02676, 03111, 00506, 04174, 04007, 00700, 00000, 00000, 00000 },
[04045] = { 01160, 04443, 00000, 04174, 04007, 00370, 00000, 00000, 00000 },
[04046] = { 04023, 03771, 00003, 07274, 04007, 00701, 00000, 00000, 00210 },
[04047] = { 00001, 04223, 00000, 04364, 04274, 01700, 00200, 00000, 00010 },
[04050] = { 02720, 03333, 00003, 04174, 04467, 00700, 00000, 00000, 00004 },
[04051] = { 02724, 03443, 00300, 04174, 04007, 00700, 00200, 00021, 01016 },
[04052] = { 04054, 03333, 00005, 04175, 05007, 00701, 00200, 00000, 00002 },
[04053] = { 02730, 04221, 00013, 04170, 04007, 00370, 00000, 00000, 00000 },
[04054] = { 02762, 00111, 00703, 04174, 04007, 00700, 00200, 00024, 01016 },
[04055] = { 00001, 00111, 00703, 04170, 04004, 01700, 00200, 00023, 01016 },
[07777] = { 03767, 03333, 00003, 07174, 04007, 00700, 00400, 00000, 00211 },