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