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