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