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