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