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