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