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