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