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