35#ifndef _CHOMP_HOMOLOGY_BDDACYCL_H_
36#define _CHOMP_HOMOLOGY_BDDACYCL_H_
48template <
class NeighborCheck>
51 if (n. check (0))
goto K4;
else goto K5;
52K4:
if (n. check (1))
return false;
else return true;
53K5:
if (n. check (1))
return true;
else return false;
62template <
class NeighborCheck>
65 if (n. check (0))
goto L659;
else goto L20;
66L12:
return !n. check (5);
67L13:
return n. check (5);
68L14:
return !n. check (6);
69L16:
return !n. check (7);
70L17:
return n. check (7);
71L18:
if (n. check (2))
goto L514;
else goto L523;
72L20:
if (n. check (1))
goto L40;
else goto L18;
73L21:
if (n. check (5))
return true;
else goto L651;
74L23:
if (n. check (4))
goto L514;
else goto L21;
75L24:
if (n. check (4))
return false;
else goto L514;
76L40:
if (n. check (2))
goto L513;
else goto L637;
77L505:
if (n. check (6))
return false;
else goto L16;
78L507:
if (n. check (5))
return true;
else goto L16;
79L508:
if (n. check (2))
goto L507;
else goto L646;
80L513:
if (n. check (5))
return true;
else goto L14;
81L514:
if (n. check (5))
return false;
else goto L505;
82L523:
if (n. check (3))
goto L24;
else goto L23;
83L637:
if (n. check (3))
return false;
else goto L513;
84L646:
if (n. check (4))
return false;
else goto L507;
85L651:
if (n. check (6))
goto L16;
else goto L17;
86L658:
if (n. check (2))
goto L12;
else goto L13;
87L659:
if (n. check (1))
goto L658;
else goto L508;
100template <
class NeighborCheck>
105 if (n. check (5)) {
goto L143033;}
else {
goto L120232;}
106L143033:
if (n. check (0)) {
goto L123529;}
else {
goto L118136;}
107L123529:
if (n. check (17)) {
goto L146041;}
else {
goto L144920;}
108L146041:
if (n. check (2)) {
goto L124809;}
else {
goto L145112;}
109L124809:
if (n. check (1)) {
goto L106441;}
else {
goto L124904;}
110L106441:
if (n. check (8)) {
goto L105737;}
else {
goto L105736;}
111L124904:
if (n. check (8)) {
goto L105736;}
else {
goto L106537;}
112L106537:
if (n. check (10)) {
goto L105737;}
else {
goto L105736;}
113L145112:
if (n. check (1)) {
goto L124648;}
else {
goto L108505;}
114L124648:
if (n. check (8)) {
goto L105736;}
else {
goto L106473;}
115L106473:
if (n. check (11)) {
goto L105737;}
else {
goto L105736;}
116L108505:
if (n. check (8)) {
goto L106281;}
else {
goto L114329;}
117L106281:
if (n. check (4)) {
goto L105737;}
else {
goto L105736;}
118L114329:
if (n. check (4)) {
goto L128185;}
else {
goto L115769;}
119L128185:
if (n. check (11)) {
goto L105737;}
else {
goto L106537;}
120L115769:
if (n. check (11)) {
goto L106537;}
else {
goto L144408;}
121L144408:
if (n. check (10)) {
goto L105736;}
else {
goto L106569;}
122L106569:
if (n. check (13)) {
goto L105737;}
else {
goto L105736;}
123L144920:
if (n. check (2)) {
goto L109080;}
else {
goto L116761;}
124L109080:
if (n. check (1)) {statInv=!statInv;
goto L106441;}
else {
goto L118697;}
125L118697:
if (n. check (19)) {
goto L105737;}
else {
goto L124904;}
126L116761:
if (n. check (20)) {
goto L117817;}
else {
goto L127624;}
127L117817:
if (n. check (1)) {
goto L105737;}
else {
goto L117017;}
128L117017:
if (n. check (19)) {
goto L105737;}
else {
goto L108505;}
129L127624:
if (n. check (1)) {
goto L124648;}
else {
goto L114553;}
130L114553:
if (n. check (19)) {
goto L108505;}
else {
goto L118680;}
131L118680:
if (n. check (8)) {
goto L130584;}
else {
goto L130041;}
132L130584:
if (n. check (22)) {statInv=!statInv;
goto L106281;}
else {
goto L105736;}
133L130041:
if (n. check (22)) {
goto L126505;}
else {
goto L137305;}
134L126505:
if (n. check (4)) {
goto L127657;}
else {
goto L105737;}
135L127657:
if (n. check (11)) {
goto L106537;}
else {statInv=!statInv;
goto L106537;}
136L137305:
if (n. check (4)) {
goto L127657;}
else {
goto L115769;}
137L118136:
if (n. check (17)) {
goto L131608;}
else {
goto L137497;}
138L131608:
if (n. check (2)) {
goto L115784;}
else {
goto L108185;}
139L115784:
if (n. check (1)) {
goto L117608;}
else {
goto L121673;}
140L117608:
if (n. check (9)) {statInv=!statInv;
goto L106441;}
else {
goto L105736;}
141L121673:
if (n. check (9)) {
goto L105737;}
else {
goto L134921;}
142L134921:
if (n. check (8)) {
goto L105737;}
else {
goto L106537;}
143L108185:
if (n. check (1)) {
goto L145497;}
else {
goto L120857;}
144L145497:
if (n. check (3)) {
goto L146729;}
else {
goto L118584;}
145L146729:
if (n. check (9)) {
goto L105737;}
else {
goto L130201;}
146L130201:
if (n. check (8)) {
goto L105737;}
else {
goto L106473;}
147L118584:
if (n. check (9)) {
goto L124648;}
else {
goto L120680;}
148L120680:
if (n. check (8)) {
goto L105736;}
else {
goto L119432;}
149L119432:
if (n. check (12)) {statInv=!statInv;
goto L106473;}
else {
goto L105736;}
150L120857:
if (n. check (3)) {
goto L129049;}
else {
goto L115481;}
151L129049:
if (n. check (9)) {
goto L105737;}
else {
goto L120265;}
152L120265:
if (n. check (8)) {
goto L105737;}
else {
goto L114329;}
153L115481:
if (n. check (9)) {
goto L108505;}
else {
goto L126889;}
154L126889:
if (n. check (8)) {
goto L106281;}
else {
goto L146681;}
155L146681:
if (n. check (4)) {
goto L129465;}
else {
goto L121080;}
156L129465:
if (n. check (12)) {
goto L109273;}
else {
goto L106537;}
157L109273:
if (n. check (11)) {
goto L106537;}
else {
goto L105737;}
158L121080:
if (n. check (12)) {
goto L121864;}
else {
goto L107128;}
159L121864:
if (n. check (11)) {statInv=!statInv;
goto L106537;}
else {
goto L105737;}
160L107128:
if (n. check (11)) {statInv=!statInv;
goto L106537;}
else {
goto L144408;}
161L137497:
if (n. check (18)) {
goto L109625;}
else {
goto L144984;}
162L109625:
if (n. check (2)) {
goto L116633;}
else {
goto L116569;}
163L116633:
if (n. check (1)) {
goto L105737;}
else {
goto L107753;}
164L107753:
if (n. check (19)) {
goto L105737;}
else {
goto L121673;}
165L116569:
if (n. check (20)) {
goto L137753;}
else {
goto L126057;}
166L137753:
if (n. check (1)) {
goto L105737;}
else {
goto L122249;}
167L122249:
if (n. check (19)) {
goto L105737;}
else {
goto L120857;}
168L126057:
if (n. check (1)) {
goto L145497;}
else {
goto L119273;}
169L119273:
if (n. check (19)) {
goto L120857;}
else {
goto L107833;}
170L107833:
if (n. check (3)) {
goto L135929;}
else {
goto L122824;}
171L135929:
if (n. check (9)) {
goto L105737;}
else {
goto L107961;}
172L107961:
if (n. check (8)) {
goto L105737;}
else {
goto L130041;}
173L122824:
if (n. check (9)) {
goto L118680;}
else {
goto L121448;}
174L121448:
if (n. check (8)) {
goto L130584;}
else {
goto L124136;}
175L124136:
if (n. check (22)) {
goto L143960;}
else {
goto L125928;}
176L143960:
if (n. check (4)) {
goto L146936;}
else {
goto L105737;}
177L146936:
if (n. check (12)) {
goto L121864;}
else {statInv=!statInv;
goto L106537;}
178L125928:
if (n. check (4)) {
goto L146936;}
else {
goto L121080;}
179L144984:
if (n. check (2)) {
goto L120456;}
else {
goto L128441;}
180L120456:
if (n. check (1)) {
goto L117608;}
else {
goto L117657;}
181L117657:
if (n. check (19)) {
goto L121673;}
else {
goto L127016;}
182L127016:
if (n. check (9)) {
goto L124904;}
else {statInv=!statInv;
goto L134921;}
183L128441:
if (n. check (20)) {
goto L121577;}
else {
goto L114488;}
184L121577:
if (n. check (1)) {
goto L145497;}
else {
goto L124089;}
185L124089:
if (n. check (19)) {
goto L120857;}
else {
goto L129337;}
186L129337:
if (n. check (3)) {
goto L130169;}
else {
goto L135480;}
187L130169:
if (n. check (9)) {
goto L108505;}
else {
goto L107225;}
188L107225:
if (n. check (8)) {
goto L106281;}
else {
goto L126025;}
189L126025:
if (n. check (4)) {
goto L123049;}
else {
goto L121864;}
190L123049:
if (n. check (11)) {
goto L105737;}
else {statInv=!statInv;
goto L106537;}
191L135480:
if (n. check (9)) {
goto L130904;}
else {
goto L146968;}
192L130904:
if (n. check (8)) {statInv=!statInv;
goto L106281;}
else {
goto L126505;}
193L146968:
if (n. check (8)) {statInv=!statInv;
goto L106281;}
else {
goto L143960;}
194L114488:
if (n. check (1)) {
goto L146616;}
else {
goto L129881;}
195L146616:
if (n. check (3)) {
goto L134312;}
else {
goto L136217;}
196L134312:
if (n. check (9)) {
goto L124648;}
else {statInv=!statInv;
goto L130201;}
197L136217:
if (n. check (21)) {
goto L105737;}
else {
goto L118584;}
198L129881:
if (n. check (19)) {
goto L133913;}
else {
goto L125960;}
199L133913:
if (n. check (3)) {
goto L108953;}
else {
goto L122217;}
200L108953:
if (n. check (9)) {
goto L108505;}
else {
goto L136281;}
201L136281:
if (n. check (8)) {
goto L106281;}
else {
goto L143177;}
202L143177:
if (n. check (4)) {
goto L109273;}
else {
goto L121864;}
203L122217:
if (n. check (21)) {
goto L105737;}
else {
goto L115481;}
204L125960:
if (n. check (3)) {
goto L134536;}
else {
goto L134697;}
205L134536:
if (n. check (9)) {
goto L118680;}
else {
goto L135096;}
206L135096:
if (n. check (8)) {
goto L130584;}
else {
goto L137704;}
207L137704:
if (n. check (22)) {
goto L143128;}
else {
goto L121864;}
208L143128:
if (n. check (4)) {
goto L121864;}
else {
goto L105737;}
209L134697:
if (n. check (21)) {
goto L105737;}
else {
goto L122824;}
210L120232:
if (n. check (0)) {
goto L126936;}
else {
goto L126121;}
211L126936:
if (n. check (17)) {
goto L123272;}
else {
goto L132825;}
212L123272:
if (n. check (2)) {
goto L123848;}
else {
goto L131161;}
213L123848:
if (n. check (1)) {
goto L114968;}
else {
goto L119785;}
214L114968:
if (n. check (14)) {statInv=!statInv;
goto L106441;}
else {
goto L105736;}
215L119785:
if (n. check (7)) {
goto L135721;}
else {
goto L128600;}
216L135721:
if (n. check (14)) {
goto L105737;}
else {
goto L134921;}
217L128600:
if (n. check (14)) {
goto L124904;}
else {
goto L135352;}
218L135352:
if (n. check (8)) {
goto L105736;}
else {
goto L136472;}
219L136472:
if (n. check (16)) {statInv=!statInv;
goto L106537;}
else {
goto L105736;}
220L131161:
if (n. check (1)) {
goto L113913;}
else {
goto L145833;}
221L113913:
if (n. check (14)) {
goto L105737;}
else {
goto L130201;}
222L145833:
if (n. check (7)) {
goto L132249;}
else {
goto L142617;}
223L132249:
if (n. check (14)) {
goto L105737;}
else {
goto L120265;}
224L142617:
if (n. check (14)) {
goto L108505;}
else {
goto L137769;}
225L137769:
if (n. check (8)) {
goto L106281;}
else {
goto L125321;}
226L125321:
if (n. check (4)) {
goto L142841;}
else {
goto L129368;}
227L142841:
if (n. check (11)) {
goto L105737;}
else {
goto L136472;}
228L129368:
if (n. check (11)) {
goto L136472;}
else {
goto L106809;}
229L106809:
if (n. check (16)) {
goto L105737;}
else {
goto L130457;}
230L130457:
if (n. check (10)) {
goto L105737;}
else {
goto L106569;}
231L132825:
if (n. check (23)) {
goto L136121;}
else {
goto L123080;}
232L136121:
if (n. check (2)) {
goto L123785;}
else {
goto L132537;}
233L123785:
if (n. check (1)) {
goto L105737;}
else {
goto L108697;}
234L108697:
if (n. check (19)) {
goto L105737;}
else {
goto L119785;}
235L132537:
if (n. check (20)) {
goto L138169;}
else {
goto L142761;}
236L138169:
if (n. check (1)) {
goto L105737;}
else {
goto L116793;}
237L116793:
if (n. check (19)) {
goto L105737;}
else {
goto L145833;}
238L142761:
if (n. check (1)) {
goto L113913;}
else {
goto L135737;}
239L135737:
if (n. check (19)) {
goto L145833;}
else {
goto L131481;}
240L131481:
if (n. check (7)) {
goto L123753;}
else {
goto L107608;}
241L123753:
if (n. check (14)) {
goto L105737;}
else {
goto L107961;}
242L107608:
if (n. check (14)) {
goto L118680;}
else {
goto L109400;}
243L109400:
if (n. check (8)) {
goto L130584;}
else {
goto L128504;}
244L128504:
if (n. check (22)) {
goto L135224;}
else {
goto L124712;}
245L135224:
if (n. check (4)) {
goto L144696;}
else {
goto L105737;}
246L144696:
if (n. check (11)) {
goto L136472;}
else {
goto L105737;}
247L124712:
if (n. check (4)) {
goto L144696;}
else {
goto L129368;}
248L123080:
if (n. check (2)) {
goto L107192;}
else {
goto L114137;}
249L107192:
if (n. check (1)) {
goto L114968;}
else {
goto L130521;}
250L130521:
if (n. check (19)) {
goto L119785;}
else {
goto L133768;}
251L133768:
if (n. check (7)) {
goto L136760;}
else {
goto L127209;}
252L136760:
if (n. check (14)) {
goto L124904;}
else {statInv=!statInv;
goto L134921;}
253L127209:
if (n. check (25)) {
goto L105737;}
else {
goto L128600;}
254L114137:
if (n. check (20)) {
goto L107801;}
else {
goto L132280;}
255L107801:
if (n. check (1)) {
goto L113913;}
else {
goto L143225;}
256L143225:
if (n. check (19)) {
goto L145833;}
else {
goto L136249;}
257L136249:
if (n. check (7)) {
goto L132345;}
else {
goto L130361;}
258L132345:
if (n. check (14)) {
goto L108505;}
else {
goto L107225;}
259L130361:
if (n. check (25)) {
goto L105737;}
else {
goto L142617;}
260L132280:
if (n. check (1)) {
goto L114008;}
else {
goto L106649;}
261L114008:
if (n. check (14)) {
goto L124648;}
else {statInv=!statInv;
goto L130201;}
262L106649:
if (n. check (19)) {
goto L137465;}
else {
goto L121512;}
263L137465:
if (n. check (7)) {
goto L130329;}
else {
goto L144904;}
264L130329:
if (n. check (14)) {
goto L108505;}
else {
goto L136281;}
265L144904:
if (n. check (14)) {
goto L130904;}
else {
goto L132040;}
266L132040:
if (n. check (8)) {statInv=!statInv;
goto L106281;}
else {
goto L135224;}
267L121512:
if (n. check (7)) {
goto L134152;}
else {
goto L117401;}
268L134152:
if (n. check (14)) {
goto L118680;}
else {
goto L135096;}
269L117401:
if (n. check (25)) {
goto L105737;}
else {
goto L107608;}
270L126121:
if (n. check (17)) {
goto L123817;}
else {
goto L145849;}
271L123817:
if (n. check (6)) {
goto L123465;}
else {
goto L119336;}
272L123465:
if (n. check (2)) {
goto L122809;}
else {
goto L117305;}
273L122809:
if (n. check (1)) {
goto L118169;}
else {
goto L107769;}
274L118169:
if (n. check (9)) {
goto L105737;}
else {
goto L123337;}
275L123337:
if (n. check (14)) {
goto L105737;}
else {
goto L106441;}
276L107769:
if (n. check (9)) {
goto L105737;}
else {
goto L125993;}
277L125993:
if (n. check (7)) {
goto L135721;}
else {
goto L145145;}
278L145145:
if (n. check (14)) {
goto L134921;}
else {
goto L114105;}
279L114105:
if (n. check (8)) {
goto L105737;}
else {
goto L136472;}
280L117305:
if (n. check (1)) {
goto L143769;}
else {
goto L146873;}
281L143769:
if (n. check (3)) {
goto L125865;}
else {
goto L132665;}
282L125865:
if (n. check (9)) {
goto L105737;}
else {
goto L113913;}
283L132665:
if (n. check (9)) {
goto L113913;}
else {
goto L128825;}
284L128825:
if (n. check (14)) {
goto L105737;}
else {
goto L135865;}
285L135865:
if (n. check (8)) {
goto L105737;}
else {
goto L119432;}
286L146873:
if (n. check (3)) {
goto L146297;}
else {
goto L146233;}
287L146297:
if (n. check (9)) {
goto L105737;}
else {
goto L117241;}
288L117241:
if (n. check (7)) {
goto L132249;}
else {
goto L106585;}
289L106585:
if (n. check (14)) {
goto L120265;}
else {
goto L126537;}
290L126537:
if (n. check (8)) {
goto L105737;}
else {
goto L125321;}
291L146233:
if (n. check (9)) {
goto L145833;}
else {
goto L125417;}
292L125417:
if (n. check (7)) {
goto L134009;}
else {
goto L125369;}
293L134009:
if (n. check (14)) {
goto L105737;}
else {
goto L145977;}
294L145977:
if (n. check (8)) {
goto L105737;}
else {
goto L146681;}
295L125369:
if (n. check (14)) {
goto L126889;}
else {
goto L136233;}
296L136233:
if (n. check (8)) {
goto L106281;}
else {
goto L136440;}
297L136440:
if (n. check (4)) {
goto L136056;}
else {
goto L108601;}
298L136056:
if (n. check (12)) {
goto L144696;}
else {
goto L136472;}
299L108601:
if (n. check (12)) {
goto L105737;}
else {
goto L118617;}
300L118617:
if (n. check (11)) {
goto L105737;}
else {
goto L106809;}
301L119336:
if (n. check (2)) {
goto L134824;}
else {
goto L124105;}
302L134824:
if (n. check (1)) {
goto L115992;}
else {
goto L128377;}
303L115992:
if (n. check (9)) {
goto L114968;}
else {
goto L146072;}
304L146072:
if (n. check (15)) {statInv=!statInv;
goto L123337;}
else {
goto L105736;}
305L128377:
if (n. check (9)) {
goto L119785;}
else {
goto L130729;}
306L130729:
if (n. check (7)) {
goto L122041;}
else {
goto L108056;}
307L122041:
if (n. check (15)) {
goto L107273;}
else {
goto L134921;}
308L107273:
if (n. check (14)) {
goto L134921;}
else {
goto L105737;}
309L108056:
if (n. check (15)) {
goto L134568;}
else {
goto L134440;}
310L134568:
if (n. check (14)) {statInv=!statInv;
goto L134921;}
else {statInv=!statInv;
goto L106441;}
311L134440:
if (n. check (14)) {statInv=!statInv;
goto L134921;}
else {
goto L135352;}
312L124105:
if (n. check (1)) {
goto L136841;}
else {
goto L108153;}
313L136841:
if (n. check (3)) {
goto L143209;}
else {
goto L120488;}
314L143209:
if (n. check (9)) {
goto L113913;}
else {
goto L143161;}
315L143161:
if (n. check (15)) {
goto L123017;}
else {
goto L130201;}
316L123017:
if (n. check (14)) {
goto L130201;}
else {
goto L105737;}
317L120488:
if (n. check (9)) {
goto L114008;}
else {
goto L143832;}
318L143832:
if (n. check (15)) {
goto L123496;}
else {
goto L120680;}
319L123496:
if (n. check (14)) {
goto L120680;}
else {statInv=!statInv;
goto L106441;}
320L108153:
if (n. check (3)) {
goto L136825;}
else {
goto L120873;}
321L136825:
if (n. check (9)) {
goto L145833;}
else {
goto L121833;}
322L121833:
if (n. check (7)) {
goto L108441;}
else {
goto L131321;}
323L108441:
if (n. check (15)) {
goto L126729;}
else {
goto L120265;}
324L126729:
if (n. check (14)) {
goto L120265;}
else {
goto L105737;}
325L131321:
if (n. check (15)) {
goto L145177;}
else {
goto L129945;}
326L145177:
if (n. check (14)) {
goto L107225;}
else {
goto L107065;}
327L107065:
if (n. check (8)) {
goto L106281;}
else {
goto L105737;}
328L129945:
if (n. check (14)) {
goto L107225;}
else {
goto L137769;}
329L120873:
if (n. check (9)) {
goto L137465;}
else {
goto L109305;}
330L109305:
if (n. check (7)) {
goto L121257;}
else {
goto L135992;}
331L121257:
if (n. check (15)) {
goto L114393;}
else {
goto L126889;}
332L114393:
if (n. check (14)) {
goto L126889;}
else {
goto L107065;}
333L135992:
if (n. check (15)) {
goto L108376;}
else {
goto L146136;}
334L108376:
if (n. check (14)) {
goto L146968;}
else {
goto L143384;}
335L143384:
if (n. check (8)) {statInv=!statInv;
goto L106281;}
else {
goto L105737;}
336L146136:
if (n. check (14)) {
goto L146968;}
else {
goto L106968;}
337L106968:
if (n. check (8)) {statInv=!statInv;
goto L106281;}
else {
goto L136440;}
338L145849:
if (n. check (23)) {
goto L136025;}
else {
goto L131385;}
339L136025:
if (n. check (18)) {
goto L128953;}
else {
goto L144505;}
340L128953:
if (n. check (6)) {
goto L136921;}
else {
goto L115561;}
341L136921:
if (n. check (2)) {
goto L115705;}
else {
goto L124425;}
342L115705:
if (n. check (1)) {
goto L105737;}
else {
goto L116729;}
343L116729:
if (n. check (19)) {
goto L105737;}
else {
goto L107769;}
344L124425:
if (n. check (20)) {
goto L114617;}
else {
goto L133241;}
345L114617:
if (n. check (1)) {
goto L105737;}
else {
goto L116825;}
346L116825:
if (n. check (19)) {
goto L105737;}
else {
goto L146873;}
347L133241:
if (n. check (1)) {
goto L143769;}
else {
goto L123241;}
348L123241:
if (n. check (19)) {
goto L146873;}
else {
goto L125481;}
349L125481:
if (n. check (3)) {
goto L137737;}
else {
goto L123433;}
350L137737:
if (n. check (9)) {
goto L105737;}
else {
goto L108409;}
351L108409:
if (n. check (7)) {
goto L123753;}
else {
goto L135769;}
352L135769:
if (n. check (14)) {
goto L107961;}
else {
goto L134025;}
353L134025:
if (n. check (8)) {
goto L105737;}
else {
goto L128504;}
354L123433:
if (n. check (9)) {
goto L131481;}
else {
goto L114905;}
355L114905:
if (n. check (7)) {
goto L131865;}
else {
goto L108632;}
356L131865:
if (n. check (14)) {
goto L105737;}
else {
goto L129849;}
357L129849:
if (n. check (8)) {
goto L105737;}
else {
goto L124136;}
358L108632:
if (n. check (14)) {
goto L121448;}
else {
goto L109112;}
359L109112:
if (n. check (8)) {
goto L130584;}
else {
goto L116281;}
360L116281:
if (n. check (22)) {
goto L105737;}
else {
goto L135193;}
361L135193:
if (n. check (4)) {
goto L105737;}
else {
goto L108601;}
362L115561:
if (n. check (2)) {
goto L127913;}
else {
goto L134873;}
363L127913:
if (n. check (1)) {
goto L105737;}
else {
goto L145689;}
364L145689:
if (n. check (19)) {
goto L105737;}
else {
goto L128377;}
365L134873:
if (n. check (20)) {
goto L115353;}
else {
goto L116217;}
366L115353:
if (n. check (1)) {
goto L105737;}
else {
goto L131193;}
367L131193:
if (n. check (19)) {
goto L105737;}
else {
goto L108153;}
368L116217:
if (n. check (1)) {
goto L136841;}
else {
goto L137209;}
369L137209:
if (n. check (19)) {
goto L108153;}
else {
goto L107865;}
370L107865:
if (n. check (3)) {
goto L142969;}
else {
goto L124232;}
371L142969:
if (n. check (9)) {
goto L131481;}
else {
goto L129193;}
372L129193:
if (n. check (7)) {
goto L146201;}
else {
goto L106616;}
373L146201:
if (n. check (15)) {
goto L132297;}
else {
goto L107961;}
374L132297:
if (n. check (14)) {
goto L107961;}
else {
goto L105737;}
375L106616:
if (n. check (15)) {
goto L134280;}
else {
goto L121336;}
376L134280:
if (n. check (14)) {
goto L135096;}
else {
goto L124616;}
377L124616:
if (n. check (8)) {
goto L130584;}
else {
goto L105737;}
378L121336:
if (n. check (14)) {
goto L135096;}
else {
goto L109400;}
379L124232:
if (n. check (9)) {
goto L143576;}
else {
goto L145816;}
380L143576:
if (n. check (7)) {
goto L134152;}
else {
goto L105737;}
381L145816:
if (n. check (7)) {
goto L145656;}
else {
goto L145577;}
382L145656:
if (n. check (15)) {
goto L134408;}
else {
goto L121448;}
383L134408:
if (n. check (14)) {
goto L121448;}
else {
goto L124616;}
384L145577:
if (n. check (15)) {
goto L105737;}
else {
goto L122153;}
385L122153:
if (n. check (14)) {
goto L105737;}
else {
goto L119721;}
386L119721:
if (n. check (8)) {
goto L105737;}
else {
goto L116281;}
387L144505:
if (n. check (6)) {
goto L127689;}
else {
goto L117912;}
388L127689:
if (n. check (2)) {
goto L129081;}
else {
goto L142873;}
389L129081:
if (n. check (1)) {
goto L118169;}
else {
goto L120937;}
390L120937:
if (n. check (19)) {
goto L107769;}
else {
goto L122745;}
391L122745:
if (n. check (9)) {
goto L119785;}
else {
goto L108665;}
392L108665:
if (n. check (7)) {
goto L131129;}
else {
goto L134568;}
393L131129:
if (n. check (14)) {
goto L105737;}
else {statInv=!statInv;
goto L124904;}
394L142873:
if (n. check (20)) {
goto L125065;}
else {
goto L137977;}
395L125065:
if (n. check (1)) {
goto L143769;}
else {
goto L106873;}
396L106873:
if (n. check (19)) {
goto L146873;}
else {
goto L122889;}
397L122889:
if (n. check (3)) {
goto L120137;}
else {
goto L116921;}
398L120137:
if (n. check (9)) {
goto L145833;}
else {
goto L120121;}
399L120121:
if (n. check (7)) {
goto L128009;}
else {
goto L145177;}
400L128009:
if (n. check (14)) {
goto L105737;}
else {
goto L114057;}
401L114057:
if (n. check (8)) {
goto L105737;}
else {
goto L126025;}
402L116921:
if (n. check (9)) {
goto L136537;}
else {
goto L109465;}
403L136537:
if (n. check (7)) {
goto L121129;}
else {
goto L144904;}
404L121129:
if (n. check (14)) {
goto L105737;}
else {
goto L127305;}
405L127305:
if (n. check (8)) {
goto L105737;}
else {
goto L126505;}
406L109465:
if (n. check (7)) {
goto L126089;}
else {
goto L108376;}
407L126089:
if (n. check (14)) {
goto L105737;}
else {
goto L128137;}
408L128137:
if (n. check (8)) {
goto L105737;}
else {
goto L143960;}
409L137977:
if (n. check (1)) {
goto L137369;}
else {
goto L131033;}
410L137369:
if (n. check (3)) {
goto L121961;}
else {
goto L120809;}
411L121961:
if (n. check (9)) {
goto L113913;}
else {
goto L108281;}
412L108281:
if (n. check (14)) {
goto L105737;}
else {statInv=!statInv;
goto L124648;}
413L120809:
if (n. check (21)) {
goto L105737;}
else {
goto L132665;}
414L131033:
if (n. check (19)) {
goto L115257;}
else {
goto L131833;}
415L115257:
if (n. check (3)) {
goto L143801;}
else {
goto L117273;}
416L143801:
if (n. check (9)) {
goto L145833;}
else {
goto L118777;}
417L118777:
if (n. check (7)) {
goto L144089;}
else {
goto L144841;}
418L144089:
if (n. check (14)) {
goto L105737;}
else {
goto L121353;}
419L121353:
if (n. check (8)) {
goto L105737;}
else {
goto L143177;}
420L144841:
if (n. check (14)) {
goto L136281;}
else {
goto L135801;}
421L135801:
if (n. check (8)) {
goto L106281;}
else {
goto L135224;}
422L117273:
if (n. check (21)) {
goto L105737;}
else {
goto L146233;}
423L131833:
if (n. check (3)) {
goto L122505;}
else {
goto L119593;}
424L122505:
if (n. check (9)) {
goto L131481;}
else {
goto L123721;}
425L123721:
if (n. check (7)) {
goto L133721;}
else {
goto L134280;}
426L133721:
if (n. check (14)) {
goto L105737;}
else {
goto L133561;}
427L133561:
if (n. check (8)) {
goto L105737;}
else {
goto L137704;}
428L119593:
if (n. check (21)) {
goto L105737;}
else {
goto L123433;}
429L117912:
if (n. check (2)) {
goto L137048;}
else {
goto L136601;}
430L137048:
if (n. check (1)) {
goto L115992;}
else {
goto L119881;}
431L119881:
if (n. check (19)) {
goto L128377;}
else {
goto L137912;}
432L137912:
if (n. check (9)) {
goto L119944;}
else {
goto L127336;}
433L119944:
if (n. check (7)) {
goto L136760;}
else {
goto L105737;}
434L127336:
if (n. check (7)) {
goto L115576;}
else {
goto L105737;}
435L115576:
if (n. check (15)) {
goto L134568;}
else {statInv=!statInv;
goto L134921;}
436L136601:
if (n. check (20)) {
goto L128025;}
else {
goto L129304;}
437L128025:
if (n. check (1)) {
goto L136841;}
else {
goto L120985;}
438L120985:
if (n. check (19)) {
goto L108153;}
else {
goto L120041;}
439L120041:
if (n. check (3)) {
goto L118553;}
else {
goto L120712;}
440L118553:
if (n. check (9)) {
goto L118905;}
else {
goto L119177;}
441L118905:
if (n. check (7)) {
goto L132345;}
else {
goto L105737;}
442L119177:
if (n. check (7)) {
goto L126249;}
else {
goto L105737;}
443L126249:
if (n. check (15)) {
goto L145177;}
else {
goto L107225;}
444L120712:
if (n. check (9)) {
goto L124200;}
else {
goto L127848;}
445L124200:
if (n. check (7)) {
goto L107672;}
else {
goto L105737;}
446L107672:
if (n. check (14)) {
goto L130904;}
else {
goto L144024;}
447L144024:
if (n. check (8)) {statInv=!statInv;
goto L106281;}
else {
goto L143128;}
448L127848:
if (n. check (7)) {
goto L146920;}
else {
goto L105737;}
449L146920:
if (n. check (15)) {
goto L108376;}
else {
goto L146968;}
450L129304:
if (n. check (1)) {
goto L125560;}
else {
goto L132601;}
451L125560:
if (n. check (3)) {
goto L125576;}
else {
goto L121769;}
452L125576:
if (n. check (9)) {
goto L114008;}
else {
goto L124008;}
453L124008:
if (n. check (15)) {
goto L115496;}
else {statInv=!statInv;
goto L130201;}
454L115496:
if (n. check (14)) {statInv=!statInv;
goto L130201;}
else {statInv=!statInv;
goto L106441;}
455L121769:
if (n. check (21)) {
goto L105737;}
else {
goto L120488;}
456L132601:
if (n. check (19)) {
goto L106681;}
else {
goto L133080;}
457L106681:
if (n. check (3)) {
goto L144729;}
else {
goto L109209;}
458L144729:
if (n. check (9)) {
goto L137465;}
else {
goto L108985;}
459L108985:
if (n. check (7)) {
goto L123113;}
else {
goto L144568;}
460L123113:
if (n. check (15)) {
goto L133785;}
else {
goto L136281;}
461L133785:
if (n. check (14)) {
goto L136281;}
else {
goto L107065;}
462L144568:
if (n. check (15)) {
goto L137272;}
else {
goto L138440;}
463L137272:
if (n. check (14)) {
goto L144024;}
else {
goto L143384;}
464L138440:
if (n. check (14)) {
goto L144024;}
else {
goto L132040;}
465L109209:
if (n. check (21)) {
goto L105737;}
else {
goto L120873;}
466L133080:
if (n. check (3)) {
goto L114632;}
else {
goto L126409;}
467L114632:
if (n. check (9)) {
goto L143576;}
else {
goto L143896;}
468L143896:
if (n. check (7)) {
goto L131112;}
else {
goto L105737;}
469L131112:
if (n. check (15)) {
goto L134280;}
else {
goto L135096;}
470L126409:
if (n. check (21)) {
goto L105737;}
else {
goto L124232;}
471L131385:
if (n. check (18)) {
goto L128985;}
else {
goto L132920;}
472L128985:
if (n. check (6)) {
goto L115833;}
else {
goto L143816;}
473L115833:
if (n. check (2)) {
goto L120841;}
else {
goto L138329;}
474L120841:
if (n. check (1)) {
goto L118169;}
else {
goto L143481;}
475L143481:
if (n. check (19)) {
goto L107769;}
else {
goto L121801;}
476L121801:
if (n. check (9)) {
goto L105737;}
else {
goto L118809;}
477L118809:
if (n. check (7)) {
goto L121609;}
else {
goto L116665;}
478L121609:
if (n. check (14)) {
goto L134921;}
else {statInv=!statInv;
goto L124904;}
479L116665:
if (n. check (25)) {
goto L105737;}
else {
goto L145145;}
480L138329:
if (n. check (20)) {
goto L125225;}
else {
goto L124553;}
481L125225:
if (n. check (1)) {
goto L143769;}
else {
goto L117721;}
482L117721:
if (n. check (19)) {
goto L146873;}
else {
goto L127081;}
483L127081:
if (n. check (3)) {
goto L120905;}
else {
goto L130009;}
484L120905:
if (n. check (9)) {
goto L105737;}
else {
goto L126265;}
485L126265:
if (n. check (7)) {
goto L136137;}
else {
goto L107321;}
486L136137:
if (n. check (14)) {
goto L120265;}
else {
goto L114057;}
487L107321:
if (n. check (25)) {
goto L105737;}
else {
goto L106585;}
488L130009:
if (n. check (9)) {
goto L136249;}
else {
goto L124745;}
489L124745:
if (n. check (7)) {
goto L115609;}
else {
goto L115385;}
490L115609:
if (n. check (14)) {
goto L126889;}
else {
goto L109561;}
491L109561:
if (n. check (8)) {
goto L106281;}
else {
goto L143960;}
492L115385:
if (n. check (25)) {
goto L105737;}
else {
goto L125369;}
493L124553:
if (n. check (1)) {
goto L143417;}
else {
goto L129209;}
494L143417:
if (n. check (3)) {
goto L138297;}
else {
goto L130712;}
495L138297:
if (n. check (9)) {
goto L105737;}
else {
goto L126857;}
496L126857:
if (n. check (14)) {
goto L130201;}
else {statInv=!statInv;
goto L124648;}
497L130712:
if (n. check (9)) {
goto L114008;}
else {
goto L123496;}
498L129209:
if (n. check (19)) {
goto L144537;}
else {
goto L132217;}
499L144537:
if (n. check (3)) {
goto L117785;}
else {
goto L137625;}
500L117785:
if (n. check (9)) {
goto L105737;}
else {
goto L108521;}
501L108521:
if (n. check (7)) {
goto L125513;}
else {
goto L119001;}
502L125513:
if (n. check (14)) {
goto L120265;}
else {
goto L121353;}
503L119001:
if (n. check (14)) {
goto L127305;}
else {
goto L119737;}
504L119737:
if (n. check (8)) {
goto L105737;}
else {
goto L135224;}
505L137625:
if (n. check (9)) {
goto L137465;}
else {
goto L143353;}
506L143353:
if (n. check (7)) {
goto L114393;}
else {
goto L108376;}
507L132217:
if (n. check (3)) {
goto L137113;}
else {
goto L145208;}
508L137113:
if (n. check (9)) {
goto L105737;}
else {
goto L119849;}
509L119849:
if (n. check (7)) {
goto L132761;}
else {
goto L138025;}
510L132761:
if (n. check (14)) {
goto L107961;}
else {
goto L133561;}
511L138025:
if (n. check (25)) {
goto L105737;}
else {
goto L135769;}
512L145208:
if (n. check (9)) {
goto L121512;}
else {
goto L138040;}
513L138040:
if (n. check (7)) {
goto L134408;}
else {
goto L133017;}
514L133017:
if (n. check (25)) {
goto L105737;}
else {
goto L108632;}
515L143816:
if (n. check (2)) {
goto L137176;}
else {
goto L127721;}
516L137176:
if (n. check (1)) {
goto L115992;}
else {
goto L146009;}
517L146009:
if (n. check (19)) {
goto L128377;}
else {
goto L130120;}
518L130120:
if (n. check (9)) {
goto L133768;}
else {
goto L120296;}
519L120296:
if (n. check (7)) {
goto L115576;}
else {
goto L126153;}
520L126153:
if (n. check (25)) {
goto L105737;}
else {
goto L108056;}
521L127721:
if (n. check (20)) {
goto L125161;}
else {
goto L118664;}
522L125161:
if (n. check (1)) {
goto L136841;}
else {
goto L144249;}
523L144249:
if (n. check (19)) {
goto L108153;}
else {
goto L126713;}
524L126713:
if (n. check (3)) {
goto L123305;}
else {
goto L143192;}
525L123305:
if (n. check (9)) {
goto L136249;}
else {
goto L137657;}
526L137657:
if (n. check (7)) {
goto L126249;}
else {
goto L146377;}
527L146377:
if (n. check (25)) {
goto L105737;}
else {
goto L131321;}
528L143192:
if (n. check (9)) {
goto L116184;}
else {
goto L125128;}
529L116184:
if (n. check (7)) {
goto L107672;}
else {
goto L137433;}
530L137433:
if (n. check (25)) {
goto L105737;}
else {
goto L144904;}
531L125128:
if (n. check (7)) {
goto L146920;}
else {
goto L134137;}
532L134137:
if (n. check (25)) {
goto L105737;}
else {
goto L135992;}
533L118664:
if (n. check (1)) {
goto L109432;}
else {
goto L109033;}
534L109432:
if (n. check (3)) {
goto L125576;}
else {
goto L105737;}
535L109033:
if (n. check (19)) {
goto L134217;}
else {
goto L122120;}
536L134217:
if (n. check (3)) {
goto L144729;}
else {
goto L105737;}
537L122120:
if (n. check (3)) {
goto L115672;}
else {
goto L145433;}
538L115672:
if (n. check (9)) {
goto L121512;}
else {
goto L136664;}
539L136664:
if (n. check (7)) {
goto L131112;}
else {
goto L143321;}
540L143321:
if (n. check (25)) {
goto L105737;}
else {
goto L106616;}
541L145433:
if (n. check (9)) {
goto L105737;}
else {
goto L114873;}
542L114873:
if (n. check (7)) {
goto L105737;}
else {
goto L126377;}
543L126377:
if (n. check (25)) {
goto L105737;}
else {
goto L145577;}
544L132920:
if (n. check (6)) {
goto L118488;}
else {
goto L115001;}
545L118488:
if (n. check (2)) {
goto L133976;}
else {
goto L118537;}
546L133976:
if (n. check (1)) {
goto L107704;}
else {
goto L115161;}
547L107704:
if (n. check (9)) {
goto L114968;}
else {statInv=!statInv;
goto L123337;}
548L115161:
if (n. check (19)) {
goto L108489;}
else {
goto L131416;}
549L108489:
if (n. check (9)) {
goto L119785;}
else {
goto L123209;}
550L123209:
if (n. check (7)) {
goto L107273;}
else {
goto L134568;}
551L131416:
if (n. check (9)) {
goto L133768;}
else {
goto L130024;}
552L130024:
if (n. check (7)) {
goto L134568;}
else {
goto L125721;}
553L125721:
if (n. check (25)) {
goto L105737;}
else {
goto L134568;}
554L118537:
if (n. check (20)) {
goto L125833;}
else {
goto L117368;}
555L125833:
if (n. check (1)) {
goto L118521;}
else {
goto L106745;}
556L118521:
if (n. check (3)) {
goto L143305;}
else {
goto L130712;}
557L143305:
if (n. check (9)) {
goto L113913;}
else {
goto L123017;}
558L106745:
if (n. check (19)) {
goto L109593;}
else {
goto L135257;}
559L109593:
if (n. check (3)) {
goto L132089;}
else {
goto L137625;}
560L132089:
if (n. check (9)) {
goto L145833;}
else {
goto L129113;}
561L129113:
if (n. check (7)) {
goto L126729;}
else {
goto L145177;}
562L135257:
if (n. check (3)) {
goto L145561;}
else {
goto L127976;}
563L145561:
if (n. check (9)) {
goto L136249;}
else {
goto L114361;}
564L114361:
if (n. check (7)) {
goto L145177;}
else {
goto L119113;}
565L119113:
if (n. check (25)) {
goto L105737;}
else {
goto L145177;}
566L127976:
if (n. check (9)) {
goto L116184;}
else {
goto L127112;}
567L127112:
if (n. check (7)) {
goto L108376;}
else {
goto L108313;}
568L108313:
if (n. check (25)) {
goto L105737;}
else {
goto L108376;}
569L117368:
if (n. check (1)) {
goto L119528;}
else {
goto L107289;}
570L119528:
if (n. check (3)) {
goto L118232;}
else {
goto L106841;}
571L118232:
if (n. check (9)) {
goto L114008;}
else {
goto L115496;}
572L106841:
if (n. check (21)) {
goto L105737;}
else {
goto L130712;}
573L107289:
if (n. check (19)) {
goto L133817;}
else {
goto L118200;}
574L133817:
if (n. check (3)) {
goto L136089;}
else {
goto L130617;}
575L136089:
if (n. check (9)) {
goto L137465;}
else {
goto L134121;}
576L134121:
if (n. check (7)) {
goto L133785;}
else {
goto L137272;}
577L130617:
if (n. check (21)) {
goto L105737;}
else {
goto L137625;}
578L118200:
if (n. check (3)) {
goto L145880;}
else {
goto L114201;}
579L145880:
if (n. check (9)) {
goto L121512;}
else {
goto L108856;}
580L108856:
if (n. check (7)) {
goto L134280;}
else {
goto L127593;}
581L127593:
if (n. check (25)) {
goto L105737;}
else {
goto L134280;}
582L114201:
if (n. check (21)) {
goto L105737;}
else {
goto L145208;}
583L115001:
if (n. check (24)) {
goto L121929;}
else {
goto L107640;}
584L121929:
if (n. check (2)) {
goto L105737;}
else {
goto L123593;}
585L123593:
if (n. check (20)) {
goto L105737;}
else {
goto L144281;}
586L144281:
if (n. check (1)) {
goto L105737;}
else {
goto L122473;}
587L122473:
if (n. check (19)) {
goto L105737;}
else {
goto L143545;}
588L143545:
if (n. check (3)) {
goto L105737;}
else {
goto L126793;}
589L126793:
if (n. check (21)) {
goto L105737;}
else {
goto L145433;}
590L107640:
if (n. check (2)) {
goto L137176;}
else {
goto L132857;}
591L132857:
if (n. check (20)) {
goto L125161;}
else {
goto L143912;}
592L143912:
if (n. check (1)) {
goto L125560;}
else {
goto L134601;}
593L134601:
if (n. check (19)) {
goto L106681;}
else {
goto L125608;}
594L125608:
if (n. check (3)) {
goto L115672;}
else {
goto L135609;}
595L135609:
if (n. check (21)) {
goto L145433;}
else {
goto L109016;}
596L109016:
if (n. check (9)) {
goto L121512;}
else {
goto L143000;}
597L143000:
if (n. check (7)) {
goto L145656;}
else {
goto L132889;}
598L132889:
if (n. check (25)) {
goto L145577;}
else {
goto L143928;}
599L143928:
if (n. check (15)) {
goto L108632;}
else {
goto L135672;}
600L135672:
if (n. check (14)) {
goto L121448;}
else {
goto L118008;}
601L118008:
if (n. check (8)) {
goto L130584;}
else {
goto L128344;}
602L128344:
if (n. check (22)) {
goto L136440;}
else {
goto L115448;}
603L115448:
if (n. check (4)) {
goto L136056;}
else {
goto L122056;}
604L122056:
if (n. check (12)) {
goto L129368;}
else {
goto L129688;}
605L129688:
if (n. check (11)) {
goto L136472;}
else {
goto L136376;}
606L136376:
if (n. check (16)) {
goto L144408;}
else {statInv=!statInv;
goto L130457;}
607L105736:
return !statInv;
608L105737:
return statInv;
612template <
class NeighborCheck>
615 if (n. check (0))
goto K1043;
else goto K978;
616K14:
return !n. check (6);
617K15:
return n. check (6);
618K36:
return !n. check (17);
619K37:
return n. check (17);
620K38:
return !n. check (18);
621K39:
return n. check (18);
622K48:
return !n. check (23);
623K49:
return n. check (23);
624K50:
return !n. check (24);
625K52:
return !n. check (25);
626K53:
return n. check (25);
627K54:
if (n. check (17))
goto K2585;
else goto K154;
628K56:
if (n. check (20))
return false;
else goto K2302;
629K57:
if (n. check (7))
goto K1863;
else goto K939;
630K59:
if (n. check (20))
goto K2302;
else goto K2088;
631K63:
if (n. check (17))
goto K15;
else goto K2377;
632K64:
if (n. check (4))
goto K1575;
else goto K1541;
633K65:
if (n. check (1))
goto K504;
else goto K1046;
634K67:
if (n. check (4))
goto K1402;
else goto K793;
635K68:
if (n. check (16))
return false;
else goto K174;
636K69:
if (n. check (18))
goto K49;
else goto K1636;
637K76:
if (n. check (19))
return false;
else goto K1900;
638K78:
if (n. check (19))
goto K690;
else goto K1873;
639K79:
if (n. check (20))
goto K57;
else goto K1797;
640K80:
if (n. check (20))
goto K2317;
else goto K237;
641K82:
if (n. check (19))
goto K1559;
else goto K1414;
642K85:
if (n. check (20))
goto K2317;
else goto K464;
643K90:
if (n. check (4))
goto K862;
else goto K1928;
644K92:
if (n. check (4))
goto K59;
else goto K2119;
645K93:
if (n. check (7))
goto K1863;
else return false;
646K97:
if (n. check (5))
goto K361;
else goto K244;
647K98:
if (n. check (1))
return false;
else goto K1299;
648K101:
if (n. check (13))
return false;
else goto K184;
649K102:
if (n. check (1))
goto K2536;
else goto K2453;
650K105:
if (n. check (20))
goto K248;
else goto K712;
651K106:
if (n. check (1))
goto K1410;
else goto K139;
652K112:
if (n. check (5))
goto K359;
else goto K121;
653K115:
if (n. check (4))
goto K307;
else goto K101;
654K117:
if (n. check (14))
goto K2247;
else goto K580;
655K118:
if (n. check (4))
goto K826;
else goto K2473;
656K119:
if (n. check (13))
return false;
else goto K2174;
657K121:
if (n. check (8))
goto K106;
else goto K226;
658K123:
if (n. check (4))
goto K1814;
else goto K1442;
659K124:
if (n. check (10))
goto K1086;
else goto K1683;
660K125:
if (n. check (14))
goto K355;
else goto K1816;
661K127:
if (n. check (1))
return false;
else goto K1000;
662K131:
if (n. check (17))
return false;
else goto K200;
663K134:
if (n. check (19))
return false;
else goto K1862;
664K137:
if (n. check (11))
goto K177;
else goto K167;
665K139:
if (n. check (4))
goto K891;
else goto K1234;
666K143:
if (n. check (13))
return false;
else goto K2460;
667K154:
if (n. check (15))
return false;
else goto K342;
668K155:
if (n. check (14))
goto K1410;
else goto K1549;
669K156:
if (n. check (1))
return false;
else goto K2181;
670K158:
if (n. check (4))
goto K1610;
else goto K1250;
671K163:
if (n. check (16))
return false;
else goto K2112;
672K164:
if (n. check (17))
goto K2585;
else return false;
673K165:
if (n. check (10))
return false;
else goto K1607;
674K166:
if (n. check (20))
goto K2422;
else goto K2417;
675K167:
if (n. check (1))
goto K504;
else goto K977;
676K172:
if (n. check (7))
goto K988;
else goto K559;
677K174:
if (n. check (19))
goto K1950;
else goto K465;
678K175:
if (n. check (19))
goto K1948;
else goto K164;
679K177:
if (n. check (1))
return false;
else goto K2279;
680K181:
if (n. check (14))
goto K533;
else goto K118;
681K182:
if (n. check (19))
return false;
else goto K2368;
682K184:
if (n. check (20))
goto K1607;
else goto K2423;
683K185:
if (n. check (20))
return false;
else goto K1614;
684K192:
if (n. check (20))
goto K2410;
else goto K2063;
685K195:
if (n. check (7))
goto K1153;
else goto K268;
686K198:
if (n. check (23))
return true;
else goto K52;
687K199:
if (n. check (1))
goto K117;
else goto K1399;
688K200:
if (n. check (15))
goto K2377;
else goto K1992;
689K202:
if (n. check (7))
goto K273;
else goto K1332;
690K203:
if (n. check (19))
return true;
else goto K37;
691K204:
if (n. check (16))
return false;
else goto K1794;
692K205:
if (n. check (13))
return false;
else goto K1442;
693K215:
if (n. check (19))
goto K545;
else goto K37;
694K219:
if (n. check (7))
goto K182;
else goto K2264;
695K222:
if (n. check (1))
goto K728;
else goto K1954;
696K224:
if (n. check (7))
goto K1226;
else goto K261;
697K225:
if (n. check (7))
goto K1922;
else goto K2403;
698K226:
if (n. check (9))
goto K452;
else goto K1825;
699K229:
if (n. check (15))
goto K1571;
else goto K453;
700K230:
if (n. check (19))
goto K1949;
else goto K1263;
701K232:
if (n. check (7))
goto K1153;
else return false;
702K235:
if (n. check (19))
goto K2063;
else goto K1760;
703K236:
if (n. check (6))
goto K1940;
else goto K1506;
704K237:
if (n. check (7))
goto K2112;
else goto K163;
705K238:
if (n. check (20))
return false;
else goto K2058;
706K241:
if (n. check (1))
goto K624;
else goto K2371;
707K242:
if (n. check (1))
goto K1832;
else goto K687;
708K244:
if (n. check (8))
goto K258;
else goto K2277;
709K246:
if (n. check (23))
return true;
else goto K803;
710K248:
if (n. check (7))
goto K987;
else goto K1804;
711K249:
if (n. check (14))
return false;
else goto K1135;
712K251:
if (n. check (4))
goto K872;
else goto K2576;
713K254:
if (n. check (7))
goto K1924;
else return false;
714K255:
if (n. check (17))
goto K14;
else goto K2377;
715K257:
if (n. check (14))
return false;
else goto K832;
716K258:
if (n. check (1))
goto K832;
else goto K863;
717K260:
if (n. check (19))
goto K839;
else goto K722;
718K261:
if (n. check (19))
goto K2058;
else goto K873;
719K267:
if (n. check (16))
return false;
else goto K2313;
720K268:
if (n. check (16))
return false;
else goto K1253;
721K273:
if (n. check (19))
return false;
else goto K1769;
722K278:
if (n. check (19))
goto K686;
else goto K37;
723K281:
if (n. check (22))
goto K2381;
else goto K1559;
724K285:
if (n. check (11))
goto K1257;
else goto K199;
725K293:
if (n. check (7))
goto K1565;
else goto K2296;
726K307:
if (n. check (20))
goto K1607;
else goto K203;
727K342:
if (n. check (6))
return false;
else goto K2000;
728K350:
if (n. check (6))
goto K1805;
else goto K2602;
729K354:
if (n. check (6))
goto K867;
else goto K2002;
730K355:
if (n. check (4))
goto K1762;
else goto K1519;
731K356:
if (n. check (7))
goto K1297;
else goto K1794;
732K359:
if (n. check (8))
goto K1256;
else goto K2365;
733K360:
if (n. check (19))
return false;
else goto K1761;
734K361:
if (n. check (8))
goto K1773;
else goto K2344;
735K368:
if (n. check (19))
return false;
else goto K36;
736K399:
if (n. check (17))
goto K15;
else goto K1571;
737K401:
if (n. check (14))
goto K427;
else goto K875;
738K411:
if (n. check (13))
return false;
else goto K762;
739K427:
if (n. check (4))
goto K928;
else goto K2134;
740K428:
if (n. check (1))
goto K2247;
else goto K1135;
741K433:
if (n. check (17))
return false;
else goto K1571;
742K448:
if (n. check (1))
goto K921;
else goto K856;
743K451:
if (n. check (7))
goto K578;
else goto K1939;
744K452:
if (n. check (11))
goto K222;
else goto K2113;
745K453:
if (n. check (6))
goto K2544;
else goto K2002;
746K454:
if (n. check (14))
goto K1135;
else goto K67;
747K464:
if (n. check (7))
goto K1799;
else goto K2349;
748K465:
if (n. check (17))
goto K14;
else return false;
749K486:
if (n. check (21))
goto K1242;
else goto K198;
750K492:
if (n. check (17))
goto K15;
else goto K2421;
751K494:
if (n. check (8))
goto K428;
else goto K1147;
752K497:
if (n. check (7))
goto K1924;
else goto K2306;
753K504:
if (n. check (20))
return false;
else goto K1559;
754K507:
if (n. check (7))
goto K1470;
else goto K2487;
755K521:
if (n. check (14))
goto K1648;
else goto K1171;
756K522:
if (n. check (14))
return false;
else goto K1608;
757K523:
if (n. check (14))
goto K248;
else goto K2317;
758K524:
if (n. check (12))
goto K98;
else goto K2215;
759K533:
if (n. check (4))
goto K1542;
else return false;
760K543:
if (n. check (14))
goto K2044;
else goto K1405;
761K545:
if (n. check (17))
return true;
else goto K39;
762K559:
if (n. check (22))
goto K174;
else goto K1864;
763K578:
if (n. check (19))
goto K2410;
else goto K2063;
764K580:
if (n. check (20))
goto K832;
else goto K1950;
765K590:
if (n. check (6))
goto K2497;
else goto K2602;
766K591:
if (n. check (14))
goto K863;
else goto K225;
767K592:
if (n. check (15))
goto K2467;
else goto K2602;
768K624:
if (n. check (20))
goto K37;
else return true;
769K649:
if (n. check (5))
goto K1520;
else goto K2586;
770K685:
if (n. check (10))
goto K454;
else goto K2267;
771K686:
if (n. check (17))
return true;
else goto K2363;
772K687:
if (n. check (10))
goto K2028;
else goto K181;
773K690:
if (n. check (17))
return false;
else goto K229;
774K691:
if (n. check (6))
goto K1242;
else return false;
775K698:
if (n. check (1))
goto K1457;
else goto K685;
776K703:
if (n. check (20))
goto K2302;
else goto K281;
777K712:
if (n. check (7))
goto K1110;
else goto K2199;
778K718:
if (n. check (19))
goto K2058;
else return false;
779K722:
if (n. check (17))
goto K2585;
else goto K1593;
780K724:
if (n. check (17))
goto K14;
else goto K236;
781K725:
if (n. check (18))
return false;
else goto K1233;
782K728:
if (n. check (14))
return false;
else goto K1410;
783K731:
if (n. check (13))
return false;
else goto K2119;
784K741:
if (n. check (14))
goto K1608;
else goto K451;
785K751:
if (n. check (7))
goto K1264;
else goto K1179;
786K752:
if (n. check (20))
goto K921;
else goto K686;
787K761:
if (n. check (7))
goto K1813;
else goto K1253;
788K762:
if (n. check (20))
goto K2120;
else goto K2350;
789K773:
if (n. check (19))
return false;
else goto K433;
790K785:
if (n. check (22))
goto K2533;
else goto K690;
791K792:
if (n. check (8))
goto K1534;
else goto K2314;
792K793:
if (n. check (20))
goto K225;
else goto K942;
793K803:
if (n. check (24))
goto K52;
else goto K53;
794K826:
if (n. check (20))
goto K2317;
else goto K908;
795K831:
if (n. check (16))
goto K2092;
else goto K1623;
796K832:
if (n. check (17))
goto K14;
else goto K354;
797K839:
if (n. check (17))
goto K2585;
else goto K592;
798K843:
if (n. check (22))
goto K2112;
else goto K260;
799K856:
if (n. check (10))
goto K2302;
else goto K2120;
800K862:
if (n. check (20))
goto K225;
else goto K2386;
801K863:
if (n. check (7))
goto K134;
else goto K1527;
802K867:
if (n. check (18))
return false;
else goto K48;
803K871:
if (n. check (10))
goto K2028;
else goto K2310;
804K872:
if (n. check (20))
goto K2302;
else goto K2381;
805K873:
if (n. check (17))
return false;
else goto K198;
806K875:
if (n. check (4))
goto K1957;
else goto K119;
807K891:
if (n. check (20))
goto K863;
else goto K2367;
808K894:
if (n. check (17))
goto K15;
else goto K691;
809K907:
if (n. check (14))
return false;
else goto K2247;
810K908:
if (n. check (7))
goto K175;
else goto K1048;
811K909:
if (n. check (16))
return false;
else goto K920;
812K920:
if (n. check (19))
goto K690;
else goto K2175;
813K921:
if (n. check (17))
return true;
else goto K38;
814K924:
if (n. check (10))
goto K1245;
else goto K1441;
815K928:
if (n. check (20))
goto K863;
else goto K1972;
816K937:
if (n. check (4))
goto K1204;
else goto K2119;
817K939:
if (n. check (16))
return false;
else goto K1804;
818K942:
if (n. check (7))
goto K785;
else goto K843;
819K966:
if (n. check (20))
goto K921;
else goto K545;
820K977:
if (n. check (10))
goto K2001;
else goto K251;
821K978:
if (n. check (2))
goto K97;
else goto K1563;
822K983:
if (n. check (4))
goto K1903;
else goto K184;
823K987:
if (n. check (19))
goto K832;
else goto K1042;
824K988:
if (n. check (22))
goto K2416;
else goto K1862;
825K1000:
if (n. check (10))
return false;
else goto K983;
826K1001:
if (n. check (6))
goto K1735;
else goto K1090;
827K1002:
if (n. check (14))
goto K1846;
else goto K123;
828K1042:
if (n. check (17))
goto K14;
else goto K350;
829K1043:
if (n. check (2))
goto K649;
else goto K1904;
830K1044:
if (n. check (20))
goto K2317;
else goto K2057;
831K1046:
if (n. check (10))
goto K2001;
else goto K937;
832K1048:
if (n. check (16))
return false;
else goto K1179;
833K1067:
if (n. check (17))
return false;
else goto K1001;
834K1075:
if (n. check (1))
goto K2437;
else goto K2123;
835K1086:
if (n. check (14))
goto K1923;
else goto K90;
836K1087:
if (n. check (20))
goto K1608;
else goto K202;
837K1090:
if (n. check (21))
goto K2602;
else goto K69;
838K1095:
if (n. check (19))
goto K2058;
else goto K1769;
839K1108:
if (n. check (1))
goto K2198;
else goto K2570;
840K1110:
if (n. check (19))
goto K1042;
else goto K465;
841K1112:
if (n. check (20))
goto K1608;
else goto K761;
842K1134:
if (n. check (22))
goto K175;
else goto K1948;
843K1135:
if (n. check (4))
goto K185;
else goto K1977;
844K1136:
if (n. check (22))
goto K215;
else goto K545;
845K1147:
if (n. check (9))
goto K285;
else goto K2256;
846K1149:
if (n. check (19))
goto K2144;
else goto K839;
847K1153:
if (n. check (22))
goto K1332;
else goto K2063;
848K1171:
if (n. check (4))
goto K79;
else goto K1289;
849K1179:
if (n. check (19))
goto K1948;
else goto K54;
850K1180:
if (n. check (20))
goto K2144;
else goto K1948;
851K1181:
if (n. check (6))
goto K1242;
else goto K1506;
852K1196:
if (n. check (7))
return false;
else goto K2495;
853K1200:
if (n. check (7))
goto K1149;
else return false;
854K1204:
if (n. check (20))
return false;
else goto K82;
855K1210:
if (n. check (19))
goto K1862;
else goto K2368;
856K1211:
if (n. check (7))
goto K78;
else goto K909;
857K1217:
if (n. check (14))
goto K1135;
else goto K1633;
858K1221:
if (n. check (10))
goto K591;
else goto K523;
859K1226:
if (n. check (19))
return false;
else goto K2058;
860K1233:
if (n. check (23))
return false;
else goto K2352;
861K1234:
if (n. check (20))
goto K248;
else goto K507;
862K1238:
if (n. check (7))
goto K360;
else goto K1794;
863K1242:
if (n. check (18))
goto K198;
else return false;
864K1245:
if (n. check (4))
goto K1460;
else goto K762;
865K1250:
if (n. check (20))
goto K1200;
else goto K1300;
866K1253:
if (n. check (22))
goto K1332;
else goto K235;
867K1256:
if (n. check (1))
goto K752;
else goto K1245;
868K1257:
if (n. check (1))
goto K907;
else goto K1471;
869K1263:
if (n. check (17))
goto K14;
else goto K2421;
870K1264:
if (n. check (19))
return false;
else goto K131;
871K1270:
if (n. check (14))
return false;
else goto K863;
872K1285:
if (n. check (20))
return false;
else goto K690;
873K1288:
if (n. check (7))
goto K2250;
else goto K174;
874K1289:
if (n. check (13))
return false;
else goto K2490;
875K1297:
if (n. check (19))
goto K1949;
else goto K465;
876K1299:
if (n. check (10))
return false;
else goto K1302;
877K1300:
if (n. check (7))
goto K1134;
else goto K2092;
878K1302:
if (n. check (14))
return false;
else goto K2341;
879K1307:
if (n. check (4))
goto K105;
else goto K143;
880K1327:
if (n. check (11))
goto K1910;
else goto K1915;
881K1328:
if (n. check (20))
goto K2120;
else goto K215;
882K1332:
if (n. check (19))
goto K2063;
else goto K37;
883K1393:
if (n. check (1))
goto K543;
else goto K124;
884K1395:
if (n. check (1))
goto K752;
else goto K2486;
885K1399:
if (n. check (10))
goto K1867;
else goto K401;
886K1402:
if (n. check (20))
return false;
else goto K1598;
887K1405:
if (n. check (20))
goto K2144;
else goto K839;
888K1409:
if (n. check (17))
return false;
else goto K590;
889K1410:
if (n. check (20))
goto K832;
else goto K1949;
890K1413:
if (n. check (1))
goto K966;
else goto K1763;
891K1414:
if (n. check (17))
return false;
else goto K39;
892K1423:
if (n. check (14))
goto K139;
else goto K2429;
893K1438:
if (n. check (17))
goto K15;
else return false;
894K1441:
if (n. check (4))
goto K1498;
else return false;
895K1442:
if (n. check (20))
goto K451;
else goto K195;
896K1449:
if (n. check (20))
return false;
else goto K1211;
897K1457:
if (n. check (14))
goto K2247;
else goto K1285;
898K1460:
if (n. check (20))
goto K2302;
else goto K76;
899K1461:
if (n. check (17))
return false;
else goto K236;
900K1470:
if (n. check (22))
goto K1297;
else goto K1949;
901K1471:
if (n. check (10))
goto K249;
else goto K1217;
902K1475:
if (n. check (19))
goto K2410;
else goto K1760;
903K1498:
if (n. check (20))
goto K2120;
else goto K278;
904K1506:
if (n. check (18))
goto K198;
else goto K1233;
905K1507:
if (n. check (4))
goto K80;
else goto K1947;
906K1519:
if (n. check (13))
return false;
else goto K1112;
907K1520:
if (n. check (8))
goto K1803;
else goto K1693;
908K1521:
if (n. check (4))
goto K1449;
else goto K85;
909K1527:
if (n. check (19))
goto K832;
else goto K724;
910K1534:
if (n. check (1))
goto K504;
else goto K2001;
911K1538:
if (n. check (20))
goto K451;
else goto K2062;
912K1541:
if (n. check (20))
goto K1970;
else goto K1801;
913K1542:
if (n. check (20))
goto K248;
else goto K356;
914K1543:
if (n. check (21))
goto K1506;
else goto K2581;
915K1549:
if (n. check (20))
goto K399;
else goto K63;
916K1558:
if (n. check (1))
goto K257;
else goto K2173;
917K1559:
if (n. check (17))
return false;
else goto K38;
918K1562:
if (n. check (13))
return false;
else goto K1234;
919K1563:
if (n. check (3))
goto K2598;
else goto K112;
920K1565:
if (n. check (22))
goto K174;
else goto K1950;
921K1571:
if (n. check (6))
goto K2544;
else return false;
922K1575:
if (n. check (20))
goto K863;
else goto K1288;
923K1587:
if (n. check (4))
goto K1328;
else goto K731;
924K1593:
if (n. check (15))
goto K691;
else goto K1181;
925K1598:
if (n. check (7))
goto K1922;
else goto K920;
926K1599:
if (n. check (1))
goto K624;
else goto K983;
927K1607:
if (n. check (19))
goto K37;
else return true;
928K1608:
if (n. check (7))
goto K1226;
else goto K1475;
929K1610:
if (n. check (20))
goto K225;
else goto K751;
930K1611:
if (n. check (20))
return false;
else goto K224;
931K1614:
if (n. check (7))
goto K134;
else goto K2313;
932K1623:
if (n. check (22))
goto K1179;
else goto K1700;
933K1633:
if (n. check (4))
goto K2209;
else goto K2174;
934K1636:
if (n. check (23))
return true;
else goto K50;
935K1648:
if (n. check (4))
goto K1542;
else goto K1562;
936K1664:
if (n. check (20))
goto K93;
else goto K254;
937K1683:
if (n. check (14))
goto K1307;
else goto K1507;
938K1687:
if (n. check (17))
goto K15;
else goto K2467;
939K1692:
if (n. check (7))
goto K1860;
else goto K2411;
940K1693:
if (n. check (1))
goto K37;
else goto K165;
941K1700:
if (n. check (19))
goto K1948;
else goto K2451;
942K1705:
if (n. check (8))
goto K2045;
else goto K1835;
943K1728:
if (n. check (10))
return false;
else goto K2302;
944K1735:
if (n. check (21))
goto K1805;
else goto K48;
945K1760:
if (n. check (17))
return true;
else goto K198;
946K1761:
if (n. check (17))
return false;
else goto K2377;
947K1762:
if (n. check (20))
goto K1608;
else goto K1925;
948K1763:
if (n. check (10))
goto K92;
else goto K1587;
949K1764:
if (n. check (4))
goto K166;
else goto K2490;
950K1769:
if (n. check (17))
return false;
else goto K49;
951K1772:
if (n. check (7))
goto K578;
else return false;
952K1773:
if (n. check (1))
goto K921;
else goto K2302;
953K1789:
if (n. check (1))
goto K2410;
else goto K1608;
954K1794:
if (n. check (19))
goto K63;
else goto K1438;
955K1797:
if (n. check (7))
goto K1794;
else goto K204;
956K1798:
if (n. check (19))
goto K63;
else goto K492;
957K1799:
if (n. check (22))
goto K2112;
else goto K839;
958K1801:
if (n. check (7))
goto K1565;
else return false;
959K1803:
if (n. check (1))
goto K36;
else goto K1607;
960K1804:
if (n. check (19))
goto K399;
else goto K894;
961K1805:
if (n. check (18))
goto K48;
else return false;
962K1813:
if (n. check (22))
goto K718;
else goto K2058;
963K1814:
if (n. check (20))
return false;
else goto K1843;
964K1816:
if (n. check (4))
goto K1538;
else goto K205;
965K1822:
if (n. check (7))
goto K1799;
else return false;
966K1824:
if (n. check (19))
return false;
else goto K1873;
967K1825:
if (n. check (11))
goto K242;
else goto K524;
968K1828:
if (n. check (14))
goto K863;
else goto K2422;
969K1832:
if (n. check (14))
goto K1410;
else goto K1180;
970K1835:
if (n. check (11))
goto K1075;
else goto K1108;
971K1843:
if (n. check (7))
goto K1095;
else goto K2091;
972K1846:
if (n. check (4))
goto K1611;
else goto K1112;
973K1855:
if (n. check (14))
goto K139;
else goto K1764;
974K1859:
if (n. check (7))
goto K2190;
else goto K267;
975K1860:
if (n. check (22))
goto K1110;
else goto K1042;
976K1861:
if (n. check (20))
goto K1772;
else goto K232;
977K1862:
if (n. check (17))
return false;
else goto K354;
978K1863:
if (n. check (19))
goto K399;
else goto K1687;
979K1864:
if (n. check (19))
goto K1950;
else goto K724;
980K1867:
if (n. check (14))
goto K1135;
else goto K64;
981K1873:
if (n. check (17))
return false;
else goto K592;
982K1900:
if (n. check (17))
return false;
else goto K2363;
983K1903:
if (n. check (20))
return false;
else goto K368;
984K1904:
if (n. check (5))
goto K2108;
else goto K1705;
985K1905:
if (n. check (13))
goto K2473;
else goto K1044;
986K1910:
if (n. check (1))
goto K752;
else goto K924;
987K1915:
if (n. check (12))
return false;
else goto K1395;
988K1922:
if (n. check (19))
return false;
else goto K690;
989K1923:
if (n. check (4))
goto K2200;
else goto K2460;
990K1924:
if (n. check (22))
goto K1794;
else goto K63;
991K1925:
if (n. check (7))
goto K718;
else goto K1332;
992K1926:
if (n. check (20))
goto K1998;
else goto K1238;
993K1928:
if (n. check (20))
goto K1200;
else goto K1822;
994K1934:
if (n. check (7))
goto K174;
else goto K68;
995K1939:
if (n. check (16))
return false;
else goto K1475;
996K1940:
if (n. check (18))
return false;
else goto K198;
997K1947:
if (n. check (13))
return false;
else goto K85;
998K1948:
if (n. check (17))
goto K2585;
else goto K200;
999K1949:
if (n. check (17))
goto K14;
else goto K1001;
1000K1950:
if (n. check (17))
goto K14;
else goto K590;
1001K1954:
if (n. check (10))
goto K2343;
else goto K1855;
1002K1957:
if (n. check (20))
goto K2422;
else goto K1934;
1003K1970:
if (n. check (7))
goto K2292;
else return false;
1004K1972:
if (n. check (7))
goto K2416;
else goto K174;
1005K1977:
if (n. check (20))
goto K863;
else goto K172;
1006K1985:
if (n. check (19))
goto K433;
else goto K2003;
1007K1992:
if (n. check (6))
goto K2321;
else goto K1090;
1008K1996:
if (n. check (16))
return false;
else goto K1332;
1009K1998:
if (n. check (7))
goto K773;
else goto K1804;
1010K2000:
if (n. check (21))
return false;
else goto K725;
1011K2001:
if (n. check (4))
goto K56;
else goto K703;
1012K2002:
if (n. check (18))
goto K48;
else goto K1636;
1013K2003:
if (n. check (17))
return false;
else goto K691;
1014K2019:
if (n. check (1))
return false;
else goto K1728;
1015K2028:
if (n. check (14))
goto K139;
else goto K158;
1016K2041:
if (n. check (11))
goto K156;
else goto K1395;
1017K2044:
if (n. check (20))
goto K832;
else goto K1042;
1018K2045:
if (n. check (1))
goto K238;
else goto K1846;
1019K2057:
if (n. check (7))
goto K1134;
else goto K831;
1020K2058:
if (n. check (17))
return false;
else goto K48;
1021K2062:
if (n. check (7))
goto K1332;
else goto K1996;
1022K2063:
if (n. check (17))
return true;
else goto K49;
1023K2067:
if (n. check (16))
return false;
else goto K230;
1024K2082:
if (n. check (20))
return false;
else goto K2177;
1025K2084:
if (n. check (13))
return false;
else goto K2473;
1026K2087:
if (n. check (14))
goto K832;
else goto K2144;
1027K2088:
if (n. check (19))
return false;
else goto K1414;
1028K2091:
if (n. check (16))
return false;
else goto K261;
1029K2092:
if (n. check (22))
return false;
else goto K2099;
1030K2099:
if (n. check (19))
return false;
else goto K2376;
1031K2108:
if (n. check (8))
goto K1599;
else goto K2434;
1032K2112:
if (n. check (19))
goto K839;
else goto K164;
1033K2113:
if (n. check (1))
goto K155;
else goto K2415;
1034K2117:
if (n. check (14))
return false;
else goto K1846;
1035K2119:
if (n. check (20))
goto K2120;
else goto K1136;
1036K2120:
if (n. check (19))
goto K921;
else goto K545;
1037K2122:
if (n. check (4))
goto K1498;
else goto K411;
1038K2123:
if (n. check (10))
goto K2117;
else goto K1002;
1039K2134:
if (n. check (13))
return false;
else goto K1977;
1040K2144:
if (n. check (17))
goto K2585;
else goto K229;
1041K2147:
if (n. check (1))
goto K2087;
else goto K1221;
1042K2152:
if (n. check (19))
goto K1687;
else goto K894;
1043K2173:
if (n. check (10))
goto K1270;
else goto K1828;
1044K2174:
if (n. check (20))
goto K2422;
else goto K293;
1045K2175:
if (n. check (17))
return false;
else goto K1593;
1046K2177:
if (n. check (7))
goto K1210;
else goto K1985;
1047K2181:
if (n. check (10))
return false;
else goto K1245;
1048K2190:
if (n. check (19))
goto K1862;
else goto K1409;
1049K2198:
if (n. check (14))
goto K238;
else goto K192;
1050K2199:
if (n. check (19))
goto K1687;
else goto K1438;
1051K2200:
if (n. check (20))
goto K863;
else goto K219;
1052K2209:
if (n. check (20))
return false;
else goto K1859;
1053K2214:
if (n. check (4))
goto K2082;
else goto K2460;
1054K2215:
if (n. check (1))
goto K1832;
else goto K871;
1055K2232:
if (n. check (4))
goto K826;
else goto K1905;
1056K2245:
if (n. check (15))
goto K2421;
else goto K2303;
1057K2247:
if (n. check (20))
return false;
else goto K1862;
1058K2250:
if (n. check (19))
return false;
else goto K1409;
1059K2256:
if (n. check (11))
goto K698;
else goto K1393;
1060K2264:
if (n. check (19))
goto K1042;
else goto K2360;
1061K2267:
if (n. check (14))
goto K2214;
else goto K1521;
1062K2277:
if (n. check (9))
goto K1558;
else goto K2147;
1063K2279:
if (n. check (10))
return false;
else goto K2001;
1064K2292:
if (n. check (19))
goto K832;
else goto K1950;
1065K2293:
if (n. check (4))
goto K1087;
else goto K1861;
1066K2296:
if (n. check (16))
return false;
else goto K559;
1067K2302:
if (n. check (19))
return false;
else goto K1559;
1068K2303:
if (n. check (6))
goto K486;
else goto K1543;
1069K2306:
if (n. check (16))
return false;
else goto K2487;
1070K2310:
if (n. check (14))
goto K1648;
else goto K2232;
1071K2312:
if (n. check (11))
goto K65;
else goto K1413;
1072K2313:
if (n. check (19))
goto K1862;
else goto K1461;
1073K2314:
if (n. check (9))
goto K137;
else goto K2312;
1074K2317:
if (n. check (7))
goto K1149;
else goto K2557;
1075K2321:
if (n. check (21))
goto K2602;
else goto K49;
1076K2341:
if (n. check (4))
return false;
else goto K2084;
1077K2343:
if (n. check (14))
return false;
else goto K139;
1078K2344:
if (n. check (9))
goto K2019;
else goto K448;
1079K2349:
if (n. check (16))
return false;
else goto K843;
1080K2350:
if (n. check (22))
goto K278;
else goto K686;
1081K2352:
if (n. check (24))
return false;
else goto K52;
1082K2360:
if (n. check (17))
goto K14;
else goto K691;
1083K2363:
if (n. check (21))
goto K39;
else return true;
1084K2365:
if (n. check (9))
goto K2041;
else goto K1327;
1085K2367:
if (n. check (7))
goto K2515;
else goto K230;
1086K2368:
if (n. check (17))
return false;
else goto K350;
1087K2371:
if (n. check (10))
goto K983;
else goto K115;
1088K2376:
if (n. check (17))
return false;
else goto K154;
1089K2377:
if (n. check (6))
goto K2321;
else return false;
1090K2381:
if (n. check (19))
goto K1559;
else return false;
1091K2386:
if (n. check (7))
goto K1824;
else goto K2112;
1092K2387:
if (n. check (19))
goto K1949;
else goto K255;
1093K2403:
if (n. check (19))
goto K2144;
else goto K722;
1094K2410:
if (n. check (17))
return true;
else goto K48;
1095K2411:
if (n. check (22))
goto K2199;
else goto K2152;
1096K2412:
if (n. check (14))
goto K1846;
else goto K2293;
1097K2415:
if (n. check (10))
goto K1423;
else goto K521;
1098K2416:
if (n. check (19))
goto K1862;
else return false;
1099K2417:
if (n. check (7))
goto K2387;
else goto K2067;
1100K2421:
if (n. check (6))
goto K486;
else goto K2000;
1101K2422:
if (n. check (7))
goto K2292;
else goto K2555;
1102K2423:
if (n. check (22))
goto K203;
else return true;
1103K2429:
if (n. check (4))
goto K1926;
else goto K1664;
1104K2434:
if (n. check (11))
goto K127;
else goto K241;
1105K2437:
if (n. check (14))
return false;
else goto K238;
1106K2451:
if (n. check (17))
goto K2585;
else goto K2245;
1107K2453:
if (n. check (10))
goto K522;
else goto K741;
1108K2460:
if (n. check (20))
goto K248;
else goto K1692;
1109K2467:
if (n. check (6))
goto K2602;
else return false;
1110K2473:
if (n. check (20))
return false;
else goto K1196;
1111K2486:
if (n. check (10))
goto K1245;
else goto K2122;
1112K2487:
if (n. check (22))
goto K1794;
else goto K1798;
1113K2490:
if (n. check (20))
goto K57;
else goto K497;
1114K2495:
if (n. check (16))
return false;
else goto K2092;
1115K2497:
if (n. check (18))
return false;
else goto K49;
1116K2515:
if (n. check (19))
return false;
else goto K1067;
1117K2533:
if (n. check (19))
goto K690;
else return false;
1118K2536:
if (n. check (14))
return false;
else goto K2410;
1119K2544:
if (n. check (18))
goto K48;
else goto K49;
1120K2555:
if (n. check (16))
return false;
else goto K1527;
1121K2557:
if (n. check (16))
return false;
else goto K2403;
1122K2570:
if (n. check (10))
goto K2412;
else goto K125;
1123K2576:
if (n. check (13))
return false;
else goto K703;
1124K2581:
if (n. check (18))
goto K198;
else goto K246;
1125K2585:
if (n. check (15))
goto K15;
else return true;
1126K2586:
if (n. check (8))
goto K1789;
else goto K102;
1127K2598:
if (n. check (5))
goto K792;
else goto K494;
1128K2602:
if (n. check (18))
goto K49;
else return false;
1137template <
class cubetype,
class settype>
1143 BitField &bfield):
q (middle),
s (cset),
b (bfield) {};
1153 bool result =
s.
check (neighbor);
1197template <
class tCube,
class tCubeSet>
1225 throw "Trying to use a BDD for dimension other than 1-3.";
This file contains the definition of a bitfield class which works an array of bits.
This class defines a bit field that is part of some larger array or that uses an allocated piece of m...
The neighborhood of a cube in a set of cubes.
bool check(int n) const
The procedure for checking whether the given neighbor exists.
const cubetype & q
The cube whose neighbors are verified.
Neighbors(const cubetype &middle, const settype &cset, BitField &bfield)
The default constructor.
const settype & s
The set of cubes in which the neighbors of the cube are sought.
BitField & b
The bitfield to record each neighbor in.
tCube bit2neighbor(const tCube &q, int_t number, bool unconditional=false)
Creates the neighbor of the given cube with the specified number.
const int MaxBddDimPossible
The maximal dimension for which binary decision diagrams are programmed.
bool acyclic3d_Malandain(NeighborCheck &n)
Verifies whether the neighborhood of a 3-dimensional cube is acyclic.
bool UseMalandainCode
The variable which controls which binary decision diagrams should be used in dimension 3,...
int MaxBddDim
The maximal dimension for which binary decision diagrams are used.
bool acyclic3d(NeighborCheck &n)
Verifies whether the neighborhood of a 3-dimensional cube is acyclic.
bool acyclic1d(NeighborCheck &n)
Verifies whether the neighborhood of a 1-dimensional "cube" is acyclic.
bool bddacyclic(const tCube &q, int dim, const tCubeSet &s, BitField &b)
Uses binary decision diagrams to verify whether the neighborhood of the given cube in the given set i...
bool acyclic2d(NeighborCheck &n)
Verifies whether the neighborhood of a 2-dimensional "cube" is acyclic.
This namespace contains the entire CHomP library interface.
