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