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