Graph forms
for C4 [ 512, 537 ] = SS[512,70]
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 512, 537 ] =
SS[512,70].
(I) Following is a form readable by MAGMA:
g:=Graph<512|{ {22, 23}, {464, 465}, {1, 3}, {464, 466}, {21, 23}, {1, 2}, {464,
467}, {20, 23}, {1, 5}, {464, 468}, {19, 23}, {1, 4}, {376, 383}, {377, 382},
{112, 120}, {372, 380}, {116, 124}, {115, 123}, {114, 122}, {113, 121}, {119,
126}, {117, 127}, {375, 381}, {118, 125}, {500, 511}, {496, 510}, {497, 511},
{459, 475}, {493, 509}, {37, 52}, {495, 510}, {487, 502}, {457, 472}, {32, 50},
{488, 506}, {35, 49}, {36, 55}, {494, 509}, {458, 473}, {454, 469}, {453, 470},
{452, 471}, {33, 53}, {456, 476}, {363, 383}, {39, 51}, {34, 54}, {105, 124},
{482, 503}, {361, 380}, {111, 122}, {109, 120}, {106, 127}, {38, 48}, {490,
508}, {480, 502}, {360, 382}, {107, 125}, {104, 126}, {108, 123}, {492, 507},
{362, 381}, {110, 121}, {47, 55}, {44, 53}, {41, 50}, {481, 506}, {42, 49}, {40,
52}, {491, 503}, {489, 501}, {43, 54}, {485, 504}, {455, 474}, {46, 51}, {45,
48}, {483, 508}, {486, 505}, {484, 507}, {6, 38}, {463, 495}, {461, 493}, {24,
56}, {6, 39}, {27, 58}, {6, 36}, {469, 503}, {460, 494}, {25, 59}, {6, 37},
{473, 506}, {26, 57}, {7, 35}, {7, 34}, {477, 504}, {448, 485}, {30, 59}, {29,
56}, {7, 33}, {459, 493}, {449, 487}, {448, 486}, {31, 57}, {28, 58}, {7, 32},
{478, 505}, {476, 507}, {475, 508}, {451, 491}, {455, 495}, {454, 494}, {449,
488}, {451, 490}, {479, 501}, {450, 489}, {468, 511}, {465, 509}, {466, 510},
{450, 492}, {472, 502}, {471, 505}, {470, 504}, {474, 501}, {453, 500}, {452,
497}, {17, 41}, {458, 498}, {456, 496}, {461, 500}, {17, 43}, {457, 499}, {18,
40}, {17, 42}, {18, 46}, {17, 44}, {463, 498}, {462, 499}, {460, 497}, {18, 47},
{462, 496}, {18, 45}, {411, 475}, {432, 496}, {404, 469}, {431, 494}, {433,
499}, {408, 476}, {416, 489}, {419, 490}, {418, 491}, {410, 470}, {400, 477},
{417, 492}, {409, 471}, {405, 474}, {407, 472}, {406, 473}, {396, 478}, {397,
479}, {395, 477}, {388, 478}, {430, 500}, {389, 479}, {447, 484}, {429, 497},
{447, 483}, {445, 481}, {435, 495}, {428, 498}, {446, 480}, {434, 493}, {445,
482}, {48, 80}, {54, 86}, {53, 85}, {51, 83}, {57, 88}, {59, 90}, {444, 478},
{56, 91}, {446, 477}, {444, 479}, {58, 89}, {437, 465}, {438, 466}, {49, 84},
{439, 466}, {436, 465}, {391, 482}, {50, 87}, {52, 82}, {55, 81}, {56, 95},
{390, 481}, {59, 92}, {58, 93}, {57, 94}, {392, 480}, {443, 467}, {62, 87},
{394, 483}, {387, 490}, {386, 491}, {384, 489}, {63, 86}, {62, 84}, {441, 467},
{63, 85}, {60, 80}, {440, 468}, {61, 81}, {385, 492}, {399, 482}, {393, 484},
{442, 468}, {60, 83}, {398, 481}, {61, 82}, {62, 78}, {424, 472}, {60, 77},
{423, 470}, {420, 469}, {402, 483}, {401, 480}, {425, 475}, {427, 473}, {60,
79}, {63, 76}, {61, 72}, {62, 75}, {63, 73}, {61, 74}, {415, 488}, {403, 484},
{50, 74}, {53, 77}, {49, 72}, {414, 487}, {412, 485}, {54, 79}, {51, 73}, {422,
476}, {52, 78}, {260, 383}, {413, 486}, {48, 76}, {256, 380}, {55, 75}, {426,
471}, {259, 381}, {257, 382}, {421, 474}, {70, 198}, {307, 435}, {293, 421},
{80, 208}, {73, 201}, {72, 200}, {64, 193}, {83, 210}, {68, 197}, {65, 192},
{85, 215}, {294, 420}, {258, 384}, {77, 206}, {283, 408}, {87, 212}, {86, 213},
{82, 209}, {78, 205}, {67, 199}, {309, 433}, {263, 387}, {262, 386}, {261, 385},
{75, 207}, {71, 194}, {311, 434}, {290, 423}, {287, 410}, {284, 409}, {79, 202},
{66, 196}, {310, 432}, {285, 411}, {74, 204}, {69, 195}, {76, 203}, {289, 422},
{84, 211}, {81, 214}, {296, 416}, {298, 419}, {286, 404}, {293, 431}, {277,
414}, {297, 418}, {295, 428}, {291, 424}, {288, 427}, {279, 412}, {274, 415},
{295, 426}, {292, 425}, {288, 429}, {282, 407}, {280, 405}, {275, 413}, {303,
417}, {281, 406}, {289, 430}, {291, 434}, {351, 462}, {349, 460}, {298, 443},
{290, 432}, {350, 460}, {299, 440}, {348, 463}, {345, 461}, {347, 463}, {346,
462}, {292, 433}, {344, 461}, {303, 442}, {300, 441}, {294, 435}, {383, 488},
{64, 216}, {69, 221}, {67, 218}, {382, 487}, {380, 485}, {68, 222}, {308, 430},
{301, 439}, {302, 437}, {381, 486}, {296, 436}, {65, 220}, {304, 429}, {70,
219}, {66, 223}, {71, 217}, {306, 428}, {305, 431}, {297, 438}, {64, 224}, {65,
224}, {90, 251}, {67, 225}, {264, 426}, {66, 225}, {16, 180}, {309, 401}, {308,
400}, {268, 424}, {94, 250}, {71, 227}, {70, 226}, {93, 248}, {311, 402}, {310,
403}, {270, 427}, {68, 226}, {271, 425}, {95, 249}, {69, 227}, {19, 187}, {22,
190}, {21, 189}, {20, 188}, {269, 420}, {92, 247}, {19, 191}, {89, 245}, {21,
184}, {266, 423}, {20, 186}, {267, 421}, {88, 246}, {22, 185}, {265, 422}, {91,
244}, {302, 414}, {300, 413}, {312, 393}, {301, 412}, {314, 392}, {272, 419},
{313, 394}, {273, 418}, {29, 169}, {299, 415}, {276, 416}, {43, 159}, {42, 158},
{41, 157}, {40, 156}, {31, 170}, {30, 168}, {317, 395}, {47, 153}, {46, 152},
{45, 155}, {44, 154}, {28, 171}, {278, 417}, {319, 391}, {9, 176}, {15, 182},
{14, 183}, {12, 181}, {11, 178}, {20, 174}, {316, 390}, {22, 172}, {21, 175},
{10, 177}, {318, 389}, {304, 396}, {306, 398}, {13, 179}, {307, 397}, {305,
399}, {19, 173}, {315, 388}, {100, 166}, {101, 167}, {80, 147}, {263, 452},
{262, 453}, {103, 164}, {102, 165}, {85, 150}, {34, 230}, {86, 146}, {84, 144},
{83, 151}, {81, 149}, {33, 228}, {35, 229}, {257, 455}, {256, 454}, {97, 167},
{96, 166}, {87, 145}, {82, 148}, {32, 231}, {99, 164}, {98, 165}, {27, 211},
{259, 459}, {99, 171}, {98, 170}, {25, 208}, {347, 402}, {97, 168}, {96, 169},
{27, 210}, {78, 132}, {26, 209}, {258, 457}, {76, 135}, {74, 129}, {72, 131},
{37, 238}, {32, 236}, {349, 401}, {348, 400}, {260, 456}, {73, 133}, {35, 239},
{33, 237}, {24, 213}, {350, 403}, {79, 130}, {77, 128}, {75, 134}, {39, 234},
{37, 232}, {26, 215}, {25, 212}, {16, 222}, {24, 214}, {36, 235}, {261, 458},
{38, 233}, {64, 144}, {343, 391}, {342, 390}, {112, 160}, {9, 216}, {341, 388},
{340, 389}, {113, 160}, {71, 150}, {31, 206}, {13, 220}, {12, 221}, {29, 207},
{115, 161}, {93, 143}, {91, 137}, {31, 205}, {30, 204}, {10, 217}, {351, 396},
{114, 161}, {70, 149}, {65, 146}, {34, 241}, {11, 223}, {345, 397}, {119, 163},
{118, 162}, {92, 136}, {89, 141}, {69, 145}, {28, 200}, {15, 219}, {14, 218},
{28, 201}, {346, 399}, {95, 138}, {94, 139}, {66, 151}, {39, 242}, {30, 203},
{38, 240}, {344, 398}, {90, 140}, {88, 142}, {29, 202}, {117, 162}, {116, 163},
{68, 147}, {67, 148}, {36, 243}, {336, 392}, {339, 395}, {338, 394}, {337, 393},
{325, 415}, {327, 413}, {322, 412}, {321, 414}, {96, 128}, {98, 130}, {97, 131},
{323, 417}, {99, 129}, {320, 419}, {331, 424}, {96, 132}, {373, 401}, {365,
393}, {364, 392}, {99, 135}, {98, 134}, {97, 133}, {332, 425}, {375, 402}, {366,
395}, {335, 426}, {324, 418}, {374, 400}, {333, 427}, {326, 416}, {360, 384},
{369, 409}, {368, 408}, {40, 193}, {371, 410}, {370, 411}, {362, 387}, {44,
197}, {334, 420}, {367, 389}, {363, 385}, {361, 386}, {376, 403}, {42, 198},
{47, 195}, {46, 194}, {45, 192}, {330, 423}, {328, 421}, {111, 130}, {110, 131},
{109, 128}, {108, 129}, {106, 135}, {104, 133}, {41, 199}, {43, 196}, {329,
422}, {107, 132}, {105, 134}, {100, 148}, {356, 404}, {108, 156}, {100, 150},
{104, 154}, {101, 151}, {102, 149}, {102, 146}, {378, 398}, {377, 397}, {374,
386}, {371, 391}, {105, 157}, {103, 147}, {101, 144}, {373, 384}, {354, 407},
{352, 405}, {107, 158}, {106, 159}, {103, 145}, {370, 388}, {368, 390}, {109,
155}, {110, 153}, {379, 396}, {353, 406}, {111, 152}, {112, 136}, {379, 387},
{367, 407}, {116, 140}, {113, 137}, {118, 143}, {364, 405}, {366, 404}, {355,
408}, {378, 385}, {372, 399}, {369, 394}, {365, 406}, {119, 139}, {357, 409},
{115, 142}, {359, 410}, {358, 411}, {114, 141}, {117, 138}, {123, 377}, {120,
379}, {121, 378}, {127, 376}, {124, 375}, {126, 373}, {125, 374}, {122, 372},
{126, 358}, {127, 359}, {120, 353}, {122, 352}, {121, 357}, {124, 354}, {125,
355}, {123, 356}, {8, 360}, {8, 361}, {8, 362}, {8, 363}, {170, 298}, {168,
299}, {170, 297}, {171, 296}, {169, 301}, {171, 303}, {169, 300}, {168, 302},
{187, 299}, {190, 302}, {191, 303}, {164, 309}, {165, 308}, {166, 311}, {167,
310}, {185, 296}, {188, 301}, {90, 457}, {186, 297}, {167, 307}, {184, 300},
{93, 456}, {94, 459}, {165, 304}, {92, 458}, {164, 306}, {166, 305}, {189, 298},
{160, 312}, {163, 315}, {189, 293}, {160, 313}, {184, 289}, {186, 291}, {190,
295}, {191, 294}, {95, 453}, {161, 314}, {185, 290}, {161, 317}, {188, 288},
{162, 319}, {163, 318}, {88, 454}, {89, 455}, {162, 316}, {91, 452}, {187, 292},
{14, 430}, {16, 432}, {238, 335}, {13, 431}, {100, 448}, {101, 449}, {239, 331},
{9, 428}, {103, 450}, {102, 451}, {16, 437}, {229, 320}, {231, 322}, {236, 329},
{10, 429}, {228, 323}, {230, 321}, {237, 330}, {203, 355}, {200, 353}, {207,
358}, {205, 359}, {201, 354}, {206, 357}, {204, 352}, {232, 325}, {233, 324},
{234, 327}, {235, 326}, {202, 356}, {11, 442}, {12, 440}, {247, 323}, {246,
322}, {245, 321}, {244, 320}, {13, 441}, {228, 336}, {14, 443}, {231, 338},
{229, 339}, {230, 337}, {15, 439}, {240, 328}, {11, 433}, {10, 438}, {232, 340},
{233, 341}, {9, 436}, {251, 326}, {250, 327}, {249, 324}, {248, 325}, {243,
334}, {15, 434}, {234, 343}, {235, 342}, {241, 332}, {12, 435}, {242, 333},
{119, 439}, {144, 336}, {145, 337}, {146, 338}, {203, 267}, {227, 291}, {148,
341}, {151, 342}, {224, 289}, {149, 343}, {181, 375}, {207, 269}, {224, 290},
{226, 288}, {118, 437}, {216, 283}, {220, 287}, {112, 436}, {247, 307}, {172,
360}, {177, 373}, {200, 268}, {206, 266}, {217, 285}, {218, 286}, {225, 293},
{150, 339}, {244, 305}, {175, 362}, {202, 271}, {204, 265}, {205, 264}, {226,
295}, {173, 363}, {246, 304}, {176, 374}, {178, 372}, {113, 438}, {245, 306},
{147, 340}, {174, 361}, {201, 270}, {219, 284}, {221, 282}, {222, 281}, {223,
280}, {225, 294}, {227, 292}, {185, 369}, {128, 329}, {135, 334}, {132, 333},
{130, 331}, {209, 280}, {212, 285}, {114, 440}, {133, 335}, {115, 441}, {129,
330}, {179, 376}, {182, 378}, {208, 284}, {210, 286}, {211, 287}, {189, 368},
{251, 310}, {248, 309}, {190, 371}, {191, 370}, {215, 282}, {116, 442}, {250,
308}, {249, 311}, {134, 328}, {117, 443}, {183, 377}, {213, 283}, {131, 332},
{180, 379}, {214, 281}, {136, 344}, {139, 347}, {199, 279}, {110, 447}, {140,
349}, {111, 446}, {143, 350}, {192, 273}, {194, 275}, {196, 277}, {232, 313},
{108, 446}, {109, 447}, {234, 312}, {188, 367}, {193, 274}, {197, 278}, {233,
314}, {104, 444}, {141, 345}, {142, 346}, {184, 364}, {105, 444}, {187, 366},
{107, 445}, {138, 348}, {137, 351}, {198, 272}, {235, 317}, {106, 445}, {186,
365}, {195, 276}, {24, 448}, {25, 449}, {152, 320}, {153, 321}, {197, 285},
{216, 256}, {217, 257}, {218, 258}, {26, 451}, {27, 450}, {155, 322}, {157,
324}, {158, 327}, {159, 326}, {192, 281}, {220, 261}, {223, 262}, {194, 280},
{221, 263}, {196, 287}, {228, 319}, {229, 318}, {231, 316}, {198, 283}, {199,
282}, {222, 259}, {230, 315}, {154, 325}, {156, 323}, {193, 286}, {195, 284},
{219, 260}, {181, 340}, {140, 366}, {178, 336}, {238, 268}, {239, 269}, {242,
272}, {247, 276}, {177, 341}, {179, 343}, {182, 338}, {183, 339}, {236, 264},
{180, 337}, {246, 275}, {244, 273}, {241, 276}, {137, 367}, {243, 277}, {139,
365}, {138, 364}, {176, 342}, {237, 267}, {240, 279}, {245, 274}, {249, 272},
{214, 316}, {208, 315}, {210, 319}, {251, 278}, {250, 279}, {248, 277}, {212,
313}, {213, 312}, {215, 314}, {211, 317}, {209, 318}, {174, 350}, {254, 270},
{173, 348}, {253, 268}, {252, 269}, {173, 351}, {253, 271}, {175, 349}, {2,
502}, {3, 503}, {255, 266}, {172, 346}, {255, 265}, {254, 264}, {2, 501}, {252,
267}, {172, 347}, {174, 345}, {175, 344}, {4, 508}, {238, 278}, {242, 266},
{157, 356}, {176, 329}, {179, 330}, {180, 333}, {182, 335}, {183, 334}, {5,
511}, {255, 261}, {254, 260}, {253, 263}, {252, 262}, {243, 265}, {178, 328},
{3, 504}, {136, 371}, {153, 354}, {154, 353}, {158, 357}, {155, 359}, {253,
257}, {239, 275}, {3, 510}, {254, 259}, {4, 505}, {177, 332}, {236, 273}, {5,
507}, {252, 258}, {142, 368}, {143, 369}, {152, 358}, {181, 331}, {2, 509},
{255, 256}, {141, 370}, {5, 506}, {156, 355}, {159, 352}, {237, 274}, {240,
271}, {241, 270}, {4, 512}, {467, 512}, {498, 512}, {499, 512} }>;
(II) A more general form is to represent the graph as the orbit of {22, 23}
under the group generated by the following permutations:
a: (1, 48)(2, 45)(3, 80)(4, 76)(5, 38)(6, 511)(7, 172)(8, 50)(9, 71)(10,
342)(11, 312)(12, 266)(13, 354)(14, 335)(15, 286)(16, 111)(17, 173)(18, 509)(19,
42)(20, 84)(21, 72)(22, 35)(23, 49)(24, 309)(25, 491)(26, 92)(27, 301)(28,
300)(29, 93)(30, 490)(31, 307)(32, 360)(33, 347)(34, 346)(36, 497)(37, 500)(39,
468)(40, 493)(41, 363)(43, 351)(44, 348)(46, 465)(47, 494)(51, 464)(52, 461)(53,
463)(54, 462)(55, 460)(56, 248)(57, 247)(58, 169)(59, 451)(60, 510)(61, 175)(62,
174)(63, 512)(64, 291)(65, 472)(66, 113)(67, 378)(68, 477)(69, 256)(70, 366)(73,
467)(74, 362)(75, 350)(77, 495)(78, 345)(79, 496)(81, 349)(82, 344)(83, 466)(85,
498)(86, 499)(87, 361)(88, 276)(89, 96)(90, 102)(91, 277)(94, 323)(95, 325)(97,
298)(98, 310)(99, 486)(100, 306)(101, 297)(103, 485)(104, 117)(105, 376)(106,
478)(107, 370)(108, 259)(109, 474)(110, 293)(112, 280)(114, 333)(115, 270)(116,
343)(118, 358)(119, 319)(120, 405)(121, 225)(122, 180)(123, 254)(124, 179)(125,
411)(126, 162)(127, 444)(128, 455)(129, 381)(130, 432)(131, 189)(132, 141)(133,
443)(134, 403)(135, 505)(136, 209)(137, 196)(138, 154)(139, 228)(140, 149)(142,
241)(143, 207)(144, 186)(145, 380)(146, 457)(147, 504)(148, 398)(150, 428)(151,
438)(152, 437)(153, 431)(155, 501)(156, 459)(157, 383)(158, 191)(159, 396)(160,
223)(161, 427)(163, 391)(164, 448)(165, 251)(166, 245)(167, 170)(168, 419)(171,
413)(176, 217)(177, 390)(178, 393)(181, 423)(182, 218)(183, 426)(184, 200)(185,
239)(187, 198)(188, 211)(190, 229)(192, 502)(193, 434)(194, 436)(195, 454)(197,
400)(199, 385)(201, 441)(202, 456)(203, 508)(204, 387)(205, 397)(206, 435)(208,
503)(210, 439)(212, 386)(213, 433)(214, 401)(215, 458)(216, 227)(219, 404)(220,
407)(221, 255)(222, 446)(224, 424)(226, 395)(230, 399)(231, 384)(232, 453)(233,
506)(234, 442)(235, 429)(236, 382)(237, 402)(238, 430)(240, 507)(242, 440)(243,
452)(244, 414)(246, 416)(249, 415)(250, 417)(252, 394)(253, 422)(257, 329)(258,
338)(260, 356)(261, 282)(262, 313)(263, 265)(264, 377)(267, 483)(268, 289)(269,
369)(271, 476)(272, 299)(273, 487)(274, 311)(275, 296)(278, 308)(279, 492)(281,
480)(283, 292)(284, 469)(285, 374)(287, 367)(288, 317)(290, 331)(294, 357)(295,
339)(302, 320)(303, 327)(304, 326)(305, 321)(314, 473)(315, 482)(316, 373)(318,
371)(322, 489)(324, 488)(328, 484)(330, 375)(332, 368)(334, 471)(336, 365)(337,
372)(340, 470)(341, 481)(352, 379)(353, 364)(355, 475)(359, 479)(388, 445)(389,
410)(392, 406)(408, 425)(409, 420)(412, 450)(418, 449)(421, 447) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (2, 3)(4, 5)(9, 10)(11, 14)(12, 13)(15, 16)(19, 21)(20, 22)(24, 25)(26,
27)(28, 31)(29, 30)(32, 34)(33, 35)(36, 38)(37, 39)(40, 46)(41, 43)(42, 44)(45,
47)(48, 55)(49, 53)(50, 54)(51, 52)(56, 59)(57, 58)(60, 61)(62, 63)(64, 71)(65,
69)(66, 67)(68, 70)(72, 77)(73, 78)(74, 79)(75, 76)(80, 81)(82, 83)(84, 85)(86,
87)(88, 89)(90, 95)(91, 92)(93, 94)(96, 97)(98, 99)(100, 101)(102, 103)(104,
107)(105, 106)(108, 111)(109, 110)(112, 113)(114, 115)(116, 117)(118, 119)(120,
121)(122, 123)(124, 127)(125, 126)(128, 131)(129, 130)(132, 133)(134, 135)(136,
137)(138, 140)(139, 143)(141, 142)(144, 150)(145, 146)(147, 149)(148, 151)(152,
156)(153, 155)(154, 158)(157, 159)(162, 163)(164, 165)(166, 167)(168, 169)(170,
171)(172, 174)(173, 175)(176, 177)(178, 183)(179, 181)(180, 182)(184, 187)(185,
186)(188, 190)(189, 191)(192, 195)(193, 194)(196, 199)(197, 198)(200, 206)(201,
205)(202, 204)(203, 207)(208, 214)(209, 210)(211, 215)(212, 213)(216, 217)(218,
223)(219, 222)(220, 221)(224, 227)(228, 229)(230, 231)(232, 234)(233, 235)(236,
241)(237, 239)(238, 242)(240, 243)(244, 247)(245, 246)(248, 250)(249, 251)(253,
255)(256, 257)(258, 262)(259, 260)(261, 263)(264, 270)(265, 271)(266, 268)(267,
269)(272, 278)(273, 276)(274, 275)(277, 279)(280, 286)(281, 284)(282, 287)(283,
285)(288, 295)(289, 292)(290, 291)(293, 294)(296, 297)(298, 303)(299, 300)(301,
302)(304, 306)(305, 307)(308, 309)(310, 311)(312, 313)(314, 317)(315, 316)(318,
319)(320, 323)(321, 322)(324, 326)(325, 327)(328, 334)(329, 332)(330, 331)(333,
335)(336, 339)(337, 338)(340, 343)(341, 342)(344, 351)(345, 346)(347, 350)(348,
349)(352, 356)(353, 357)(354, 359)(355, 358)(360, 361)(362, 363)(364, 366)(365,
369)(367, 371)(368, 370)(372, 377)(373, 374)(375, 376)(378, 379)(380, 382)(381,
383)(384, 386)(385, 387)(388, 390)(389, 391)(392, 395)(393, 394)(396, 398)(397,
399)(400, 401)(402, 403)(404, 405)(406, 409)(407, 410)(408, 411)(412, 414)(413,
415)(416, 418)(417, 419)(420, 421)(422, 425)(423, 424)(426, 427)(428, 429)(430,
433)(431, 435)(432, 434)(436, 438)(437, 439)(440, 441)(442, 443)(444, 445)(448,
449)(450, 451)(452, 458)(453, 457)(454, 455)(456, 459)(460, 463)(461, 462)(465,
466)(467, 468)(469, 474)(470, 472)(471, 473)(475, 476)(477, 480)(478, 481)(479,
482)(483, 484)(485, 487)(486, 488)(489, 491)(490, 492)(493, 496)(494, 495)(497,
498)(499, 500)(501, 503)(502, 504)(505, 506)(507, 508)(509, 510)(511, 512)
c: (1, 8)(2, 362, 5, 361)(3, 360, 4, 363)(6, 18)(7, 17)(9, 364, 12, 365)(10,
369, 13, 366)(11, 367, 16, 368)(14, 370, 15, 371)(19, 466, 22, 467)(20, 465, 21,
468)(23, 464)(24, 101, 26, 103)(25, 102, 27, 100)(28, 96, 30, 98)(29, 97, 31,
99)(32, 43, 35, 44)(33, 41, 34, 42)(36, 46, 37, 45)(38, 47, 39, 40)(48, 55, 51,
52)(49, 53, 50, 54)(56, 167, 57, 164)(58, 166, 59, 165)(60, 61)(62, 63)(64, 314,
69, 312)(65, 317, 71, 313)(66, 318, 68, 316)(67, 315, 70, 319)(72, 77, 74,
79)(73, 78, 76, 75)(80, 81, 83, 82)(84, 85, 87, 86)(88, 309, 91, 310)(89, 311,
92, 308)(90, 304, 93, 305)(94, 306, 95, 307)(104, 264, 106, 269)(105, 270, 107,
267)(108, 271, 110, 266)(109, 265, 111, 268)(112, 289, 114, 291)(113, 290, 115,
292)(116, 288, 118, 293)(117, 294, 119, 295)(120, 422, 122, 424)(121, 423, 123,
425)(124, 427, 125, 421)(126, 426, 127, 420)(128, 204, 130, 200)(129, 202, 131,
206)(132, 203, 134, 201)(133, 205, 135, 207)(136, 430, 141, 434)(137, 432, 142,
433)(138, 435, 139, 428)(140, 429, 143, 431)(144, 215, 145, 213)(146, 211, 150,
212)(147, 214, 151, 209)(148, 208, 149, 210)(152, 238, 155, 243)(153, 242, 156,
240)(154, 236, 159, 239)(157, 241, 158, 237)(160, 224, 161, 227)(162, 225, 163,
226)(168, 170, 171, 169)(172, 512, 173, 510)(174, 509, 175, 511)(176, 405, 181,
406)(177, 409, 179, 404)(178, 407, 180, 408)(182, 410, 183, 411)(184, 440, 186,
436)(185, 441, 187, 438)(188, 437, 189, 442)(190, 443, 191, 439)(192, 235, 194,
232)(193, 233, 195, 234)(196, 229, 197, 231)(198, 228, 199, 230)(216, 392, 221,
393)(217, 394, 220, 395)(218, 388, 219, 391)(222, 390, 223, 389)(244, 251, 246,
248)(245, 249, 247, 250)(252, 444, 254, 445)(253, 447, 255, 446)(256, 480, 263,
484)(257, 483, 261, 477)(258, 478, 260, 482)(259, 481, 262, 479)(272, 323, 279,
321)(273, 326, 275, 325)(274, 324, 276, 327)(277, 320, 278, 322)(280, 340, 281,
342)(282, 337, 283, 336)(284, 343, 286, 341)(285, 338, 287, 339)(296, 300, 299,
297)(298, 303, 301, 302)(328, 354, 333, 355)(329, 352, 331, 353)(330, 356, 332,
357)(334, 358, 335, 359)(344, 500, 345, 493)(346, 499, 351, 496)(347, 498, 348,
495)(349, 497, 350, 494)(372, 472, 379, 476)(373, 471, 376, 469)(374, 474, 375,
473)(377, 475, 378, 470)(380, 502, 387, 507)(381, 506, 386, 501)(382, 508, 385,
504)(383, 503, 384, 505)(396, 456, 399, 457)(397, 459, 398, 453)(400, 455, 402,
458)(401, 452, 403, 454)(412, 414, 419, 417)(413, 415, 418, 416)(448, 449, 451,
450)(485, 487, 490, 492)(486, 488, 491, 489)
d: (1, 6, 23, 7)(2, 39, 19, 32)(3, 36, 21, 33)(4, 37, 20, 34)(5, 38, 22, 35)(8,
17, 464, 18)(9, 280, 376, 356)(10, 284, 375, 353)(11, 359, 377, 283)(12, 281,
373, 357)(13, 286, 374, 352)(14, 355, 372, 287)(15, 354, 379, 285)(16, 358, 378,
282)(24, 309, 31, 307)(25, 311, 28, 304)(26, 310, 29, 306)(27, 308, 30, 305)(40,
361, 43, 467)(41, 465, 46, 363)(42, 468, 45, 360)(44, 466, 47, 362)(48, 172, 49,
511)(50, 509, 51, 173)(52, 174, 54, 512)(53, 510, 55, 175)(56, 164, 57, 167)(58,
165, 59, 166)(60, 463, 61, 460)(62, 461, 63, 462)(64, 262, 106, 115)(65, 258,
107, 114)(66, 117, 108, 256)(67, 118, 111, 261)(68, 119, 110, 263)(69, 259, 104,
113)(70, 116, 109, 257)(71, 260, 105, 112)(72, 497, 80, 347)(73, 351, 87,
493)(74, 494, 83, 348)(75, 344, 85, 496)(76, 346, 84, 500)(77, 495, 81, 349)(78,
345, 86, 499)(79, 498, 82, 350)(88, 101, 95, 99)(89, 102, 90, 96)(91, 103, 94,
97)(92, 100, 93, 98)(120, 217, 219, 124)(121, 221, 222, 126)(122, 220, 218,
125)(123, 216, 223, 127)(128, 455, 149, 140)(129, 454, 151, 138)(130, 458, 148,
143)(131, 452, 147, 139)(132, 141, 146, 457)(133, 137, 145, 459)(134, 136, 150,
456)(135, 142, 144, 453)(152, 385, 199, 437)(153, 387, 197, 439)(154, 438, 195,
381)(155, 382, 198, 442)(156, 380, 196, 443)(157, 436, 194, 383)(158, 440, 192,
384)(159, 441, 193, 386)(160, 227, 254, 444)(161, 224, 252, 445)(162, 446, 255,
225)(163, 447, 253, 226)(168, 244, 450, 250)(169, 245, 451, 251)(170, 247, 448,
248)(171, 246, 449, 249)(176, 405, 179, 404)(177, 409, 181, 406)(178, 410, 183,
408)(180, 411, 182, 407)(184, 237, 503, 235)(185, 239, 506, 233)(186, 241, 505,
232)(187, 236, 501, 234)(188, 230, 508, 238)(189, 228, 504, 243)(190, 229, 507,
240)(191, 231, 502, 242)(200, 429, 208, 402)(201, 396, 212, 434)(202, 428, 209,
403)(203, 399, 211, 430)(204, 431, 210, 400)(205, 397, 213, 433)(206, 435, 214,
401)(207, 398, 215, 432)(264, 479, 312, 292)(265, 293, 319, 477)(266, 294, 316,
480)(267, 482, 317, 289)(268, 288, 315, 483)(269, 481, 314, 290)(270, 478, 313,
291)(271, 295, 318, 484)(272, 303, 322, 487)(273, 489, 327, 299)(274, 491, 326,
300)(275, 488, 324, 296)(276, 486, 325, 297)(277, 298, 323, 485)(278, 301, 321,
490)(279, 302, 320, 492)(328, 371, 339, 476)(329, 474, 343, 366)(330, 469, 342,
364)(331, 473, 341, 369)(332, 471, 340, 365)(333, 370, 338, 472)(334, 368, 336,
470)(335, 367, 337, 475)(388, 394, 424, 427)(389, 393, 425, 426)(390, 392, 423,
420)(391, 395, 422, 421)(412, 414, 419, 417)(413, 415, 418, 416)
e: (2, 5)(6, 7)(9, 11)(10, 15)(12, 16)(13, 14)(17, 18)(19, 22)(24, 26)(29,
31)(32, 38)(33, 36)(34, 37)(35, 39)(40, 43)(41, 45)(42, 46)(44, 47)(48, 50)(49,
51)(52, 54)(53, 55)(56, 57)(60, 62)(61, 63)(64, 66)(65, 67)(68, 69)(70, 71)(72,
73)(74, 76)(75, 77)(78, 79)(80, 87)(81, 85)(82, 86)(83, 84)(88, 95)(89, 93)(90,
92)(91, 94)(96, 98)(100, 102)(104, 110)(105, 109)(106, 108)(107, 111)(112,
116)(113, 119)(114, 118)(115, 117)(120, 124)(121, 126)(122, 125)(123, 127)(128,
134)(129, 135)(130, 132)(131, 133)(136, 140)(137, 139)(138, 142)(141, 143)(144,
151)(145, 147)(146, 148)(149, 150)(152, 158)(153, 154)(155, 157)(156, 159)(160,
163)(161, 162)(165, 166)(169, 170)(172, 173)(176, 178)(177, 182)(179, 183)(180,
181)(184, 189)(185, 191)(186, 188)(187, 190)(192, 199)(193, 196)(194, 198)(195,
197)(200, 201)(202, 205)(203, 204)(206, 207)(208, 212)(209, 213)(210, 211)(214,
215)(216, 223)(217, 219)(218, 220)(221, 222)(224, 225)(226, 227)(228, 235)(229,
234)(230, 232)(231, 233)(236, 240)(237, 243)(238, 241)(239, 242)(244, 250)(245,
248)(246, 249)(247, 251)(252, 255)(253, 254)(256, 262)(257, 260)(258, 261)(259,
263)(264, 271)(265, 267)(266, 269)(268, 270)(272, 275)(273, 279)(274, 277)(276,
278)(280, 283)(281, 282)(284, 285)(286, 287)(288, 291)(289, 293)(290, 294)(292,
295)(296, 303)(297, 301)(298, 300)(299, 302)(304, 311)(305, 308)(306, 309)(307,
310)(312, 318)(313, 315)(314, 316)(317, 319)(320, 327)(321, 325)(322, 324)(323,
326)(328, 329)(330, 334)(331, 333)(332, 335)(336, 342)(337, 340)(338, 341)(339,
343)(344, 349)(345, 350)(346, 348)(347, 351)(352, 355)(353, 354)(356, 359)(357,
358)(360, 363)(364, 368)(365, 367)(366, 371)(369, 370)(372, 374)(373, 378)(375,
379)(376, 377)(380, 386)(381, 387)(382, 383)(384, 385)(388, 394)(389, 393)(390,
392)(391, 395)(396, 402)(397, 403)(398, 401)(399, 400)(404, 410)(405, 408)(406,
407)(409, 411)(412, 418)(413, 419)(414, 415)(416, 417)(420, 423)(421, 422)(424,
427)(425, 426)(428, 433)(429, 434)(430, 431)(432, 435)(436, 442)(437, 440)(438,
439)(441, 443)(444, 447)(445, 446)(448, 451)(452, 459)(453, 454)(455, 456)(457,
458)(460, 461)(462, 463)(465, 468)(469, 470)(471, 475)(472, 473)(474, 476)(477,
482)(478, 483)(479, 484)(480, 481)(485, 491)(486, 490)(487, 488)(489, 492)(493,
497)(494, 500)(495, 496)(498, 499)(501, 507)(502, 506)(503, 504)(505, 508)(509,
511)
f: (1, 120, 417, 216)(2, 109, 303, 283)(3, 379, 278, 64)(4, 353, 323, 256)(5,
112, 492, 9)(6, 218, 418, 221)(7, 122, 413, 126)(8, 426, 415, 391)(10, 87, 317,
308)(11, 24, 479, 77)(12, 39, 258, 273)(13, 347, 270, 30)(14, 297, 69, 36)(15,
321, 106, 21)(16, 310, 290, 496)(17, 392, 412, 388)(18, 420, 419, 424)(19, 70,
487, 359)(20, 284, 277, 117)(22, 260, 302, 376)(23, 219, 414, 127)(25, 287, 348,
288)(26, 271, 82, 356)(27, 374, 497, 313)(28, 355, 494, 483)(29, 318, 79,
280)(31, 292, 81, 377)(32, 114, 327, 373)(33, 372, 486, 104)(34, 352, 300,
119)(35, 111, 275, 358)(37, 286, 491, 263)(38, 67, 324, 282)(40, 469, 490,
268)(41, 314, 279, 341)(42, 480, 322, 370)(43, 364, 301, 315)(44, 336, 485,
478)(45, 294, 272, 472)(46, 269, 320, 331)(47, 334, 298, 291)(48, 225, 249,
407)(49, 446, 246, 411)(50, 161, 250, 177)(51, 252, 244, 181)(52, 404, 451,
253)(53, 178, 448, 444)(54, 405, 169, 163)(55, 183, 170, 227)(56, 389, 60,
223)(57, 425, 61, 123)(58, 125, 460, 394)(59, 220, 463, 427)(62, 395, 165,
217)(63, 421, 166, 124)(65, 495, 333, 90)(66, 95, 367, 80)(68, 101, 470,
351)(71, 75, 339, 98)(72, 108, 88, 475)(73, 267, 305, 375)(74, 115, 94, 332)(76,
293, 311, 354)(78, 366, 102, 257)(83, 262, 91, 340)(84, 477, 304, 285)(85, 328,
100, 105)(86, 474, 96, 116)(89, 107, 349, 338)(92, 261, 498, 473)(93, 118, 350,
369)(97, 330, 346, 259)(99, 368, 493, 110)(103, 342, 500, 113)(121, 164, 390,
461)(128, 442, 213, 501)(129, 142, 459, 131)(130, 194, 207, 229)(132, 140, 146,
455)(133, 237, 399, 381)(134, 150)(135, 189, 434, 153)(136, 385, 428, 506)(137,
147, 151, 453)(138, 188, 208, 196)(139, 241, 204, 441)(141, 158, 401, 231)(144,
504, 396, 197)(145, 235, 430, 438)(148, 157, 215, 240)(149, 382, 205, 187)(152,
239)(154, 228, 380, 505)(155, 191, 198, 502)(156, 454, 508, 200)(159, 184, 439,
230)(160, 450, 176, 511)(162, 174, 409, 248)(167, 423, 462, 222)(168, 179, 172,
254)(171, 408, 509, 447)(173, 226, 449, 410)(175, 182, 245, 445)(180, 251, 224,
510)(185, 456, 437, 403)(186, 195, 243, 443)(190, 383)(192, 435, 242, 457)(193,
503, 387, 238)(199, 233)(201, 203, 431, 402)(202, 209)(206, 433, 214, 397)(210,
386, 452, 232)(211, 400, 429, 212)(234, 384, 236, 440)(247, 255, 512, 406)(264,
299, 343, 360)(265, 467, 365, 276)(266, 499, 281, 307)(274, 482, 362, 335)(289,
466, 337, 326)(295, 488, 371, 363)(296, 476, 465, 484)(306, 481, 344, 378)(309,
316, 345, 357)(312, 489, 329, 468)(319, 361, 471, 325)(393, 416, 422, 464)(436,
507)
g: (1, 128, 415, 130, 23, 149, 416, 148)(2, 96, 488, 79, 19, 102, 296, 82)(3,
329, 274, 111, 21, 343, 326, 67)(4, 109, 325, 331, 20, 70, 276, 341)(5, 77, 299,
98, 22, 81, 489, 100)(6, 457, 412, 456, 7, 141, 419, 136)(8, 213, 417, 215, 464,
205, 414, 207)(9, 40, 480, 300, 376, 43, 294, 491)(10, 471, 110, 104, 375, 365,
68, 69)(11, 88, 118, 84, 377, 95, 261, 76)(12, 297, 295, 47, 373, 486, 484,
44)(13, 106, 66, 469, 374, 64, 108, 364)(14, 470, 265, 267, 372, 368, 319,
317)(15, 270, 315, 475, 379, 313, 268, 367)(16, 87, 257, 91, 378, 73, 116,
94)(17, 435, 418, 428, 18, 401, 413, 403)(24, 492, 85, 468, 31, 302, 75,
360)(25, 271, 351, 338, 28, 318, 493, 333)(26, 465, 78, 487, 29, 363, 86,
303)(27, 339, 500, 266, 30, 328, 346, 316)(32, 89, 320, 344, 39, 90, 279,
496)(33, 114, 298, 371, 36, 258, 485, 476)(34, 370, 490, 112, 37, 472, 301,
260)(35, 345, 272, 92, 38, 499, 322, 93)(41, 495, 273, 306, 46, 349, 327,
310)(42, 307, 324, 498, 45, 309, 275, 350)(48, 433, 246, 143, 49, 397, 249,
458)(50, 455, 244, 398, 51, 140, 250, 432)(52, 502, 169, 383, 54, 191, 451,
436)(53, 440, 170, 190, 55, 384, 448, 507)(56, 385, 63, 442, 57, 437, 62,
382)(58, 229, 461, 242, 59, 240, 462, 231)(60, 187, 165, 185, 61, 501, 166,
506)(65, 99, 280, 494, 107, 101, 356, 348)(71, 497, 357, 97, 105, 347, 281,
103)(72, 479, 311, 473, 80, 292, 304, 369)(74, 474, 305, 481, 83, 366, 308,
290)(113, 335, 354, 119, 259, 337, 285, 263)(115, 117, 287, 334, 262, 256, 355,
336)(120, 232, 424, 188, 219, 241, 388, 508)(121, 133, 124, 139, 222, 145, 217,
452)(122, 189, 391, 235, 218, 504, 422, 237)(123, 138, 220, 135, 223, 454, 125,
144)(126, 381, 393, 197, 221, 438, 426, 153)(127, 196, 420, 386, 216, 156, 392,
441)(129, 405, 431, 445, 151, 404, 400, 224)(131, 444, 402, 406, 147, 227, 429,
409)(132, 449, 202, 173, 146, 171, 209, 509)(134, 172, 214, 450, 150, 511, 206,
168)(137, 182, 201, 163, 459, 180, 212, 253)(142, 162, 211, 183, 453, 255, 203,
178)(152, 175, 234, 251, 199, 510, 236, 245)(154, 181, 186, 226, 195, 177, 505,
447)(155, 248, 239, 174, 198, 247, 233, 512)(157, 463, 192, 164, 194, 460, 158,
167)(159, 225, 503, 176, 193, 446, 184, 179)(160, 238, 407, 439, 254, 230, 411,
387)(161, 443, 410, 243, 252, 380, 408, 228)(200, 389, 434, 427, 208, 425, 396,
394)(204, 421, 399, 390, 210, 395, 430, 423)(264, 321, 358, 362, 312, 278, 282,
466)(269, 361, 283, 323, 314, 467, 359, 277)(284, 332, 478, 483, 353, 340, 291,
288)(286, 477, 289, 330, 352, 293, 482, 342)
h: (1, 56, 17, 58)(2, 91, 41, 28)(3, 24, 43, 93)(4, 29, 44, 89)(5, 95, 42,
27)(6, 167, 8, 165)(7, 164, 464, 166)(9, 13, 329, 330)(10, 341, 332, 373)(11,
15, 339, 337)(12, 375, 331, 340)(14, 333, 336, 378)(16, 372, 338, 334)(18, 59,
23, 57)(19, 94, 46, 25)(20, 26, 47, 90)(21, 31, 40, 92)(22, 88, 45, 30)(32, 99,
465, 305)(33, 306, 467, 96)(34, 309, 466, 100)(35, 103, 468, 311)(36, 310, 361,
102)(37, 307, 362, 98)(38, 97, 360, 304)(39, 101, 363, 308)(48, 168, 172,
246)(49, 450, 511, 249)(50, 171, 509, 244)(51, 449, 173, 250)(52, 247, 175,
170)(53, 245, 512, 169)(54, 248, 510, 448)(55, 251, 174, 451)(60, 415, 463,
413)(61, 416, 460, 418)(62, 417, 461, 419)(63, 414, 462, 412)(64, 261, 289,
266)(65, 265, 290, 256)(66, 260, 477, 312)(67, 270, 480, 113)(68, 114, 483,
269)(69, 116, 291, 318)(70, 317, 484, 262)(71, 315, 292, 119)(72, 489, 497,
324)(73, 487, 351, 279)(74, 296, 494, 273)(75, 278, 345, 490)(76, 302, 346,
322)(77, 274, 498, 300)(78, 323, 344, 298)(79, 325, 495, 486)(80, 299, 347,
275)(81, 326, 350, 491)(82, 276, 349, 297)(83, 488, 348, 327)(84, 492, 500,
272)(85, 321, 499, 301)(86, 277, 496, 485)(87, 303, 493, 320)(104, 257, 478,
271)(105, 268, 479, 263)(106, 118, 482, 316)(107, 319, 481, 117)(108, 112, 293,
264)(109, 267, 295, 115)(110, 258, 288, 314)(111, 313, 294, 259)(120, 421, 426,
123)(121, 218, 427, 392)(122, 394, 420, 222)(124, 424, 389, 221)(125, 391, 390,
127)(126, 217, 388, 425)(128, 237, 428, 441)(129, 436, 431, 236)(130, 232, 435,
381)(131, 384, 429, 233)(132, 228, 398, 443)(133, 382, 396, 240)(134, 238, 397,
387)(135, 437, 399, 231)(136, 189, 205, 156)(137, 199, 201, 502)(138, 158, 210,
506)(139, 194, 208, 187)(140, 186, 209, 195)(141, 508, 207, 197)(142, 155, 203,
190)(143, 503, 214, 159)(144, 385, 430, 242)(145, 442, 434, 229)(146, 243, 432,
380)(147, 440, 402, 239)(148, 241, 401, 438)(149, 235, 403, 386)(150, 230, 433,
439)(151, 383, 400, 234)(152, 212, 191, 459)(153, 457, 188, 215)(154, 455, 505,
202)(157, 200, 501, 452)(160, 225, 254, 446)(161, 447, 252, 226)(162, 445)(163,
227)(176, 179)(178, 182, 183, 180)(184, 206, 193, 458)(185, 454, 192, 204)(196,
456, 504, 213)(198, 211, 507, 453)(216, 220, 422, 423)(219, 395, 393, 223)(224,
255)(253, 444)(280, 284, 366, 365)(281, 352, 369, 469)(282, 354, 472, 367)(283,
287, 476, 470)(285, 370, 475, 358)(286, 473, 364, 357)(328, 335, 377, 379)(342,
376, 374, 343)(353, 474, 471, 356)(355, 371, 368, 359)(404, 406, 405, 409)(408,
410)
C4[ 512, 537 ]
512
-1 2 3 4 5
-2 1 509 501 502
-3 1 510 503 504
-4 1 508 512 505
-5 506 1 507 511
-6 36 37 38 39
-7 33 34 35 32
-8 363 360 361 362
-9 176 216 436 428
-10 429 177 217 438
-11 178 442 223 433
-12 440 221 181 435
-13 220 441 431 179
-14 430 443 183 218
-15 434 182 219 439
-16 222 432 180 437
-17 44 41 42 43
-18 45 46 47 40
-19 187 23 191 173
-20 23 188 174 186
-21 23 189 184 175
-22 23 190 172 185
-23 22 19 20 21
-24 56 213 214 448
-25 212 59 449 208
-26 209 451 57 215
-27 210 211 58 450
-28 200 58 201 171
-29 56 169 202 207
-30 168 59 203 204
-31 57 170 205 206
-32 231 236 50 7
-33 237 7 228 53
-34 7 54 230 241
-35 49 7 239 229
-36 55 243 235 6
-37 232 6 238 52
-38 233 48 6 240
-39 242 234 6 51
-40 156 193 18 52
-41 199 157 17 50
-42 198 158 49 17
-43 159 17 196 54
-44 154 17 53 197
-45 155 48 192 18
-46 18 51 194 152
-47 55 18 195 153
-48 45 80 38 76
-49 35 72 84 42
-50 41 74 32 87
-51 46 39 83 73
-52 78 37 82 40
-53 33 44 77 85
-54 34 79 86 43
-55 36 47 81 75
-56 24 91 29 95
-57 88 26 94 31
-58 89 27 93 28
-59 90 25 92 30
-60 77 79 80 83
-61 81 82 72 74
-62 78 84 75 87
-63 73 85 86 76
-64 144 224 193 216
-65 220 146 224 192
-66 223 225 151 196
-67 199 148 225 218
-68 222 147 226 197
-69 221 145 227 195
-70 198 149 226 219
-71 150 194 227 217
-72 200 49 61 131
-73 133 201 51 63
-74 50 61 204 129
-75 55 134 62 207
-76 135 48 203 63
-77 60 128 206 53
-78 132 62 205 52
-79 202 60 130 54
-80 48 147 60 208
-81 55 214 61 149
-82 209 148 61 52
-83 210 60 51 151
-84 144 211 49 62
-85 215 150 63 53
-86 146 213 63 54
-87 145 212 50 62
-88 57 454 246 142
-89 58 245 455 141
-90 59 457 140 251
-91 56 452 244 137
-92 59 136 247 458
-93 143 58 456 248
-94 57 139 250 459
-95 56 453 138 249
-96 132 166 169 128
-97 133 167 168 131
-98 165 134 170 130
-99 135 171 129 164
-100 166 148 150 448
-101 144 167 151 449
-102 165 451 146 149
-103 145 147 164 450
-104 154 133 444 126
-105 134 124 157 444
-106 135 159 445 127
-107 132 125 158 445
-108 123 156 446 129
-109 155 128 447 120
-110 121 447 131 153
-111 122 446 130 152
-112 136 160 436 120
-113 121 137 160 438
-114 440 122 161 141
-115 441 123 161 142
-116 442 124 140 163
-117 443 127 138 162
-118 143 125 162 437
-119 126 139 163 439
-120 353 112 379 109
-121 110 113 378 357
-122 352 111 114 372
-123 377 356 115 108
-124 375 354 105 116
-125 374 355 107 118
-126 104 358 119 373
-127 376 106 117 359
-128 77 96 109 329
-129 99 330 74 108
-130 111 331 79 98
-131 110 332 72 97
-132 78 333 96 107
-133 104 335 73 97
-134 105 75 328 98
-135 99 334 106 76
-136 112 344 92 371
-137 91 113 367 351
-138 364 95 117 348
-139 365 94 347 119
-140 90 366 116 349
-141 89 114 345 370
-142 88 115 346 368
-143 93 369 118 350
-144 101 336 84 64
-145 69 103 337 87
-146 102 338 86 65
-147 68 80 103 340
-148 341 67 100 82
-149 343 102 70 81
-150 100 71 85 339
-151 66 342 101 83
-152 111 320 46 358
-153 110 321 354 47
-154 44 353 104 325
-155 45 322 359 109
-156 355 323 40 108
-157 356 324 105 41
-158 357 107 327 42
-159 352 106 326 43
-160 112 113 312 313
-161 114 115 314 317
-162 319 117 118 316
-163 116 315 119 318
-164 99 309 103 306
-165 308 102 304 98
-166 100 311 96 305
-167 101 310 97 307
-168 299 302 30 97
-169 300 301 29 96
-170 297 298 31 98
-171 99 28 303 296
-172 22 346 347 360
-173 363 348 19 351
-174 345 20 350 361
-175 344 349 21 362
-176 374 342 9 329
-177 341 332 10 373
-178 11 336 328 372
-179 330 13 343 376
-180 333 16 379 337
-181 12 331 375 340
-182 15 378 335 338
-183 14 377 334 339
-184 364 289 300 21
-185 22 290 369 296
-186 297 365 291 20
-187 299 366 292 19
-188 288 301 367 20
-189 298 368 293 21
-190 22 302 371 295
-191 303 370 19 294
-192 45 281 273 65
-193 286 40 64 274
-194 275 46 71 280
-195 276 47 69 284
-196 66 287 277 43
-197 44 68 278 285
-198 70 272 283 42
-199 67 279 282 41
-200 353 268 28 72
-201 354 28 270 73
-202 79 356 29 271
-203 267 355 30 76
-204 352 265 30 74
-205 264 78 359 31
-206 77 266 357 31
-207 269 358 29 75
-208 25 80 315 284
-209 26 82 280 318
-210 286 319 27 83
-211 287 27 84 317
-212 25 313 87 285
-213 24 312 283 86
-214 24 81 281 316
-215 26 314 282 85
-216 256 283 9 64
-217 257 71 10 285
-218 286 67 14 258
-219 15 70 260 284
-220 287 13 261 65
-221 12 69 282 263
-222 68 16 259 281
-223 11 66 280 262
-224 289 290 64 65
-225 66 67 293 294
-226 68 288 70 295
-227 69 71 291 292
-228 33 319 323 336
-229 320 35 339 318
-230 34 321 315 337
-231 322 316 338 32
-232 37 313 325 340
-233 341 38 324 314
-234 343 312 39 327
-235 342 36 326 317
-236 264 273 32 329
-237 33 330 267 274
-238 278 37 268 335
-239 275 331 35 269
-240 279 38 271 328
-241 34 276 332 270
-242 266 333 39 272
-243 265 277 36 334
-244 320 91 305 273
-245 89 321 306 274
-246 88 275 322 304
-247 276 92 323 307
-248 309 277 93 325
-249 311 324 95 272
-250 308 279 94 327
-251 90 310 278 326
-252 267 258 269 262
-253 257 268 271 263
-254 264 259 270 260
-255 265 266 256 261
-256 255 454 380 216
-257 253 455 217 382
-258 457 218 252 384
-259 254 222 381 459
-260 254 456 383 219
-261 220 385 255 458
-262 386 453 223 252
-263 253 221 452 387
-264 254 236 205 426
-265 243 255 422 204
-266 242 255 423 206
-267 421 203 237 252
-268 253 200 424 238
-269 420 239 207 252
-270 254 201 427 241
-271 253 202 425 240
-272 198 242 419 249
-273 418 244 192 236
-274 245 193 237 415
-275 246 413 194 239
-276 247 195 416 241
-277 243 248 414 196
-278 238 251 197 417
-279 199 412 250 240
-280 209 223 194 405
-281 222 192 214 406
-282 407 199 221 215
-283 198 408 213 216
-284 409 195 208 219
-285 212 411 217 197
-286 210 193 404 218
-287 220 211 410 196
-288 429 188 226 427
-289 430 224 422 184
-290 432 224 423 185
-291 434 424 227 186
-292 187 433 227 425
-293 189 431 421 225
-294 420 191 225 435
-295 190 226 426 428
-296 171 436 185 416
-297 418 170 438 186
-298 419 189 443 170
-299 187 440 168 415
-300 441 169 413 184
-301 188 169 412 439
-302 168 190 414 437
-303 442 191 171 417
-304 165 396 429 246
-305 166 244 431 399
-306 398 245 164 428
-307 397 167 247 435
-308 165 430 400 250
-309 433 401 248 164
-310 167 432 403 251
-311 166 434 402 249
-312 234 213 160 393
-313 232 212 160 394
-314 233 215 161 392
-315 388 163 208 230
-316 231 214 390 162
-317 211 235 161 395
-318 209 389 163 229
-319 210 391 162 228
-320 419 244 152 229
-321 245 414 153 230
-322 231 155 246 412
-323 156 247 228 417
-324 418 233 157 249
-325 154 232 248 415
-326 235 159 251 416
-327 234 158 413 250
-328 134 178 421 240
-329 176 422 236 128
-330 179 423 237 129
-331 181 424 239 130
-332 177 425 131 241
-333 132 242 180 427
-334 243 420 135 183
-335 133 182 238 426
-336 144 178 392 228
-337 145 180 393 230
-338 231 146 182 394
-339 150 183 229 395
-340 232 147 389 181
-341 177 233 388 148
-342 176 235 390 151
-343 179 234 149 391
-344 398 136 175 461
-345 397 141 174 461
-346 462 399 172 142
-347 463 402 139 172
-348 463 400 138 173
-349 401 140 460 175
-350 143 403 174 460
-351 396 462 137 173
-352 122 159 204 405
-353 154 200 120 406
-354 407 124 201 153
-355 408 156 125 203
-356 123 157 202 404
-357 121 409 158 206
-358 411 126 152 207
-359 155 410 127 205
-360 172 8 382 384
-361 386 380 8 174
-362 387 381 8 175
-363 385 8 173 383
-364 138 392 184 405
-365 139 393 186 406
-366 187 140 404 395
-367 407 188 389 137
-368 408 189 390 142
-369 143 409 185 394
-370 388 191 411 141
-371 190 410 136 391
-372 122 178 399 380
-373 177 126 401 384
-374 176 386 125 400
-375 124 181 402 381
-376 179 127 403 383
-377 397 123 183 382
-378 121 385 398 182
-379 396 387 180 120
-380 485 256 361 372
-381 375 486 259 362
-382 377 487 257 360
-383 363 376 488 260
-384 258 489 360 373
-385 363 378 261 492
-386 374 491 262 361
-387 379 490 263 362
-388 341 478 315 370
-389 367 479 318 340
-390 342 368 316 481
-391 319 343 371 482
-392 364 314 336 480
-393 484 365 312 337
-394 313 369 338 483
-395 366 477 317 339
-396 379 478 304 351
-397 377 345 479 307
-398 344 378 481 306
-399 346 305 372 482
-400 308 374 477 348
-401 309 480 349 373
-402 375 311 347 483
-403 484 310 376 350
-404 286 366 356 469
-405 352 364 474 280
-406 473 353 365 281
-407 354 367 282 472
-408 355 476 368 283
-409 357 369 284 471
-410 287 359 371 470
-411 475 358 370 285
-412 485 322 279 301
-413 275 486 300 327
-414 277 321 487 302
-415 299 488 325 274
-416 276 489 326 296
-417 278 323 303 492
-418 297 324 491 273
-419 298 320 490 272
-420 334 269 469 294
-421 474 267 293 328
-422 265 289 476 329
-423 330 266 290 470
-424 331 268 291 472
-425 332 475 292 271
-426 264 335 295 471
-427 473 288 333 270
-428 498 9 295 306
-429 288 497 304 10
-430 308 14 289 500
-431 13 293 305 494
-432 496 310 290 16
-433 11 309 499 292
-434 311 15 291 493
-435 495 12 294 307
-436 112 465 9 296
-437 465 16 302 118
-438 297 113 466 10
-439 15 301 466 119
-440 12 299 114 468
-441 13 300 115 467
-442 11 116 303 468
-443 298 14 467 117
-444 104 478 105 479
-445 106 107 481 482
-446 111 477 480 108
-447 110 484 109 483
-448 100 485 24 486
-449 101 25 487 488
-450 103 27 489 492
-451 102 26 490 491
-452 497 91 471 263
-453 500 95 470 262
-454 88 256 469 494
-455 495 89 474 257
-456 496 476 93 260
-457 90 499 258 472
-458 473 498 92 261
-459 475 94 259 493
-460 497 349 350 494
-461 344 345 500 493
-462 496 499 346 351
-463 495 498 347 348
-464 465 466 467 468
-465 464 509 436 437
-466 464 510 438 439
-467 441 464 443 512
-468 440 442 464 511
-469 420 454 404 503
-470 453 410 423 504
-471 452 409 426 505
-472 407 424 457 502
-473 506 458 427 406
-474 421 455 501 405
-475 508 411 425 459
-476 408 507 422 456
-477 400 446 504 395
-478 396 388 444 505
-479 397 389 444 501
-480 401 446 392 502
-481 506 398 390 445
-482 399 445 391 503
-483 508 402 447 394
-484 507 403 447 393
-485 412 380 448 504
-486 413 381 448 505
-487 414 502 382 449
-488 506 415 383 449
-489 501 416 384 450
-490 451 419 387 508
-491 418 451 386 503
-492 385 507 417 450
-493 509 434 459 461
-494 431 454 509 460
-495 463 455 510 435
-496 462 432 510 456
-497 429 452 511 460
-498 463 512 458 428
-499 462 433 457 512
-500 430 453 511 461
-501 474 2 489 479
-502 2 487 480 472
-503 3 469 491 482
-504 485 3 477 470
-505 486 4 478 471
-506 473 488 5 481
-507 484 476 5 492
-508 475 4 490 483
-509 2 465 493 494
-510 495 496 3 466
-511 497 5 500 468
-512 498 4 499 467
0