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