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