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