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