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