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