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