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