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