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