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