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