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