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