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