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