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