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