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