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