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