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