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