kierandidi commited on
Commit
36e146b
·
verified ·
1 Parent(s): aa612cc

Update to the 2026-10-15 unified release (147-class, latent 32)

Browse files

Converted from nvidia/RFD4-Proteina at 976e0c90 (weights_sha256 5f00cdcd...) with converter revision 0291146a. The sampler recipe is read from the RFD4 repository's own configs/generation/inference_base.yaml rather than a transcribed default, so the scheduler records tsr_matched_noise, t_lim_ode 0.95 and tsr_sigma 12.0. Requires the unreleased rfd4-unified-checkpoint branch and the matching prep package; the existing example outputs are from the previous release and will not reproduce.

README.md CHANGED
@@ -27,6 +27,21 @@ This repository is the [Diffusers](https://github.com/huggingface/diffusers) rel
27
 
28
  <sub>Examples from the project, as shown on the [original model card](https://huggingface.co/nvidia/RFD4-Proteina).</sub>
29
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
30
  ## At a glance
31
 
32
  | | Details |
 
27
 
28
  <sub>Examples from the project, as shown on the [original model card](https://huggingface.co/nvidia/RFD4-Proteina).</sub>
29
 
30
+ > ### This release requires unreleased Diffusers support
31
+ >
32
+ > These weights are the **2026-10-15 unified release**: a 147-class residue vocabulary and a
33
+ > 32-dimensional latent, with `tsr_matched_noise` and the refreshed sampler recipe. Support for
34
+ > them is not in a released Diffusers version yet — it lives on branch `rfd4-unified-checkpoint`
35
+ > (`0291146a`) of `huggingface/diffusers-new-model-addition-RFD4-Proteina`. An older Diffusers
36
+ > will fail to load this repository rather than sample it incorrectly.
37
+ >
38
+ > You also need the matching [`nvidia/RFD4-Proteina-prep`](https://huggingface.co/nvidia/RFD4-Proteina-prep),
39
+ > which supplies the chirality and element features this checkpoint's encoder requires.
40
+ >
41
+ > **The `examples/*/design.cif` outputs were generated with the previous release** and are kept
42
+ > for reference. They will not reproduce under these weights: the model, the vocabulary and the
43
+ > sampler recipe all changed. The `input.cif` files remain valid.
44
+
45
  ## At a glance
46
 
47
  | | Details |
autoencoder/config.json CHANGED
@@ -2,9 +2,30 @@
2
  "_class_name": "RFD4ProteinaAutoencoder",
3
  "_diffusers_version": "0.41.0.dev0",
4
  "abs_coors": false,
5
- "atom37_mask": [
6
  [
7
  false,
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
8
  false,
9
  false,
10
  false,
@@ -40,15 +61,6 @@
40
  false,
41
  false,
42
  false,
43
- false
44
- ],
45
- [
46
- true,
47
- true,
48
- true,
49
- true,
50
- true,
51
- false,
52
  false,
53
  false,
54
  false,
@@ -79,21 +91,11 @@
79
  false,
80
  false,
81
  false,
82
- false
83
- ],
84
- [
85
- true,
86
- true,
87
- true,
88
- true,
89
- true,
90
- true,
91
  false,
92
  false,
93
  false,
94
  false,
95
  false,
96
- true,
97
  false,
98
  false,
99
  false,
@@ -105,28 +107,15 @@
105
  false,
106
  false,
107
  false,
108
- true,
109
  false,
110
  false,
111
  false,
112
  false,
113
  false,
114
- true,
115
- true,
116
  false,
117
- true,
118
  false,
119
  false,
120
  false,
121
- false
122
- ],
123
- [
124
- true,
125
- true,
126
- true,
127
- true,
128
- true,
129
- true,
130
  false,
131
  false,
132
  false,
@@ -136,8 +125,6 @@
136
  false,
137
  false,
138
  false,
139
- true,
140
- true,
141
  false,
142
  false,
143
  false,
@@ -157,27 +144,19 @@
157
  false,
158
  false,
159
  false,
160
- false
161
- ],
162
- [
163
- true,
164
- true,
165
- true,
166
- true,
167
- true,
168
- true,
169
  false,
170
  false,
171
  false,
172
  false,
173
  false,
174
  false,
 
 
 
175
  false,
176
  false,
177
  false,
178
  false,
179
- true,
180
- true,
181
  false,
182
  false,
183
  false,
@@ -196,9 +175,6 @@
196
  false,
197
  false,
198
  false,
199
- false
200
- ],
201
- [
202
  true,
203
  true,
204
  true,
@@ -209,7 +185,6 @@
209
  false,
210
  false,
211
  false,
212
- true,
213
  false,
214
  false,
215
  false,
@@ -235,21 +210,11 @@
235
  false,
236
  false,
237
  false,
238
- false
239
- ],
240
- [
241
- true,
242
- true,
243
- true,
244
- true,
245
- true,
246
- true,
247
  false,
248
  false,
249
  false,
250
  false,
251
  false,
252
- true,
253
  false,
254
  false,
255
  false,
@@ -263,8 +228,6 @@
263
  false,
264
  false,
265
  false,
266
- true,
267
- true,
268
  false,
269
  false,
270
  false,
@@ -274,21 +237,11 @@
274
  false,
275
  false,
276
  false,
277
- false
278
- ],
279
- [
280
- true,
281
- true,
282
- true,
283
- true,
284
- true,
285
- true,
286
  false,
287
  false,
288
  false,
289
  false,
290
  false,
291
- true,
292
  false,
293
  false,
294
  false,
@@ -303,8 +256,6 @@
303
  false,
304
  false,
305
  false,
306
- true,
307
- true,
308
  false,
309
  false,
310
  false,
@@ -313,14 +264,10 @@
313
  false,
314
  false,
315
  false,
316
- false
317
- ],
318
- [
319
- true,
320
- true,
321
- true,
322
  false,
323
- true,
 
 
324
  false,
325
  false,
326
  false,
@@ -355,12 +302,6 @@
355
  false
356
  ],
357
  [
358
- true,
359
- true,
360
- true,
361
- true,
362
- true,
363
- true,
364
  false,
365
  false,
366
  false,
@@ -368,19 +309,15 @@
368
  false,
369
  false,
370
  false,
371
- true,
372
- true,
373
  false,
374
  false,
375
  false,
376
  false,
377
  false,
378
- true,
379
  false,
380
  false,
381
  false,
382
  false,
383
- true,
384
  false,
385
  false,
386
  false,
@@ -391,22 +328,17 @@
391
  false,
392
  false,
393
  false,
394
- false
395
- ],
396
- [
397
  true,
398
  true,
399
  true,
400
  true,
401
  true,
402
  false,
403
- true,
404
- true,
405
  false,
406
  false,
407
  false,
408
  false,
409
- true,
410
  false,
411
  false,
412
  false,
@@ -430,23 +362,12 @@
430
  false,
431
  false,
432
  false,
433
- false
434
- ],
435
- [
436
- true,
437
- true,
438
- true,
439
- true,
440
- true,
441
- true,
442
  false,
443
  false,
444
  false,
445
  false,
446
  false,
447
  false,
448
- true,
449
- true,
450
  false,
451
  false,
452
  false,
@@ -469,21 +390,11 @@
469
  false,
470
  false,
471
  false,
472
- false
473
- ],
474
- [
475
- true,
476
- true,
477
- true,
478
- true,
479
- true,
480
- true,
481
  false,
482
  false,
483
  false,
484
  false,
485
  false,
486
- true,
487
  false,
488
  false,
489
  false,
@@ -491,7 +402,6 @@
491
  false,
492
  false,
493
  false,
494
- true,
495
  false,
496
  false,
497
  false,
@@ -507,16 +417,6 @@
507
  false,
508
  false,
509
  false,
510
- true,
511
- false
512
- ],
513
- [
514
- true,
515
- true,
516
- true,
517
- true,
518
- true,
519
- true,
520
  false,
521
  false,
522
  false,
@@ -529,8 +429,9 @@
529
  false,
530
  false,
531
  false,
532
- true,
533
- true,
 
534
  false,
535
  false,
536
  false,
@@ -550,29 +451,18 @@
550
  false
551
  ],
552
  [
553
- true,
554
- true,
555
- true,
556
- true,
557
- true,
558
- true,
559
  false,
560
  false,
561
  false,
562
  false,
563
  false,
564
  false,
565
- true,
566
- true,
567
  false,
568
  false,
569
  false,
570
  false,
571
  false,
572
  false,
573
- true,
574
- true,
575
- false,
576
  false,
577
  false,
578
  false,
@@ -582,28 +472,18 @@
582
  false,
583
  false,
584
  false,
585
- true,
586
  false,
587
  false,
588
  false,
589
- false
590
- ],
591
- [
592
- true,
593
- true,
594
- true,
595
- true,
596
- true,
597
- true,
598
  false,
599
  false,
600
  false,
601
  false,
602
  false,
603
- true,
604
  false,
605
  false,
606
  false,
 
607
  false,
608
  false,
609
  false,
@@ -625,18 +505,9 @@
625
  false,
626
  false,
627
  false,
628
- false
629
- ],
630
- [
631
- true,
632
- true,
633
- true,
634
- true,
635
- true,
636
  false,
637
  false,
638
  false,
639
- true,
640
  false,
641
  false,
642
  false,
@@ -664,19 +535,9 @@
664
  false,
665
  false,
666
  false,
667
- false
668
- ],
669
- [
670
- true,
671
- true,
672
- true,
673
- true,
674
- true,
675
  false,
676
  false,
677
- true,
678
  false,
679
- true,
680
  false,
681
  false,
682
  false,
@@ -703,23 +564,12 @@
703
  false,
704
  false,
705
  false,
706
- false
707
- ],
708
- [
709
- true,
710
- true,
711
- true,
712
- true,
713
- true,
714
- true,
715
  false,
716
  false,
717
  false,
718
  false,
719
  false,
720
  false,
721
- true,
722
- true,
723
  false,
724
  false,
725
  false,
@@ -727,72 +577,5478 @@
727
  false,
728
  false,
729
  false,
730
- true,
731
- true,
732
  false,
733
- true,
734
  false,
735
  false,
736
  false,
737
- true,
738
  false,
739
  false,
740
  false,
741
  false,
742
- true,
743
- true,
744
  false,
745
- false
746
- ],
747
- [
748
- true,
749
- true,
750
- true,
751
- true,
752
- true,
753
- true,
754
  false,
755
  false,
756
  false,
757
  false,
758
  false,
759
  false,
760
- true,
761
- true,
762
  false,
763
  false,
764
  false,
765
  false,
766
  false,
 
 
 
767
  false,
768
  true,
769
  true,
770
- false,
771
- false,
772
- false,
773
- false,
774
- false,
775
- false,
776
- false,
777
- false,
778
- false,
779
  true,
780
  true,
781
- false,
782
- false,
783
- false,
784
- false
785
- ],
786
- [
787
  true,
788
  true,
789
  true,
790
  true,
791
  true,
792
- false,
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
793
  true,
794
  true,
795
  false,
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
796
  false,
797
  false,
798
  false,
@@ -801,28 +6057,160 @@
801
  false,
802
  false,
803
  false,
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
804
  false,
805
  false,
806
  false,
807
  false,
808
  false,
809
  false,
 
 
 
 
 
 
 
 
810
  false,
811
  false,
812
  false,
 
813
  false,
814
  false,
815
  false,
816
  false,
817
  false,
818
- false,
819
- false,
820
- false,
821
- false,
822
- false,
823
- false
824
- ],
825
- [
826
  false,
827
  false,
828
  false,
@@ -831,22 +6219,46 @@
831
  false,
832
  false,
833
  false,
 
834
  false,
 
 
835
  false,
 
836
  false,
837
  false,
 
 
838
  false,
 
839
  false,
840
  false,
 
 
 
 
 
 
 
 
841
  false,
 
 
842
  false,
 
843
  false,
844
  false,
 
 
845
  false,
 
846
  false,
847
  false,
848
  false,
849
  false,
 
 
 
850
  false,
851
  false,
852
  false,
@@ -857,9 +6269,10 @@
857
  false,
858
  false,
859
  false,
 
860
  false,
861
  false,
862
- false
863
  ],
864
  [
865
  true,
@@ -869,13 +6282,7 @@
869
  true,
870
  true,
871
  true,
872
- true,
873
- true,
874
- true,
875
- true,
876
- true,
877
- true,
878
- true,
879
  true,
880
  true,
881
  true,
@@ -898,7 +6305,13 @@
898
  false,
899
  false,
900
  false,
901
- true
 
 
 
 
 
 
902
  ],
903
  [
904
  true,
@@ -925,19 +6338,19 @@
925
  false,
926
  false,
927
  false,
928
- true,
929
- true,
930
- true,
931
- true,
932
- true,
933
- true,
934
- true,
935
- true,
936
  false,
937
  false,
938
  false,
939
  false,
940
- true
 
 
 
 
 
 
 
 
941
  ],
942
  [
943
  true,
@@ -952,18 +6365,7 @@
952
  true,
953
  true,
954
  true,
955
- true,
956
- true,
957
- true,
958
- true,
959
- true,
960
- true,
961
- true,
962
- true,
963
- true,
964
  false,
965
- true,
966
- true,
967
  false,
968
  false,
969
  false,
@@ -976,7 +6378,18 @@
976
  false,
977
  false,
978
  false,
979
- true
 
 
 
 
 
 
 
 
 
 
 
980
  ],
981
  [
982
  true,
@@ -990,7 +6403,6 @@
990
  true,
991
  true,
992
  true,
993
- true,
994
  false,
995
  false,
996
  false,
@@ -1003,19 +6415,20 @@
1003
  false,
1004
  false,
1005
  false,
1006
- true,
1007
- true,
1008
- true,
1009
- true,
1010
- true,
1011
- true,
1012
- true,
1013
  false,
1014
- true,
1015
  false,
1016
  false,
1017
  false,
1018
- true
 
 
 
 
 
 
 
 
 
1019
  ],
1020
  [
1021
  true,
@@ -1057,16 +6470,6 @@
1057
  false
1058
  ],
1059
  [
1060
- true,
1061
- true,
1062
- true,
1063
- false,
1064
- true,
1065
- true,
1066
- true,
1067
- true,
1068
- true,
1069
- true,
1070
  true,
1071
  true,
1072
  true,
@@ -1093,13 +6496,23 @@
1093
  false,
1094
  false,
1095
  false,
1096
- true
 
 
 
 
 
 
 
 
 
 
1097
  ],
1098
  [
1099
  true,
1100
  true,
1101
  true,
1102
- false,
1103
  true,
1104
  true,
1105
  true,
@@ -1120,34 +6533,36 @@
1120
  false,
1121
  false,
1122
  false,
1123
- true,
1124
- true,
1125
- true,
1126
- true,
1127
- true,
1128
- true,
1129
- true,
1130
- true,
1131
  false,
1132
  false,
1133
  false,
1134
  false,
1135
- true
 
 
 
 
 
 
 
 
1136
  ],
1137
  [
1138
  true,
1139
  true,
1140
  true,
1141
- false,
1142
- true,
1143
  true,
1144
  true,
1145
  true,
 
1146
  true,
 
1147
  true,
 
1148
  true,
1149
  true,
1150
  true,
 
1151
  true,
1152
  true,
1153
  true,
@@ -1156,7 +6571,6 @@
1156
  true,
1157
  true,
1158
  true,
1159
- false,
1160
  true,
1161
  true,
1162
  false,
@@ -1170,10 +6584,13 @@
1170
  false,
1171
  false,
1172
  false,
1173
- false,
1174
- true
1175
  ],
1176
  [
 
 
 
 
1177
  true,
1178
  true,
1179
  true,
@@ -1198,25 +6615,60 @@
1198
  false,
1199
  false,
1200
  false,
 
 
 
 
 
 
 
 
 
 
 
 
1201
  true,
1202
  true,
1203
  true,
1204
  true,
 
1205
  true,
1206
  true,
1207
  true,
1208
- false,
1209
  true,
1210
  true,
1211
  false,
1212
  false,
1213
- true
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1214
  ],
1215
  [
1216
  true,
1217
  true,
1218
  true,
1219
- false,
1220
  true,
1221
  true,
1222
  true,
@@ -1252,8 +6704,23 @@
1252
  false
1253
  ],
1254
  [
 
 
 
 
 
 
 
1255
  false,
1256
  true,
 
 
 
 
 
 
 
 
1257
  false,
1258
  false,
1259
  false,
@@ -1273,6 +6740,30 @@
1273
  false,
1274
  false,
1275
  false,
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1276
  false,
1277
  false,
1278
  false,
@@ -1302,13 +6793,17 @@
1302
  "token_type",
1303
  "x1_a37coors_nm",
1304
  "x1_a37coors_nm_rel",
1305
- "chain_idx_seq"
 
 
1306
  ],
1307
- "latent_dim": 16,
1308
- "n_residue_types": 33,
1309
  "nheads": 12,
1310
  "nlayers": 12,
 
1311
  "pair_repr_dim": 256,
 
1312
  "token_dim": 768,
1313
  "token_type_emb_dim": 32
1314
  }
 
2
  "_class_name": "RFD4ProteinaAutoencoder",
3
  "_diffusers_version": "0.41.0.dev0",
4
  "abs_coors": false,
5
+ "allowed_residue_types": [
6
  [
7
  false,
8
+ true,
9
+ true,
10
+ true,
11
+ true,
12
+ true,
13
+ true,
14
+ true,
15
+ true,
16
+ true,
17
+ true,
18
+ true,
19
+ true,
20
+ true,
21
+ true,
22
+ true,
23
+ true,
24
+ true,
25
+ true,
26
+ true,
27
+ true,
28
+ true,
29
  false,
30
  false,
31
  false,
 
61
  false,
62
  false,
63
  false,
 
 
 
 
 
 
 
 
 
64
  false,
65
  false,
66
  false,
 
91
  false,
92
  false,
93
  false,
 
 
 
 
 
 
 
 
 
94
  false,
95
  false,
96
  false,
97
  false,
98
  false,
 
99
  false,
100
  false,
101
  false,
 
107
  false,
108
  false,
109
  false,
 
110
  false,
111
  false,
112
  false,
113
  false,
114
  false,
 
 
115
  false,
 
116
  false,
117
  false,
118
  false,
 
 
 
 
 
 
 
 
 
119
  false,
120
  false,
121
  false,
 
125
  false,
126
  false,
127
  false,
 
 
128
  false,
129
  false,
130
  false,
 
144
  false,
145
  false,
146
  false,
 
 
 
 
 
 
 
 
 
147
  false,
148
  false,
149
  false,
150
  false,
151
  false,
152
  false,
153
+ false
154
+ ],
155
+ [
156
  false,
157
  false,
158
  false,
159
  false,
 
 
160
  false,
161
  false,
162
  false,
 
175
  false,
176
  false,
177
  false,
 
 
 
178
  true,
179
  true,
180
  true,
 
185
  false,
186
  false,
187
  false,
 
188
  false,
189
  false,
190
  false,
 
210
  false,
211
  false,
212
  false,
 
 
 
 
 
 
 
 
 
213
  false,
214
  false,
215
  false,
216
  false,
217
  false,
 
218
  false,
219
  false,
220
  false,
 
228
  false,
229
  false,
230
  false,
 
 
231
  false,
232
  false,
233
  false,
 
237
  false,
238
  false,
239
  false,
 
 
 
 
 
 
 
 
 
240
  false,
241
  false,
242
  false,
243
  false,
244
  false,
 
245
  false,
246
  false,
247
  false,
 
256
  false,
257
  false,
258
  false,
 
 
259
  false,
260
  false,
261
  false,
 
264
  false,
265
  false,
266
  false,
 
 
 
 
 
 
267
  false,
268
+ false,
269
+ false,
270
+ false,
271
  false,
272
  false,
273
  false,
 
302
  false
303
  ],
304
  [
 
 
 
 
 
 
305
  false,
306
  false,
307
  false,
 
309
  false,
310
  false,
311
  false,
 
 
312
  false,
313
  false,
314
  false,
315
  false,
316
  false,
 
317
  false,
318
  false,
319
  false,
320
  false,
 
321
  false,
322
  false,
323
  false,
 
328
  false,
329
  false,
330
  false,
331
+ false,
 
 
332
  true,
333
  true,
334
  true,
335
  true,
336
  true,
337
  false,
 
 
338
  false,
339
  false,
340
  false,
341
  false,
 
342
  false,
343
  false,
344
  false,
 
362
  false,
363
  false,
364
  false,
 
 
 
 
 
 
 
 
 
365
  false,
366
  false,
367
  false,
368
  false,
369
  false,
370
  false,
 
 
371
  false,
372
  false,
373
  false,
 
390
  false,
391
  false,
392
  false,
 
 
 
 
 
 
 
 
 
393
  false,
394
  false,
395
  false,
396
  false,
397
  false,
 
398
  false,
399
  false,
400
  false,
 
402
  false,
403
  false,
404
  false,
 
405
  false,
406
  false,
407
  false,
 
417
  false,
418
  false,
419
  false,
 
 
 
 
 
 
 
 
 
 
420
  false,
421
  false,
422
  false,
 
429
  false,
430
  false,
431
  false,
432
+ false,
433
+ false,
434
+ false,
435
  false,
436
  false,
437
  false,
 
451
  false
452
  ],
453
  [
 
 
 
 
 
 
454
  false,
455
  false,
456
  false,
457
  false,
458
  false,
459
  false,
 
 
460
  false,
461
  false,
462
  false,
463
  false,
464
  false,
465
  false,
 
 
 
466
  false,
467
  false,
468
  false,
 
472
  false,
473
  false,
474
  false,
 
475
  false,
476
  false,
477
  false,
 
 
 
 
 
 
 
 
 
478
  false,
479
  false,
480
  false,
481
  false,
482
  false,
 
483
  false,
484
  false,
485
  false,
486
+ true,
487
  false,
488
  false,
489
  false,
 
505
  false,
506
  false,
507
  false,
 
 
 
 
 
 
 
 
508
  false,
509
  false,
510
  false,
 
511
  false,
512
  false,
513
  false,
 
535
  false,
536
  false,
537
  false,
 
 
 
 
 
 
 
 
538
  false,
539
  false,
 
540
  false,
 
541
  false,
542
  false,
543
  false,
 
564
  false,
565
  false,
566
  false,
 
 
 
 
 
 
 
 
 
567
  false,
568
  false,
569
  false,
570
  false,
571
  false,
572
  false,
 
 
573
  false,
574
  false,
575
  false,
 
577
  false,
578
  false,
579
  false,
 
 
580
  false,
 
581
  false,
582
  false,
583
  false,
 
584
  false,
585
  false,
586
  false,
587
  false,
 
 
588
  false,
 
 
 
 
 
 
 
 
 
589
  false,
590
  false,
591
  false,
592
  false,
593
  false,
594
  false,
 
 
595
  false,
596
  false,
597
  false,
598
  false,
599
  false,
600
+ false
601
+ ],
602
+ [
603
  false,
604
  true,
605
  true,
 
 
 
 
 
 
 
 
 
606
  true,
607
  true,
 
 
 
 
 
 
608
  true,
609
  true,
610
  true,
611
  true,
612
  true,
613
+ true,
614
+ true,
615
+ true,
616
+ true,
617
+ true,
618
+ true,
619
+ true,
620
+ true,
621
+ true,
622
+ true,
623
+ true,
624
+ true,
625
+ true,
626
+ true,
627
+ true,
628
+ true,
629
+ true,
630
+ true,
631
+ true,
632
+ true,
633
+ true,
634
+ true,
635
+ true,
636
+ false,
637
+ true,
638
+ true,
639
+ true,
640
+ true,
641
+ true,
642
+ true,
643
+ true,
644
+ true,
645
+ true,
646
+ true,
647
+ true,
648
+ true,
649
+ true,
650
+ true,
651
+ true,
652
+ true,
653
+ true,
654
+ true,
655
+ true,
656
+ true,
657
+ true,
658
+ true,
659
+ true,
660
+ true,
661
+ true,
662
+ true,
663
+ true,
664
+ true,
665
+ true,
666
+ true,
667
+ true,
668
+ true,
669
+ true,
670
+ true,
671
+ true,
672
+ true,
673
+ true,
674
+ true,
675
+ true,
676
+ true,
677
+ true,
678
+ true,
679
+ true,
680
+ true,
681
+ true,
682
+ true,
683
+ true,
684
+ true,
685
+ true,
686
+ true,
687
+ true,
688
+ true,
689
+ true,
690
+ true,
691
+ true,
692
+ true,
693
+ true,
694
+ true,
695
+ true,
696
+ true,
697
+ true,
698
+ true,
699
+ true,
700
+ true,
701
+ true,
702
+ true,
703
+ true,
704
+ true,
705
+ true,
706
+ true,
707
+ true,
708
+ true,
709
+ true,
710
+ true,
711
+ true,
712
+ true,
713
+ true,
714
+ true,
715
+ true,
716
+ true,
717
+ true,
718
+ true,
719
+ true,
720
+ true,
721
+ true,
722
+ true,
723
+ true,
724
+ true,
725
+ true,
726
+ true,
727
+ true,
728
+ true,
729
+ true,
730
+ true,
731
+ true,
732
+ true,
733
+ true,
734
+ true,
735
+ true,
736
+ true,
737
+ true,
738
+ true,
739
+ true,
740
+ true,
741
+ true,
742
+ true,
743
+ true,
744
+ true,
745
+ true,
746
+ true,
747
+ true,
748
+ true,
749
+ true
750
+ ],
751
+ [
752
+ false,
753
+ false,
754
+ false,
755
+ false,
756
+ false,
757
+ false,
758
+ false,
759
+ false,
760
+ false,
761
+ false,
762
+ false,
763
+ false,
764
+ false,
765
+ false,
766
+ false,
767
+ false,
768
+ false,
769
+ false,
770
+ false,
771
+ false,
772
+ false,
773
+ false,
774
+ false,
775
+ false,
776
+ false,
777
+ false,
778
+ false,
779
+ false,
780
+ false,
781
+ false,
782
+ false,
783
+ false,
784
+ false,
785
+ false,
786
+ false,
787
+ false,
788
+ false,
789
+ false,
790
+ false,
791
+ false,
792
+ false,
793
+ false,
794
+ false,
795
+ false,
796
+ false,
797
+ false,
798
+ false,
799
+ false,
800
+ false,
801
+ false,
802
+ false,
803
+ false,
804
+ false,
805
+ false,
806
+ false,
807
+ false,
808
+ false,
809
+ false,
810
+ false,
811
+ false,
812
+ false,
813
+ false,
814
+ false,
815
+ false,
816
+ false,
817
+ false,
818
+ false,
819
+ false,
820
+ false,
821
+ false,
822
+ false,
823
+ false,
824
+ false,
825
+ false,
826
+ false,
827
+ false,
828
+ false,
829
+ false,
830
+ false,
831
+ false,
832
+ false,
833
+ false,
834
+ false,
835
+ false,
836
+ false,
837
+ false,
838
+ false,
839
+ false,
840
+ false,
841
+ false,
842
+ false,
843
+ false,
844
+ false,
845
+ false,
846
+ false,
847
+ false,
848
+ false,
849
+ false,
850
+ false,
851
+ false,
852
+ false,
853
+ false,
854
+ false,
855
+ false,
856
+ false,
857
+ false,
858
+ false,
859
+ false,
860
+ false,
861
+ false,
862
+ false,
863
+ false,
864
+ false,
865
+ false,
866
+ false,
867
+ false,
868
+ false,
869
+ false,
870
+ false,
871
+ false,
872
+ false,
873
+ false,
874
+ false,
875
+ false,
876
+ false,
877
+ false,
878
+ false,
879
+ false,
880
+ false,
881
+ false,
882
+ false,
883
+ false,
884
+ false,
885
+ false,
886
+ true,
887
+ true,
888
+ true,
889
+ true,
890
+ true,
891
+ true,
892
+ true,
893
+ true,
894
+ true,
895
+ true,
896
+ true,
897
+ true,
898
+ true
899
+ ],
900
+ [
901
+ false,
902
+ false,
903
+ false,
904
+ false,
905
+ false,
906
+ false,
907
+ false,
908
+ false,
909
+ false,
910
+ false,
911
+ false,
912
+ false,
913
+ false,
914
+ false,
915
+ false,
916
+ false,
917
+ false,
918
+ false,
919
+ false,
920
+ false,
921
+ false,
922
+ false,
923
+ false,
924
+ false,
925
+ false,
926
+ false,
927
+ false,
928
+ false,
929
+ false,
930
+ false,
931
+ false,
932
+ false,
933
+ false,
934
+ false,
935
+ true,
936
+ true,
937
+ true,
938
+ true,
939
+ true,
940
+ true,
941
+ true,
942
+ true,
943
+ true,
944
+ true,
945
+ true,
946
+ true,
947
+ true,
948
+ true,
949
+ true,
950
+ true,
951
+ true,
952
+ true,
953
+ true,
954
+ true,
955
+ true,
956
+ true,
957
+ true,
958
+ true,
959
+ true,
960
+ true,
961
+ true,
962
+ true,
963
+ true,
964
+ true,
965
+ true,
966
+ true,
967
+ true,
968
+ true,
969
+ true,
970
+ true,
971
+ true,
972
+ true,
973
+ true,
974
+ true,
975
+ true,
976
+ true,
977
+ true,
978
+ true,
979
+ true,
980
+ true,
981
+ true,
982
+ true,
983
+ true,
984
+ true,
985
+ true,
986
+ true,
987
+ true,
988
+ true,
989
+ true,
990
+ true,
991
+ true,
992
+ true,
993
+ true,
994
+ true,
995
+ true,
996
+ true,
997
+ true,
998
+ true,
999
+ true,
1000
+ true,
1001
+ true,
1002
+ true,
1003
+ true,
1004
+ true,
1005
+ true,
1006
+ true,
1007
+ true,
1008
+ true,
1009
+ true,
1010
+ true,
1011
+ true,
1012
+ true,
1013
+ true,
1014
+ true,
1015
+ true,
1016
+ true,
1017
+ true,
1018
+ true,
1019
+ true,
1020
+ true,
1021
+ true,
1022
+ true,
1023
+ true,
1024
+ true,
1025
+ true,
1026
+ true,
1027
+ true,
1028
+ true,
1029
+ true,
1030
+ true,
1031
+ true,
1032
+ true,
1033
+ true,
1034
+ true,
1035
+ false,
1036
+ false,
1037
+ false,
1038
+ false,
1039
+ false,
1040
+ false,
1041
+ false,
1042
+ false,
1043
+ false,
1044
+ false,
1045
+ false,
1046
+ false,
1047
+ false
1048
+ ]
1049
+ ],
1050
+ "atom37_mask": [
1051
+ [
1052
+ false,
1053
+ false,
1054
+ false,
1055
+ false,
1056
+ false,
1057
+ false,
1058
+ false,
1059
+ false,
1060
+ false,
1061
+ false,
1062
+ false,
1063
+ false,
1064
+ false,
1065
+ false,
1066
+ false,
1067
+ false,
1068
+ false,
1069
+ false,
1070
+ false,
1071
+ false,
1072
+ false,
1073
+ false,
1074
+ false,
1075
+ false,
1076
+ false,
1077
+ false,
1078
+ false,
1079
+ false,
1080
+ false,
1081
+ false,
1082
+ false,
1083
+ false,
1084
+ false,
1085
+ false,
1086
+ false,
1087
+ false,
1088
+ false
1089
+ ],
1090
+ [
1091
+ true,
1092
+ true,
1093
+ true,
1094
+ true,
1095
+ true,
1096
+ false,
1097
+ false,
1098
+ false,
1099
+ false,
1100
+ false,
1101
+ false,
1102
+ false,
1103
+ false,
1104
+ false,
1105
+ false,
1106
+ false,
1107
+ false,
1108
+ false,
1109
+ false,
1110
+ false,
1111
+ false,
1112
+ false,
1113
+ false,
1114
+ false,
1115
+ false,
1116
+ false,
1117
+ false,
1118
+ false,
1119
+ false,
1120
+ false,
1121
+ false,
1122
+ false,
1123
+ false,
1124
+ false,
1125
+ false,
1126
+ false,
1127
+ true
1128
+ ],
1129
+ [
1130
+ true,
1131
+ true,
1132
+ true,
1133
+ true,
1134
+ true,
1135
+ true,
1136
+ false,
1137
+ false,
1138
+ false,
1139
+ false,
1140
+ false,
1141
+ true,
1142
+ false,
1143
+ false,
1144
+ false,
1145
+ false,
1146
+ false,
1147
+ false,
1148
+ false,
1149
+ false,
1150
+ false,
1151
+ false,
1152
+ false,
1153
+ true,
1154
+ false,
1155
+ false,
1156
+ false,
1157
+ false,
1158
+ false,
1159
+ true,
1160
+ true,
1161
+ false,
1162
+ true,
1163
+ false,
1164
+ false,
1165
+ false,
1166
+ true
1167
+ ],
1168
+ [
1169
+ true,
1170
+ true,
1171
+ true,
1172
+ true,
1173
+ true,
1174
+ true,
1175
+ false,
1176
+ false,
1177
+ false,
1178
+ false,
1179
+ false,
1180
+ false,
1181
+ false,
1182
+ false,
1183
+ false,
1184
+ true,
1185
+ true,
1186
+ false,
1187
+ false,
1188
+ false,
1189
+ false,
1190
+ false,
1191
+ false,
1192
+ false,
1193
+ false,
1194
+ false,
1195
+ false,
1196
+ false,
1197
+ false,
1198
+ false,
1199
+ false,
1200
+ false,
1201
+ false,
1202
+ false,
1203
+ false,
1204
+ false,
1205
+ true
1206
+ ],
1207
+ [
1208
+ true,
1209
+ true,
1210
+ true,
1211
+ true,
1212
+ true,
1213
+ true,
1214
+ false,
1215
+ false,
1216
+ false,
1217
+ false,
1218
+ false,
1219
+ false,
1220
+ false,
1221
+ false,
1222
+ false,
1223
+ false,
1224
+ true,
1225
+ true,
1226
+ false,
1227
+ false,
1228
+ false,
1229
+ false,
1230
+ false,
1231
+ false,
1232
+ false,
1233
+ false,
1234
+ false,
1235
+ false,
1236
+ false,
1237
+ false,
1238
+ false,
1239
+ false,
1240
+ false,
1241
+ false,
1242
+ false,
1243
+ false,
1244
+ true
1245
+ ],
1246
+ [
1247
+ true,
1248
+ true,
1249
+ true,
1250
+ true,
1251
+ true,
1252
+ false,
1253
+ false,
1254
+ false,
1255
+ false,
1256
+ false,
1257
+ true,
1258
+ false,
1259
+ false,
1260
+ false,
1261
+ false,
1262
+ false,
1263
+ false,
1264
+ false,
1265
+ false,
1266
+ false,
1267
+ false,
1268
+ false,
1269
+ false,
1270
+ false,
1271
+ false,
1272
+ false,
1273
+ false,
1274
+ false,
1275
+ false,
1276
+ false,
1277
+ false,
1278
+ false,
1279
+ false,
1280
+ false,
1281
+ false,
1282
+ false,
1283
+ true
1284
+ ],
1285
+ [
1286
+ true,
1287
+ true,
1288
+ true,
1289
+ true,
1290
+ true,
1291
+ true,
1292
+ false,
1293
+ false,
1294
+ false,
1295
+ false,
1296
+ false,
1297
+ true,
1298
+ false,
1299
+ false,
1300
+ false,
1301
+ false,
1302
+ false,
1303
+ false,
1304
+ false,
1305
+ false,
1306
+ false,
1307
+ false,
1308
+ false,
1309
+ false,
1310
+ false,
1311
+ true,
1312
+ true,
1313
+ false,
1314
+ false,
1315
+ false,
1316
+ false,
1317
+ false,
1318
+ false,
1319
+ false,
1320
+ false,
1321
+ false,
1322
+ true
1323
+ ],
1324
+ [
1325
+ true,
1326
+ true,
1327
+ true,
1328
+ true,
1329
+ true,
1330
+ true,
1331
+ false,
1332
+ false,
1333
+ false,
1334
+ false,
1335
+ false,
1336
+ true,
1337
+ false,
1338
+ false,
1339
+ false,
1340
+ false,
1341
+ false,
1342
+ false,
1343
+ false,
1344
+ false,
1345
+ false,
1346
+ false,
1347
+ false,
1348
+ false,
1349
+ false,
1350
+ false,
1351
+ true,
1352
+ true,
1353
+ false,
1354
+ false,
1355
+ false,
1356
+ false,
1357
+ false,
1358
+ false,
1359
+ false,
1360
+ false,
1361
+ true
1362
+ ],
1363
+ [
1364
+ true,
1365
+ true,
1366
+ true,
1367
+ false,
1368
+ true,
1369
+ false,
1370
+ false,
1371
+ false,
1372
+ false,
1373
+ false,
1374
+ false,
1375
+ false,
1376
+ false,
1377
+ false,
1378
+ false,
1379
+ false,
1380
+ false,
1381
+ false,
1382
+ false,
1383
+ false,
1384
+ false,
1385
+ false,
1386
+ false,
1387
+ false,
1388
+ false,
1389
+ false,
1390
+ false,
1391
+ false,
1392
+ false,
1393
+ false,
1394
+ false,
1395
+ false,
1396
+ false,
1397
+ false,
1398
+ false,
1399
+ false,
1400
+ true
1401
+ ],
1402
+ [
1403
+ true,
1404
+ true,
1405
+ true,
1406
+ true,
1407
+ true,
1408
+ true,
1409
+ false,
1410
+ false,
1411
+ false,
1412
+ false,
1413
+ false,
1414
+ false,
1415
+ false,
1416
+ true,
1417
+ true,
1418
+ false,
1419
+ false,
1420
+ false,
1421
+ false,
1422
+ false,
1423
+ true,
1424
+ false,
1425
+ false,
1426
+ false,
1427
+ false,
1428
+ true,
1429
+ false,
1430
+ false,
1431
+ false,
1432
+ false,
1433
+ false,
1434
+ false,
1435
+ false,
1436
+ false,
1437
+ false,
1438
+ false,
1439
+ true
1440
+ ],
1441
+ [
1442
+ true,
1443
+ true,
1444
+ true,
1445
+ true,
1446
+ true,
1447
+ false,
1448
+ true,
1449
+ true,
1450
+ false,
1451
+ false,
1452
+ false,
1453
+ false,
1454
+ true,
1455
+ false,
1456
+ false,
1457
+ false,
1458
+ false,
1459
+ false,
1460
+ false,
1461
+ false,
1462
+ false,
1463
+ false,
1464
+ false,
1465
+ false,
1466
+ false,
1467
+ false,
1468
+ false,
1469
+ false,
1470
+ false,
1471
+ false,
1472
+ false,
1473
+ false,
1474
+ false,
1475
+ false,
1476
+ false,
1477
+ false,
1478
+ true
1479
+ ],
1480
+ [
1481
+ true,
1482
+ true,
1483
+ true,
1484
+ true,
1485
+ true,
1486
+ true,
1487
+ false,
1488
+ false,
1489
+ false,
1490
+ false,
1491
+ false,
1492
+ false,
1493
+ true,
1494
+ true,
1495
+ false,
1496
+ false,
1497
+ false,
1498
+ false,
1499
+ false,
1500
+ false,
1501
+ false,
1502
+ false,
1503
+ false,
1504
+ false,
1505
+ false,
1506
+ false,
1507
+ false,
1508
+ false,
1509
+ false,
1510
+ false,
1511
+ false,
1512
+ false,
1513
+ false,
1514
+ false,
1515
+ false,
1516
+ false,
1517
+ true
1518
+ ],
1519
+ [
1520
+ true,
1521
+ true,
1522
+ true,
1523
+ true,
1524
+ true,
1525
+ true,
1526
+ false,
1527
+ false,
1528
+ false,
1529
+ false,
1530
+ false,
1531
+ true,
1532
+ false,
1533
+ false,
1534
+ false,
1535
+ false,
1536
+ false,
1537
+ false,
1538
+ false,
1539
+ true,
1540
+ false,
1541
+ false,
1542
+ false,
1543
+ false,
1544
+ false,
1545
+ false,
1546
+ false,
1547
+ false,
1548
+ false,
1549
+ false,
1550
+ false,
1551
+ false,
1552
+ false,
1553
+ false,
1554
+ false,
1555
+ true,
1556
+ true
1557
+ ],
1558
+ [
1559
+ true,
1560
+ true,
1561
+ true,
1562
+ true,
1563
+ true,
1564
+ true,
1565
+ false,
1566
+ false,
1567
+ false,
1568
+ false,
1569
+ false,
1570
+ false,
1571
+ false,
1572
+ false,
1573
+ false,
1574
+ false,
1575
+ false,
1576
+ false,
1577
+ true,
1578
+ true,
1579
+ false,
1580
+ false,
1581
+ false,
1582
+ false,
1583
+ false,
1584
+ false,
1585
+ false,
1586
+ false,
1587
+ false,
1588
+ false,
1589
+ false,
1590
+ false,
1591
+ false,
1592
+ false,
1593
+ false,
1594
+ false,
1595
+ true
1596
+ ],
1597
+ [
1598
+ true,
1599
+ true,
1600
+ true,
1601
+ true,
1602
+ true,
1603
+ true,
1604
+ false,
1605
+ false,
1606
+ false,
1607
+ false,
1608
+ false,
1609
+ false,
1610
+ true,
1611
+ true,
1612
+ false,
1613
+ false,
1614
+ false,
1615
+ false,
1616
+ false,
1617
+ false,
1618
+ true,
1619
+ true,
1620
+ false,
1621
+ false,
1622
+ false,
1623
+ false,
1624
+ false,
1625
+ false,
1626
+ false,
1627
+ false,
1628
+ false,
1629
+ false,
1630
+ true,
1631
+ false,
1632
+ false,
1633
+ false,
1634
+ true
1635
+ ],
1636
+ [
1637
+ true,
1638
+ true,
1639
+ true,
1640
+ true,
1641
+ true,
1642
+ true,
1643
+ false,
1644
+ false,
1645
+ false,
1646
+ false,
1647
+ false,
1648
+ true,
1649
+ false,
1650
+ false,
1651
+ false,
1652
+ false,
1653
+ false,
1654
+ false,
1655
+ false,
1656
+ false,
1657
+ false,
1658
+ false,
1659
+ false,
1660
+ false,
1661
+ false,
1662
+ false,
1663
+ false,
1664
+ false,
1665
+ false,
1666
+ false,
1667
+ false,
1668
+ false,
1669
+ false,
1670
+ false,
1671
+ false,
1672
+ false,
1673
+ true
1674
+ ],
1675
+ [
1676
+ true,
1677
+ true,
1678
+ true,
1679
+ true,
1680
+ true,
1681
+ false,
1682
+ false,
1683
+ false,
1684
+ true,
1685
+ false,
1686
+ false,
1687
+ false,
1688
+ false,
1689
+ false,
1690
+ false,
1691
+ false,
1692
+ false,
1693
+ false,
1694
+ false,
1695
+ false,
1696
+ false,
1697
+ false,
1698
+ false,
1699
+ false,
1700
+ false,
1701
+ false,
1702
+ false,
1703
+ false,
1704
+ false,
1705
+ false,
1706
+ false,
1707
+ false,
1708
+ false,
1709
+ false,
1710
+ false,
1711
+ false,
1712
+ true
1713
+ ],
1714
+ [
1715
+ true,
1716
+ true,
1717
+ true,
1718
+ true,
1719
+ true,
1720
+ false,
1721
+ false,
1722
+ true,
1723
+ false,
1724
+ true,
1725
+ false,
1726
+ false,
1727
+ false,
1728
+ false,
1729
+ false,
1730
+ false,
1731
+ false,
1732
+ false,
1733
+ false,
1734
+ false,
1735
+ false,
1736
+ false,
1737
+ false,
1738
+ false,
1739
+ false,
1740
+ false,
1741
+ false,
1742
+ false,
1743
+ false,
1744
+ false,
1745
+ false,
1746
+ false,
1747
+ false,
1748
+ false,
1749
+ false,
1750
+ false,
1751
+ true
1752
+ ],
1753
+ [
1754
+ true,
1755
+ true,
1756
+ true,
1757
+ true,
1758
+ true,
1759
+ true,
1760
+ false,
1761
+ false,
1762
+ false,
1763
+ false,
1764
+ false,
1765
+ false,
1766
+ true,
1767
+ true,
1768
+ false,
1769
+ false,
1770
+ false,
1771
+ false,
1772
+ false,
1773
+ false,
1774
+ false,
1775
+ true,
1776
+ true,
1777
+ false,
1778
+ true,
1779
+ false,
1780
+ false,
1781
+ false,
1782
+ true,
1783
+ false,
1784
+ false,
1785
+ false,
1786
+ false,
1787
+ true,
1788
+ true,
1789
+ false,
1790
+ true
1791
+ ],
1792
+ [
1793
+ true,
1794
+ true,
1795
+ true,
1796
+ true,
1797
+ true,
1798
+ true,
1799
+ false,
1800
+ false,
1801
+ false,
1802
+ false,
1803
+ false,
1804
+ false,
1805
+ true,
1806
+ true,
1807
+ false,
1808
+ false,
1809
+ false,
1810
+ false,
1811
+ false,
1812
+ false,
1813
+ true,
1814
+ true,
1815
+ false,
1816
+ false,
1817
+ false,
1818
+ false,
1819
+ false,
1820
+ false,
1821
+ false,
1822
+ false,
1823
+ false,
1824
+ true,
1825
+ true,
1826
+ false,
1827
+ false,
1828
+ false,
1829
+ true
1830
+ ],
1831
+ [
1832
+ true,
1833
+ true,
1834
+ true,
1835
+ true,
1836
+ true,
1837
+ false,
1838
+ true,
1839
+ true,
1840
+ false,
1841
+ false,
1842
+ false,
1843
+ false,
1844
+ false,
1845
+ false,
1846
+ false,
1847
+ false,
1848
+ false,
1849
+ false,
1850
+ false,
1851
+ false,
1852
+ false,
1853
+ false,
1854
+ false,
1855
+ false,
1856
+ false,
1857
+ false,
1858
+ false,
1859
+ false,
1860
+ false,
1861
+ false,
1862
+ false,
1863
+ false,
1864
+ false,
1865
+ false,
1866
+ false,
1867
+ false,
1868
+ true
1869
+ ],
1870
+ [
1871
+ false,
1872
+ false,
1873
+ false,
1874
+ false,
1875
+ false,
1876
+ false,
1877
+ false,
1878
+ false,
1879
+ false,
1880
+ false,
1881
+ false,
1882
+ false,
1883
+ false,
1884
+ false,
1885
+ false,
1886
+ false,
1887
+ false,
1888
+ false,
1889
+ false,
1890
+ false,
1891
+ false,
1892
+ false,
1893
+ false,
1894
+ false,
1895
+ false,
1896
+ false,
1897
+ false,
1898
+ false,
1899
+ false,
1900
+ false,
1901
+ false,
1902
+ false,
1903
+ false,
1904
+ false,
1905
+ false,
1906
+ false,
1907
+ false
1908
+ ],
1909
+ [
1910
+ true,
1911
+ true,
1912
+ true,
1913
+ true,
1914
+ true,
1915
+ true,
1916
+ true,
1917
+ true,
1918
+ true,
1919
+ true,
1920
+ true,
1921
+ true,
1922
+ true,
1923
+ true,
1924
+ true,
1925
+ true,
1926
+ true,
1927
+ true,
1928
+ true,
1929
+ true,
1930
+ true,
1931
+ true,
1932
+ false,
1933
+ false,
1934
+ false,
1935
+ false,
1936
+ false,
1937
+ false,
1938
+ false,
1939
+ false,
1940
+ false,
1941
+ false,
1942
+ false,
1943
+ false,
1944
+ false,
1945
+ false,
1946
+ true
1947
+ ],
1948
+ [
1949
+ true,
1950
+ true,
1951
+ true,
1952
+ true,
1953
+ true,
1954
+ true,
1955
+ true,
1956
+ true,
1957
+ true,
1958
+ true,
1959
+ true,
1960
+ true,
1961
+ false,
1962
+ false,
1963
+ false,
1964
+ false,
1965
+ false,
1966
+ false,
1967
+ false,
1968
+ false,
1969
+ false,
1970
+ false,
1971
+ false,
1972
+ false,
1973
+ true,
1974
+ true,
1975
+ true,
1976
+ true,
1977
+ true,
1978
+ true,
1979
+ true,
1980
+ true,
1981
+ false,
1982
+ false,
1983
+ false,
1984
+ false,
1985
+ true
1986
+ ],
1987
+ [
1988
+ true,
1989
+ true,
1990
+ true,
1991
+ true,
1992
+ true,
1993
+ true,
1994
+ true,
1995
+ true,
1996
+ true,
1997
+ true,
1998
+ true,
1999
+ true,
2000
+ true,
2001
+ true,
2002
+ true,
2003
+ true,
2004
+ true,
2005
+ true,
2006
+ true,
2007
+ true,
2008
+ true,
2009
+ false,
2010
+ true,
2011
+ true,
2012
+ false,
2013
+ false,
2014
+ false,
2015
+ false,
2016
+ false,
2017
+ false,
2018
+ false,
2019
+ false,
2020
+ false,
2021
+ false,
2022
+ false,
2023
+ false,
2024
+ true
2025
+ ],
2026
+ [
2027
+ true,
2028
+ true,
2029
+ true,
2030
+ true,
2031
+ true,
2032
+ true,
2033
+ true,
2034
+ true,
2035
+ true,
2036
+ true,
2037
+ true,
2038
+ true,
2039
+ false,
2040
+ false,
2041
+ false,
2042
+ false,
2043
+ false,
2044
+ false,
2045
+ false,
2046
+ false,
2047
+ false,
2048
+ false,
2049
+ false,
2050
+ false,
2051
+ true,
2052
+ true,
2053
+ true,
2054
+ true,
2055
+ true,
2056
+ true,
2057
+ true,
2058
+ false,
2059
+ true,
2060
+ false,
2061
+ false,
2062
+ false,
2063
+ true
2064
+ ],
2065
+ [
2066
+ true,
2067
+ true,
2068
+ true,
2069
+ true,
2070
+ true,
2071
+ true,
2072
+ true,
2073
+ true,
2074
+ true,
2075
+ true,
2076
+ true,
2077
+ true,
2078
+ false,
2079
+ false,
2080
+ false,
2081
+ false,
2082
+ false,
2083
+ false,
2084
+ false,
2085
+ false,
2086
+ false,
2087
+ false,
2088
+ false,
2089
+ false,
2090
+ false,
2091
+ false,
2092
+ false,
2093
+ false,
2094
+ false,
2095
+ false,
2096
+ false,
2097
+ false,
2098
+ false,
2099
+ false,
2100
+ false,
2101
+ false,
2102
+ false
2103
+ ],
2104
+ [
2105
+ true,
2106
+ true,
2107
+ true,
2108
+ false,
2109
+ true,
2110
+ true,
2111
+ true,
2112
+ true,
2113
+ true,
2114
+ true,
2115
+ true,
2116
+ true,
2117
+ true,
2118
+ true,
2119
+ true,
2120
+ true,
2121
+ true,
2122
+ true,
2123
+ true,
2124
+ true,
2125
+ true,
2126
+ true,
2127
+ false,
2128
+ false,
2129
+ false,
2130
+ false,
2131
+ false,
2132
+ false,
2133
+ false,
2134
+ false,
2135
+ false,
2136
+ false,
2137
+ false,
2138
+ false,
2139
+ false,
2140
+ false,
2141
+ true
2142
+ ],
2143
+ [
2144
+ true,
2145
+ true,
2146
+ true,
2147
+ false,
2148
+ true,
2149
+ true,
2150
+ true,
2151
+ true,
2152
+ true,
2153
+ true,
2154
+ true,
2155
+ true,
2156
+ false,
2157
+ false,
2158
+ false,
2159
+ false,
2160
+ false,
2161
+ false,
2162
+ false,
2163
+ false,
2164
+ false,
2165
+ false,
2166
+ false,
2167
+ false,
2168
+ true,
2169
+ true,
2170
+ true,
2171
+ true,
2172
+ true,
2173
+ true,
2174
+ true,
2175
+ true,
2176
+ false,
2177
+ false,
2178
+ false,
2179
+ false,
2180
+ true
2181
+ ],
2182
+ [
2183
+ true,
2184
+ true,
2185
+ true,
2186
+ false,
2187
+ true,
2188
+ true,
2189
+ true,
2190
+ true,
2191
+ true,
2192
+ true,
2193
+ true,
2194
+ true,
2195
+ true,
2196
+ true,
2197
+ true,
2198
+ true,
2199
+ true,
2200
+ true,
2201
+ true,
2202
+ true,
2203
+ true,
2204
+ false,
2205
+ true,
2206
+ true,
2207
+ false,
2208
+ false,
2209
+ false,
2210
+ false,
2211
+ false,
2212
+ false,
2213
+ false,
2214
+ false,
2215
+ false,
2216
+ false,
2217
+ false,
2218
+ false,
2219
+ true
2220
+ ],
2221
+ [
2222
+ true,
2223
+ true,
2224
+ true,
2225
+ false,
2226
+ true,
2227
+ true,
2228
+ true,
2229
+ true,
2230
+ true,
2231
+ true,
2232
+ true,
2233
+ true,
2234
+ false,
2235
+ false,
2236
+ false,
2237
+ false,
2238
+ false,
2239
+ false,
2240
+ false,
2241
+ false,
2242
+ false,
2243
+ false,
2244
+ false,
2245
+ false,
2246
+ true,
2247
+ true,
2248
+ true,
2249
+ true,
2250
+ true,
2251
+ true,
2252
+ true,
2253
+ false,
2254
+ true,
2255
+ true,
2256
+ false,
2257
+ false,
2258
+ true
2259
+ ],
2260
+ [
2261
+ true,
2262
+ true,
2263
+ true,
2264
+ false,
2265
+ true,
2266
+ true,
2267
+ true,
2268
+ true,
2269
+ true,
2270
+ true,
2271
+ true,
2272
+ true,
2273
+ false,
2274
+ false,
2275
+ false,
2276
+ false,
2277
+ false,
2278
+ false,
2279
+ false,
2280
+ false,
2281
+ false,
2282
+ false,
2283
+ false,
2284
+ false,
2285
+ false,
2286
+ false,
2287
+ false,
2288
+ false,
2289
+ false,
2290
+ false,
2291
+ false,
2292
+ false,
2293
+ false,
2294
+ false,
2295
+ false,
2296
+ false,
2297
+ false
2298
+ ],
2299
+ [
2300
+ false,
2301
+ true,
2302
+ false,
2303
+ false,
2304
+ false,
2305
+ false,
2306
+ false,
2307
+ false,
2308
+ false,
2309
+ false,
2310
+ false,
2311
+ false,
2312
+ false,
2313
+ false,
2314
+ false,
2315
+ false,
2316
+ false,
2317
+ false,
2318
+ false,
2319
+ false,
2320
+ false,
2321
+ false,
2322
+ false,
2323
+ false,
2324
+ false,
2325
+ false,
2326
+ false,
2327
+ false,
2328
+ false,
2329
+ false,
2330
+ false,
2331
+ false,
2332
+ false,
2333
+ false,
2334
+ false,
2335
+ false,
2336
+ false
2337
+ ],
2338
+ [
2339
+ false,
2340
+ false,
2341
+ false,
2342
+ false,
2343
+ false,
2344
+ false,
2345
+ false,
2346
+ false,
2347
+ false,
2348
+ false,
2349
+ false,
2350
+ false,
2351
+ false,
2352
+ false,
2353
+ false,
2354
+ false,
2355
+ false,
2356
+ false,
2357
+ false,
2358
+ false,
2359
+ false,
2360
+ false,
2361
+ false,
2362
+ false,
2363
+ false,
2364
+ false,
2365
+ false,
2366
+ false,
2367
+ false,
2368
+ false,
2369
+ false,
2370
+ false,
2371
+ false,
2372
+ false,
2373
+ false,
2374
+ false,
2375
+ false
2376
+ ],
2377
+ [
2378
+ true,
2379
+ true,
2380
+ true,
2381
+ true,
2382
+ true,
2383
+ false,
2384
+ false,
2385
+ true,
2386
+ true,
2387
+ false,
2388
+ false,
2389
+ false,
2390
+ false,
2391
+ false,
2392
+ false,
2393
+ false,
2394
+ false,
2395
+ false,
2396
+ false,
2397
+ false,
2398
+ false,
2399
+ false,
2400
+ false,
2401
+ false,
2402
+ true,
2403
+ false,
2404
+ false,
2405
+ false,
2406
+ true,
2407
+ true,
2408
+ false,
2409
+ false,
2410
+ false,
2411
+ false,
2412
+ false,
2413
+ false,
2414
+ true
2415
+ ],
2416
+ [
2417
+ true,
2418
+ true,
2419
+ true,
2420
+ true,
2421
+ true,
2422
+ false,
2423
+ false,
2424
+ true,
2425
+ false,
2426
+ true,
2427
+ false,
2428
+ false,
2429
+ false,
2430
+ false,
2431
+ false,
2432
+ true,
2433
+ false,
2434
+ false,
2435
+ false,
2436
+ false,
2437
+ false,
2438
+ false,
2439
+ false,
2440
+ false,
2441
+ false,
2442
+ false,
2443
+ true,
2444
+ false,
2445
+ false,
2446
+ true,
2447
+ false,
2448
+ false,
2449
+ false,
2450
+ false,
2451
+ true,
2452
+ false,
2453
+ true
2454
+ ],
2455
+ [
2456
+ true,
2457
+ true,
2458
+ true,
2459
+ true,
2460
+ true,
2461
+ false,
2462
+ false,
2463
+ false,
2464
+ false,
2465
+ false,
2466
+ true,
2467
+ false,
2468
+ false,
2469
+ false,
2470
+ false,
2471
+ false,
2472
+ false,
2473
+ false,
2474
+ false,
2475
+ false,
2476
+ false,
2477
+ false,
2478
+ false,
2479
+ false,
2480
+ false,
2481
+ false,
2482
+ false,
2483
+ false,
2484
+ false,
2485
+ false,
2486
+ false,
2487
+ false,
2488
+ false,
2489
+ false,
2490
+ false,
2491
+ true,
2492
+ true
2493
+ ],
2494
+ [
2495
+ true,
2496
+ true,
2497
+ true,
2498
+ true,
2499
+ true,
2500
+ true,
2501
+ false,
2502
+ false,
2503
+ false,
2504
+ false,
2505
+ false,
2506
+ false,
2507
+ true,
2508
+ true,
2509
+ true,
2510
+ true,
2511
+ false,
2512
+ false,
2513
+ true,
2514
+ false,
2515
+ true,
2516
+ true,
2517
+ false,
2518
+ false,
2519
+ false,
2520
+ false,
2521
+ false,
2522
+ false,
2523
+ false,
2524
+ false,
2525
+ true,
2526
+ true,
2527
+ true,
2528
+ false,
2529
+ false,
2530
+ false,
2531
+ true
2532
+ ],
2533
+ [
2534
+ true,
2535
+ true,
2536
+ true,
2537
+ true,
2538
+ true,
2539
+ false,
2540
+ false,
2541
+ false,
2542
+ false,
2543
+ false,
2544
+ true,
2545
+ false,
2546
+ false,
2547
+ false,
2548
+ false,
2549
+ false,
2550
+ false,
2551
+ false,
2552
+ true,
2553
+ true,
2554
+ false,
2555
+ false,
2556
+ false,
2557
+ false,
2558
+ false,
2559
+ false,
2560
+ false,
2561
+ false,
2562
+ false,
2563
+ false,
2564
+ false,
2565
+ true,
2566
+ true,
2567
+ false,
2568
+ false,
2569
+ false,
2570
+ true
2571
+ ],
2572
+ [
2573
+ true,
2574
+ true,
2575
+ true,
2576
+ true,
2577
+ true,
2578
+ true,
2579
+ false,
2580
+ false,
2581
+ false,
2582
+ false,
2583
+ false,
2584
+ true,
2585
+ false,
2586
+ false,
2587
+ true,
2588
+ false,
2589
+ false,
2590
+ false,
2591
+ false,
2592
+ true,
2593
+ false,
2594
+ false,
2595
+ false,
2596
+ false,
2597
+ false,
2598
+ false,
2599
+ false,
2600
+ false,
2601
+ false,
2602
+ true,
2603
+ true,
2604
+ false,
2605
+ false,
2606
+ false,
2607
+ false,
2608
+ true,
2609
+ true
2610
+ ],
2611
+ [
2612
+ true,
2613
+ true,
2614
+ true,
2615
+ true,
2616
+ true,
2617
+ true,
2618
+ true,
2619
+ false,
2620
+ true,
2621
+ true,
2622
+ true,
2623
+ true,
2624
+ false,
2625
+ false,
2626
+ true,
2627
+ false,
2628
+ false,
2629
+ true,
2630
+ true,
2631
+ true,
2632
+ false,
2633
+ false,
2634
+ false,
2635
+ false,
2636
+ true,
2637
+ true,
2638
+ true,
2639
+ true,
2640
+ true,
2641
+ true,
2642
+ false,
2643
+ true,
2644
+ false,
2645
+ true,
2646
+ false,
2647
+ true,
2648
+ true
2649
+ ],
2650
+ [
2651
+ true,
2652
+ true,
2653
+ true,
2654
+ true,
2655
+ true,
2656
+ false,
2657
+ false,
2658
+ false,
2659
+ false,
2660
+ false,
2661
+ true,
2662
+ false,
2663
+ false,
2664
+ false,
2665
+ false,
2666
+ false,
2667
+ true,
2668
+ true,
2669
+ false,
2670
+ false,
2671
+ false,
2672
+ false,
2673
+ false,
2674
+ false,
2675
+ false,
2676
+ false,
2677
+ false,
2678
+ false,
2679
+ false,
2680
+ false,
2681
+ false,
2682
+ false,
2683
+ false,
2684
+ false,
2685
+ false,
2686
+ false,
2687
+ true
2688
+ ],
2689
+ [
2690
+ true,
2691
+ true,
2692
+ true,
2693
+ true,
2694
+ true,
2695
+ true,
2696
+ false,
2697
+ false,
2698
+ false,
2699
+ false,
2700
+ false,
2701
+ false,
2702
+ false,
2703
+ true,
2704
+ true,
2705
+ false,
2706
+ false,
2707
+ false,
2708
+ false,
2709
+ false,
2710
+ true,
2711
+ false,
2712
+ false,
2713
+ false,
2714
+ false,
2715
+ true,
2716
+ false,
2717
+ false,
2718
+ false,
2719
+ false,
2720
+ false,
2721
+ false,
2722
+ true,
2723
+ false,
2724
+ false,
2725
+ false,
2726
+ true
2727
+ ],
2728
+ [
2729
+ true,
2730
+ true,
2731
+ true,
2732
+ true,
2733
+ true,
2734
+ true,
2735
+ true,
2736
+ false,
2737
+ false,
2738
+ false,
2739
+ false,
2740
+ true,
2741
+ false,
2742
+ false,
2743
+ false,
2744
+ false,
2745
+ false,
2746
+ false,
2747
+ false,
2748
+ true,
2749
+ false,
2750
+ false,
2751
+ false,
2752
+ false,
2753
+ false,
2754
+ false,
2755
+ true,
2756
+ false,
2757
+ false,
2758
+ false,
2759
+ false,
2760
+ true,
2761
+ false,
2762
+ false,
2763
+ false,
2764
+ true,
2765
+ true
2766
+ ],
2767
+ [
2768
+ true,
2769
+ true,
2770
+ true,
2771
+ true,
2772
+ true,
2773
+ true,
2774
+ false,
2775
+ false,
2776
+ false,
2777
+ false,
2778
+ false,
2779
+ true,
2780
+ false,
2781
+ false,
2782
+ false,
2783
+ false,
2784
+ true,
2785
+ false,
2786
+ false,
2787
+ false,
2788
+ false,
2789
+ false,
2790
+ false,
2791
+ false,
2792
+ false,
2793
+ false,
2794
+ false,
2795
+ false,
2796
+ false,
2797
+ false,
2798
+ false,
2799
+ false,
2800
+ false,
2801
+ false,
2802
+ false,
2803
+ false,
2804
+ true
2805
+ ],
2806
+ [
2807
+ true,
2808
+ true,
2809
+ true,
2810
+ true,
2811
+ true,
2812
+ true,
2813
+ false,
2814
+ false,
2815
+ false,
2816
+ false,
2817
+ false,
2818
+ true,
2819
+ false,
2820
+ false,
2821
+ false,
2822
+ false,
2823
+ false,
2824
+ false,
2825
+ false,
2826
+ true,
2827
+ false,
2828
+ false,
2829
+ false,
2830
+ false,
2831
+ false,
2832
+ false,
2833
+ false,
2834
+ false,
2835
+ true,
2836
+ false,
2837
+ false,
2838
+ false,
2839
+ false,
2840
+ false,
2841
+ true,
2842
+ true,
2843
+ true
2844
+ ],
2845
+ [
2846
+ true,
2847
+ true,
2848
+ true,
2849
+ true,
2850
+ true,
2851
+ true,
2852
+ false,
2853
+ false,
2854
+ false,
2855
+ false,
2856
+ false,
2857
+ false,
2858
+ true,
2859
+ true,
2860
+ false,
2861
+ false,
2862
+ false,
2863
+ false,
2864
+ false,
2865
+ false,
2866
+ true,
2867
+ true,
2868
+ false,
2869
+ true,
2870
+ true,
2871
+ true,
2872
+ false,
2873
+ false,
2874
+ false,
2875
+ false,
2876
+ false,
2877
+ true,
2878
+ true,
2879
+ false,
2880
+ true,
2881
+ false,
2882
+ true
2883
+ ],
2884
+ [
2885
+ true,
2886
+ true,
2887
+ true,
2888
+ true,
2889
+ true,
2890
+ true,
2891
+ true,
2892
+ false,
2893
+ false,
2894
+ false,
2895
+ false,
2896
+ true,
2897
+ false,
2898
+ false,
2899
+ false,
2900
+ false,
2901
+ false,
2902
+ false,
2903
+ false,
2904
+ true,
2905
+ false,
2906
+ false,
2907
+ false,
2908
+ false,
2909
+ false,
2910
+ false,
2911
+ true,
2912
+ true,
2913
+ false,
2914
+ false,
2915
+ false,
2916
+ false,
2917
+ false,
2918
+ false,
2919
+ false,
2920
+ true,
2921
+ true
2922
+ ],
2923
+ [
2924
+ true,
2925
+ true,
2926
+ true,
2927
+ true,
2928
+ true,
2929
+ false,
2930
+ false,
2931
+ false,
2932
+ false,
2933
+ false,
2934
+ true,
2935
+ false,
2936
+ false,
2937
+ false,
2938
+ false,
2939
+ false,
2940
+ true,
2941
+ true,
2942
+ false,
2943
+ false,
2944
+ false,
2945
+ false,
2946
+ false,
2947
+ false,
2948
+ true,
2949
+ false,
2950
+ false,
2951
+ false,
2952
+ false,
2953
+ false,
2954
+ false,
2955
+ false,
2956
+ false,
2957
+ false,
2958
+ false,
2959
+ false,
2960
+ true
2961
+ ],
2962
+ [
2963
+ true,
2964
+ true,
2965
+ true,
2966
+ true,
2967
+ true,
2968
+ false,
2969
+ false,
2970
+ false,
2971
+ false,
2972
+ false,
2973
+ true,
2974
+ false,
2975
+ false,
2976
+ false,
2977
+ false,
2978
+ false,
2979
+ false,
2980
+ false,
2981
+ true,
2982
+ false,
2983
+ false,
2984
+ false,
2985
+ false,
2986
+ false,
2987
+ false,
2988
+ false,
2989
+ false,
2990
+ false,
2991
+ false,
2992
+ false,
2993
+ false,
2994
+ false,
2995
+ false,
2996
+ false,
2997
+ false,
2998
+ false,
2999
+ true
3000
+ ],
3001
+ [
3002
+ true,
3003
+ true,
3004
+ true,
3005
+ true,
3006
+ true,
3007
+ false,
3008
+ false,
3009
+ false,
3010
+ false,
3011
+ false,
3012
+ true,
3013
+ false,
3014
+ false,
3015
+ false,
3016
+ false,
3017
+ false,
3018
+ false,
3019
+ false,
3020
+ false,
3021
+ false,
3022
+ false,
3023
+ false,
3024
+ false,
3025
+ false,
3026
+ false,
3027
+ false,
3028
+ false,
3029
+ false,
3030
+ false,
3031
+ false,
3032
+ true,
3033
+ false,
3034
+ false,
3035
+ false,
3036
+ false,
3037
+ false,
3038
+ true
3039
+ ],
3040
+ [
3041
+ true,
3042
+ true,
3043
+ true,
3044
+ true,
3045
+ true,
3046
+ false,
3047
+ true,
3048
+ false,
3049
+ false,
3050
+ false,
3051
+ true,
3052
+ false,
3053
+ false,
3054
+ false,
3055
+ false,
3056
+ false,
3057
+ false,
3058
+ false,
3059
+ false,
3060
+ false,
3061
+ true,
3062
+ true,
3063
+ false,
3064
+ false,
3065
+ false,
3066
+ false,
3067
+ false,
3068
+ false,
3069
+ false,
3070
+ false,
3071
+ false,
3072
+ false,
3073
+ false,
3074
+ false,
3075
+ false,
3076
+ false,
3077
+ true
3078
+ ],
3079
+ [
3080
+ true,
3081
+ true,
3082
+ true,
3083
+ false,
3084
+ true,
3085
+ false,
3086
+ false,
3087
+ false,
3088
+ false,
3089
+ false,
3090
+ false,
3091
+ false,
3092
+ false,
3093
+ false,
3094
+ false,
3095
+ false,
3096
+ false,
3097
+ false,
3098
+ false,
3099
+ false,
3100
+ false,
3101
+ false,
3102
+ false,
3103
+ false,
3104
+ false,
3105
+ false,
3106
+ true,
3107
+ false,
3108
+ false,
3109
+ true,
3110
+ false,
3111
+ false,
3112
+ false,
3113
+ false,
3114
+ false,
3115
+ false,
3116
+ true
3117
+ ],
3118
+ [
3119
+ true,
3120
+ true,
3121
+ true,
3122
+ true,
3123
+ true,
3124
+ true,
3125
+ false,
3126
+ false,
3127
+ false,
3128
+ true,
3129
+ false,
3130
+ false,
3131
+ false,
3132
+ false,
3133
+ false,
3134
+ false,
3135
+ true,
3136
+ true,
3137
+ false,
3138
+ false,
3139
+ false,
3140
+ false,
3141
+ false,
3142
+ false,
3143
+ false,
3144
+ true,
3145
+ false,
3146
+ false,
3147
+ false,
3148
+ false,
3149
+ false,
3150
+ false,
3151
+ false,
3152
+ false,
3153
+ false,
3154
+ false,
3155
+ true
3156
+ ],
3157
+ [
3158
+ true,
3159
+ true,
3160
+ true,
3161
+ true,
3162
+ true,
3163
+ true,
3164
+ false,
3165
+ false,
3166
+ false,
3167
+ false,
3168
+ false,
3169
+ true,
3170
+ false,
3171
+ false,
3172
+ false,
3173
+ false,
3174
+ false,
3175
+ false,
3176
+ false,
3177
+ true,
3178
+ false,
3179
+ false,
3180
+ false,
3181
+ false,
3182
+ false,
3183
+ false,
3184
+ false,
3185
+ false,
3186
+ true,
3187
+ false,
3188
+ false,
3189
+ false,
3190
+ false,
3191
+ false,
3192
+ false,
3193
+ true,
3194
+ true
3195
+ ],
3196
+ [
3197
+ true,
3198
+ true,
3199
+ true,
3200
+ true,
3201
+ true,
3202
+ true,
3203
+ false,
3204
+ false,
3205
+ false,
3206
+ false,
3207
+ false,
3208
+ true,
3209
+ false,
3210
+ false,
3211
+ false,
3212
+ false,
3213
+ false,
3214
+ false,
3215
+ false,
3216
+ true,
3217
+ false,
3218
+ false,
3219
+ false,
3220
+ false,
3221
+ false,
3222
+ false,
3223
+ false,
3224
+ false,
3225
+ false,
3226
+ false,
3227
+ false,
3228
+ false,
3229
+ false,
3230
+ false,
3231
+ false,
3232
+ false,
3233
+ true
3234
+ ],
3235
+ [
3236
+ true,
3237
+ true,
3238
+ true,
3239
+ true,
3240
+ true,
3241
+ true,
3242
+ false,
3243
+ false,
3244
+ false,
3245
+ false,
3246
+ false,
3247
+ true,
3248
+ false,
3249
+ false,
3250
+ false,
3251
+ false,
3252
+ false,
3253
+ false,
3254
+ false,
3255
+ true,
3256
+ false,
3257
+ false,
3258
+ false,
3259
+ false,
3260
+ false,
3261
+ true,
3262
+ true,
3263
+ false,
3264
+ false,
3265
+ false,
3266
+ false,
3267
+ false,
3268
+ false,
3269
+ false,
3270
+ false,
3271
+ false,
3272
+ true
3273
+ ],
3274
+ [
3275
+ true,
3276
+ true,
3277
+ true,
3278
+ true,
3279
+ true,
3280
+ true,
3281
+ false,
3282
+ false,
3283
+ false,
3284
+ false,
3285
+ false,
3286
+ true,
3287
+ false,
3288
+ false,
3289
+ false,
3290
+ false,
3291
+ false,
3292
+ false,
3293
+ true,
3294
+ false,
3295
+ false,
3296
+ false,
3297
+ false,
3298
+ true,
3299
+ true,
3300
+ false,
3301
+ false,
3302
+ false,
3303
+ false,
3304
+ true,
3305
+ true,
3306
+ false,
3307
+ true,
3308
+ false,
3309
+ false,
3310
+ false,
3311
+ true
3312
+ ],
3313
+ [
3314
+ true,
3315
+ true,
3316
+ true,
3317
+ true,
3318
+ true,
3319
+ true,
3320
+ false,
3321
+ false,
3322
+ true,
3323
+ false,
3324
+ false,
3325
+ true,
3326
+ false,
3327
+ false,
3328
+ false,
3329
+ false,
3330
+ false,
3331
+ false,
3332
+ false,
3333
+ false,
3334
+ false,
3335
+ false,
3336
+ false,
3337
+ true,
3338
+ false,
3339
+ false,
3340
+ false,
3341
+ false,
3342
+ false,
3343
+ true,
3344
+ true,
3345
+ false,
3346
+ true,
3347
+ false,
3348
+ false,
3349
+ false,
3350
+ true
3351
+ ],
3352
+ [
3353
+ true,
3354
+ true,
3355
+ true,
3356
+ true,
3357
+ true,
3358
+ true,
3359
+ false,
3360
+ false,
3361
+ true,
3362
+ false,
3363
+ false,
3364
+ false,
3365
+ false,
3366
+ false,
3367
+ false,
3368
+ false,
3369
+ true,
3370
+ true,
3371
+ false,
3372
+ false,
3373
+ false,
3374
+ false,
3375
+ false,
3376
+ false,
3377
+ false,
3378
+ false,
3379
+ false,
3380
+ false,
3381
+ false,
3382
+ false,
3383
+ true,
3384
+ false,
3385
+ false,
3386
+ false,
3387
+ false,
3388
+ false,
3389
+ true
3390
+ ],
3391
+ [
3392
+ true,
3393
+ true,
3394
+ true,
3395
+ true,
3396
+ true,
3397
+ true,
3398
+ false,
3399
+ false,
3400
+ false,
3401
+ false,
3402
+ false,
3403
+ false,
3404
+ false,
3405
+ false,
3406
+ false,
3407
+ false,
3408
+ false,
3409
+ false,
3410
+ false,
3411
+ false,
3412
+ false,
3413
+ false,
3414
+ false,
3415
+ false,
3416
+ false,
3417
+ false,
3418
+ false,
3419
+ false,
3420
+ false,
3421
+ false,
3422
+ false,
3423
+ false,
3424
+ false,
3425
+ false,
3426
+ false,
3427
+ false,
3428
+ true
3429
+ ],
3430
+ [
3431
+ true,
3432
+ true,
3433
+ true,
3434
+ true,
3435
+ true,
3436
+ false,
3437
+ false,
3438
+ false,
3439
+ false,
3440
+ false,
3441
+ true,
3442
+ true,
3443
+ false,
3444
+ false,
3445
+ false,
3446
+ false,
3447
+ false,
3448
+ false,
3449
+ false,
3450
+ true,
3451
+ false,
3452
+ false,
3453
+ false,
3454
+ false,
3455
+ false,
3456
+ false,
3457
+ false,
3458
+ false,
3459
+ false,
3460
+ true,
3461
+ false,
3462
+ false,
3463
+ false,
3464
+ false,
3465
+ true,
3466
+ false,
3467
+ true
3468
+ ],
3469
+ [
3470
+ true,
3471
+ true,
3472
+ true,
3473
+ true,
3474
+ true,
3475
+ true,
3476
+ false,
3477
+ false,
3478
+ false,
3479
+ false,
3480
+ false,
3481
+ true,
3482
+ false,
3483
+ false,
3484
+ false,
3485
+ false,
3486
+ false,
3487
+ false,
3488
+ false,
3489
+ false,
3490
+ false,
3491
+ false,
3492
+ false,
3493
+ true,
3494
+ false,
3495
+ false,
3496
+ false,
3497
+ false,
3498
+ false,
3499
+ false,
3500
+ false,
3501
+ false,
3502
+ false,
3503
+ false,
3504
+ false,
3505
+ false,
3506
+ true
3507
+ ],
3508
+ [
3509
+ true,
3510
+ true,
3511
+ true,
3512
+ true,
3513
+ true,
3514
+ false,
3515
+ false,
3516
+ false,
3517
+ false,
3518
+ false,
3519
+ false,
3520
+ false,
3521
+ false,
3522
+ false,
3523
+ false,
3524
+ true,
3525
+ false,
3526
+ false,
3527
+ false,
3528
+ false,
3529
+ false,
3530
+ false,
3531
+ false,
3532
+ false,
3533
+ false,
3534
+ false,
3535
+ false,
3536
+ false,
3537
+ false,
3538
+ false,
3539
+ false,
3540
+ false,
3541
+ false,
3542
+ false,
3543
+ false,
3544
+ false,
3545
+ true
3546
+ ],
3547
+ [
3548
+ true,
3549
+ true,
3550
+ true,
3551
+ true,
3552
+ true,
3553
+ true,
3554
+ false,
3555
+ false,
3556
+ false,
3557
+ false,
3558
+ false,
3559
+ false,
3560
+ false,
3561
+ false,
3562
+ false,
3563
+ true,
3564
+ true,
3565
+ false,
3566
+ false,
3567
+ false,
3568
+ false,
3569
+ true,
3570
+ false,
3571
+ false,
3572
+ false,
3573
+ false,
3574
+ false,
3575
+ false,
3576
+ false,
3577
+ false,
3578
+ false,
3579
+ false,
3580
+ false,
3581
+ false,
3582
+ false,
3583
+ false,
3584
+ true
3585
+ ],
3586
+ [
3587
+ true,
3588
+ true,
3589
+ true,
3590
+ true,
3591
+ true,
3592
+ true,
3593
+ false,
3594
+ false,
3595
+ false,
3596
+ false,
3597
+ false,
3598
+ false,
3599
+ true,
3600
+ true,
3601
+ true,
3602
+ false,
3603
+ false,
3604
+ false,
3605
+ false,
3606
+ false,
3607
+ false,
3608
+ false,
3609
+ true,
3610
+ true,
3611
+ false,
3612
+ false,
3613
+ false,
3614
+ false,
3615
+ false,
3616
+ false,
3617
+ false,
3618
+ false,
3619
+ false,
3620
+ false,
3621
+ true,
3622
+ false,
3623
+ true
3624
+ ],
3625
+ [
3626
+ true,
3627
+ true,
3628
+ true,
3629
+ true,
3630
+ true,
3631
+ true,
3632
+ false,
3633
+ false,
3634
+ true,
3635
+ false,
3636
+ false,
3637
+ true,
3638
+ false,
3639
+ false,
3640
+ false,
3641
+ true,
3642
+ false,
3643
+ false,
3644
+ false,
3645
+ true,
3646
+ false,
3647
+ false,
3648
+ true,
3649
+ false,
3650
+ false,
3651
+ false,
3652
+ false,
3653
+ false,
3654
+ true,
3655
+ false,
3656
+ false,
3657
+ false,
3658
+ false,
3659
+ true,
3660
+ false,
3661
+ true,
3662
+ true
3663
+ ],
3664
+ [
3665
+ true,
3666
+ true,
3667
+ true,
3668
+ true,
3669
+ true,
3670
+ true,
3671
+ true,
3672
+ false,
3673
+ false,
3674
+ false,
3675
+ false,
3676
+ false,
3677
+ false,
3678
+ false,
3679
+ false,
3680
+ false,
3681
+ true,
3682
+ true,
3683
+ false,
3684
+ false,
3685
+ false,
3686
+ false,
3687
+ false,
3688
+ false,
3689
+ false,
3690
+ true,
3691
+ false,
3692
+ false,
3693
+ false,
3694
+ false,
3695
+ false,
3696
+ false,
3697
+ false,
3698
+ true,
3699
+ true,
3700
+ false,
3701
+ true
3702
+ ],
3703
+ [
3704
+ true,
3705
+ true,
3706
+ true,
3707
+ true,
3708
+ true,
3709
+ false,
3710
+ false,
3711
+ false,
3712
+ true,
3713
+ false,
3714
+ true,
3715
+ false,
3716
+ false,
3717
+ false,
3718
+ false,
3719
+ false,
3720
+ false,
3721
+ false,
3722
+ false,
3723
+ false,
3724
+ false,
3725
+ false,
3726
+ false,
3727
+ false,
3728
+ false,
3729
+ false,
3730
+ false,
3731
+ false,
3732
+ false,
3733
+ false,
3734
+ false,
3735
+ false,
3736
+ false,
3737
+ false,
3738
+ false,
3739
+ false,
3740
+ true
3741
+ ],
3742
+ [
3743
+ true,
3744
+ true,
3745
+ true,
3746
+ true,
3747
+ true,
3748
+ true,
3749
+ false,
3750
+ false,
3751
+ false,
3752
+ false,
3753
+ false,
3754
+ false,
3755
+ false,
3756
+ true,
3757
+ true,
3758
+ false,
3759
+ false,
3760
+ true,
3761
+ false,
3762
+ false,
3763
+ true,
3764
+ false,
3765
+ false,
3766
+ false,
3767
+ false,
3768
+ true,
3769
+ false,
3770
+ false,
3771
+ false,
3772
+ false,
3773
+ false,
3774
+ false,
3775
+ false,
3776
+ false,
3777
+ false,
3778
+ false,
3779
+ true
3780
+ ],
3781
+ [
3782
+ true,
3783
+ true,
3784
+ true,
3785
+ true,
3786
+ true,
3787
+ false,
3788
+ false,
3789
+ false,
3790
+ true,
3791
+ false,
3792
+ false,
3793
+ false,
3794
+ false,
3795
+ false,
3796
+ false,
3797
+ false,
3798
+ true,
3799
+ true,
3800
+ false,
3801
+ false,
3802
+ false,
3803
+ false,
3804
+ true,
3805
+ false,
3806
+ false,
3807
+ false,
3808
+ false,
3809
+ true,
3810
+ true,
3811
+ false,
3812
+ true,
3813
+ false,
3814
+ false,
3815
+ true,
3816
+ false,
3817
+ true,
3818
+ true
3819
+ ],
3820
+ [
3821
+ true,
3822
+ true,
3823
+ true,
3824
+ true,
3825
+ true,
3826
+ true,
3827
+ false,
3828
+ false,
3829
+ false,
3830
+ true,
3831
+ false,
3832
+ false,
3833
+ false,
3834
+ true,
3835
+ true,
3836
+ true,
3837
+ false,
3838
+ false,
3839
+ false,
3840
+ false,
3841
+ true,
3842
+ false,
3843
+ false,
3844
+ true,
3845
+ false,
3846
+ true,
3847
+ false,
3848
+ false,
3849
+ false,
3850
+ false,
3851
+ false,
3852
+ true,
3853
+ false,
3854
+ false,
3855
+ false,
3856
+ false,
3857
+ true
3858
+ ],
3859
+ [
3860
+ true,
3861
+ true,
3862
+ true,
3863
+ true,
3864
+ true,
3865
+ true,
3866
+ false,
3867
+ false,
3868
+ false,
3869
+ false,
3870
+ false,
3871
+ true,
3872
+ false,
3873
+ false,
3874
+ false,
3875
+ true,
3876
+ false,
3877
+ false,
3878
+ false,
3879
+ true,
3880
+ false,
3881
+ false,
3882
+ false,
3883
+ false,
3884
+ false,
3885
+ false,
3886
+ false,
3887
+ false,
3888
+ false,
3889
+ false,
3890
+ false,
3891
+ false,
3892
+ false,
3893
+ false,
3894
+ false,
3895
+ false,
3896
+ true
3897
+ ],
3898
+ [
3899
+ true,
3900
+ true,
3901
+ true,
3902
+ true,
3903
+ true,
3904
+ false,
3905
+ false,
3906
+ false,
3907
+ false,
3908
+ false,
3909
+ false,
3910
+ false,
3911
+ false,
3912
+ false,
3913
+ true,
3914
+ false,
3915
+ false,
3916
+ false,
3917
+ false,
3918
+ false,
3919
+ false,
3920
+ false,
3921
+ false,
3922
+ false,
3923
+ false,
3924
+ false,
3925
+ false,
3926
+ false,
3927
+ false,
3928
+ false,
3929
+ false,
3930
+ false,
3931
+ false,
3932
+ false,
3933
+ false,
3934
+ false,
3935
+ true
3936
+ ],
3937
+ [
3938
+ true,
3939
+ true,
3940
+ true,
3941
+ true,
3942
+ true,
3943
+ true,
3944
+ false,
3945
+ false,
3946
+ false,
3947
+ false,
3948
+ false,
3949
+ false,
3950
+ true,
3951
+ true,
3952
+ false,
3953
+ false,
3954
+ false,
3955
+ false,
3956
+ false,
3957
+ false,
3958
+ true,
3959
+ true,
3960
+ false,
3961
+ false,
3962
+ false,
3963
+ false,
3964
+ false,
3965
+ false,
3966
+ false,
3967
+ false,
3968
+ false,
3969
+ false,
3970
+ true,
3971
+ false,
3972
+ false,
3973
+ false,
3974
+ true
3975
+ ],
3976
+ [
3977
+ true,
3978
+ true,
3979
+ true,
3980
+ true,
3981
+ true,
3982
+ false,
3983
+ false,
3984
+ false,
3985
+ false,
3986
+ false,
3987
+ true,
3988
+ false,
3989
+ false,
3990
+ false,
3991
+ false,
3992
+ false,
3993
+ false,
3994
+ false,
3995
+ false,
3996
+ false,
3997
+ true,
3998
+ true,
3999
+ false,
4000
+ true,
4001
+ false,
4002
+ false,
4003
+ false,
4004
+ true,
4005
+ false,
4006
+ false,
4007
+ false,
4008
+ false,
4009
+ false,
4010
+ false,
4011
+ false,
4012
+ false,
4013
+ true
4014
+ ],
4015
+ [
4016
+ true,
4017
+ true,
4018
+ true,
4019
+ true,
4020
+ true,
4021
+ true,
4022
+ false,
4023
+ true,
4024
+ true,
4025
+ false,
4026
+ false,
4027
+ false,
4028
+ false,
4029
+ true,
4030
+ true,
4031
+ false,
4032
+ false,
4033
+ false,
4034
+ true,
4035
+ false,
4036
+ true,
4037
+ false,
4038
+ true,
4039
+ true,
4040
+ false,
4041
+ true,
4042
+ true,
4043
+ false,
4044
+ false,
4045
+ true,
4046
+ false,
4047
+ false,
4048
+ false,
4049
+ true,
4050
+ true,
4051
+ true,
4052
+ true
4053
+ ],
4054
+ [
4055
+ true,
4056
+ true,
4057
+ true,
4058
+ false,
4059
+ true,
4060
+ false,
4061
+ false,
4062
+ true,
4063
+ true,
4064
+ false,
4065
+ false,
4066
+ false,
4067
+ false,
4068
+ false,
4069
+ false,
4070
+ true,
4071
+ false,
4072
+ false,
4073
+ true,
4074
+ false,
4075
+ false,
4076
+ false,
4077
+ false,
4078
+ false,
4079
+ false,
4080
+ false,
4081
+ true,
4082
+ true,
4083
+ false,
4084
+ false,
4085
+ false,
4086
+ false,
4087
+ false,
4088
+ true,
4089
+ false,
4090
+ false,
4091
+ true
4092
+ ],
4093
+ [
4094
+ true,
4095
+ true,
4096
+ true,
4097
+ true,
4098
+ true,
4099
+ true,
4100
+ false,
4101
+ false,
4102
+ false,
4103
+ false,
4104
+ false,
4105
+ false,
4106
+ true,
4107
+ true,
4108
+ false,
4109
+ false,
4110
+ false,
4111
+ false,
4112
+ false,
4113
+ false,
4114
+ true,
4115
+ true,
4116
+ false,
4117
+ true,
4118
+ false,
4119
+ false,
4120
+ false,
4121
+ false,
4122
+ false,
4123
+ false,
4124
+ false,
4125
+ false,
4126
+ true,
4127
+ false,
4128
+ false,
4129
+ false,
4130
+ true
4131
+ ],
4132
+ [
4133
+ true,
4134
+ true,
4135
+ true,
4136
+ true,
4137
+ true,
4138
+ false,
4139
+ false,
4140
+ false,
4141
+ false,
4142
+ false,
4143
+ true,
4144
+ false,
4145
+ false,
4146
+ false,
4147
+ false,
4148
+ false,
4149
+ false,
4150
+ false,
4151
+ true,
4152
+ true,
4153
+ false,
4154
+ false,
4155
+ false,
4156
+ false,
4157
+ false,
4158
+ false,
4159
+ false,
4160
+ false,
4161
+ false,
4162
+ false,
4163
+ false,
4164
+ false,
4165
+ false,
4166
+ false,
4167
+ false,
4168
+ false,
4169
+ true
4170
+ ],
4171
+ [
4172
+ true,
4173
+ true,
4174
+ true,
4175
+ true,
4176
+ true,
4177
+ true,
4178
+ false,
4179
+ false,
4180
+ true,
4181
+ false,
4182
+ false,
4183
+ false,
4184
+ false,
4185
+ false,
4186
+ false,
4187
+ false,
4188
+ false,
4189
+ false,
4190
+ false,
4191
+ false,
4192
+ false,
4193
+ false,
4194
+ false,
4195
+ false,
4196
+ false,
4197
+ false,
4198
+ false,
4199
+ false,
4200
+ false,
4201
+ false,
4202
+ false,
4203
+ false,
4204
+ false,
4205
+ false,
4206
+ false,
4207
+ false,
4208
+ true
4209
+ ],
4210
+ [
4211
+ true,
4212
+ true,
4213
+ true,
4214
+ true,
4215
+ true,
4216
+ false,
4217
+ false,
4218
+ false,
4219
+ false,
4220
+ false,
4221
+ true,
4222
+ true,
4223
+ false,
4224
+ false,
4225
+ false,
4226
+ false,
4227
+ false,
4228
+ false,
4229
+ false,
4230
+ true,
4231
+ false,
4232
+ false,
4233
+ false,
4234
+ false,
4235
+ false,
4236
+ false,
4237
+ true,
4238
+ false,
4239
+ false,
4240
+ false,
4241
+ false,
4242
+ false,
4243
+ false,
4244
+ false,
4245
+ false,
4246
+ false,
4247
+ true
4248
+ ],
4249
+ [
4250
+ true,
4251
+ true,
4252
+ true,
4253
+ true,
4254
+ true,
4255
+ true,
4256
+ true,
4257
+ true,
4258
+ true,
4259
+ true,
4260
+ true,
4261
+ true,
4262
+ false,
4263
+ false,
4264
+ true,
4265
+ true,
4266
+ true,
4267
+ false,
4268
+ true,
4269
+ true,
4270
+ false,
4271
+ false,
4272
+ true,
4273
+ true,
4274
+ true,
4275
+ true,
4276
+ true,
4277
+ true,
4278
+ true,
4279
+ false,
4280
+ true,
4281
+ true,
4282
+ false,
4283
+ true,
4284
+ true,
4285
+ true,
4286
+ true
4287
+ ],
4288
+ [
4289
+ true,
4290
+ true,
4291
+ true,
4292
+ true,
4293
+ true,
4294
+ true,
4295
+ false,
4296
+ false,
4297
+ false,
4298
+ false,
4299
+ false,
4300
+ true,
4301
+ false,
4302
+ false,
4303
+ false,
4304
+ false,
4305
+ false,
4306
+ false,
4307
+ true,
4308
+ false,
4309
+ false,
4310
+ false,
4311
+ false,
4312
+ true,
4313
+ false,
4314
+ false,
4315
+ false,
4316
+ false,
4317
+ false,
4318
+ true,
4319
+ true,
4320
+ false,
4321
+ true,
4322
+ false,
4323
+ false,
4324
+ false,
4325
+ true
4326
+ ],
4327
+ [
4328
+ true,
4329
+ true,
4330
+ true,
4331
+ true,
4332
+ true,
4333
+ false,
4334
+ false,
4335
+ false,
4336
+ false,
4337
+ false,
4338
+ true,
4339
+ false,
4340
+ false,
4341
+ false,
4342
+ false,
4343
+ false,
4344
+ false,
4345
+ false,
4346
+ false,
4347
+ false,
4348
+ false,
4349
+ false,
4350
+ false,
4351
+ false,
4352
+ false,
4353
+ false,
4354
+ false,
4355
+ true,
4356
+ true,
4357
+ false,
4358
+ false,
4359
+ false,
4360
+ false,
4361
+ false,
4362
+ false,
4363
+ false,
4364
+ true
4365
+ ],
4366
+ [
4367
+ true,
4368
+ true,
4369
+ true,
4370
+ true,
4371
+ true,
4372
+ true,
4373
+ true,
4374
+ false,
4375
+ false,
4376
+ false,
4377
+ false,
4378
+ false,
4379
+ false,
4380
+ false,
4381
+ false,
4382
+ false,
4383
+ false,
4384
+ false,
4385
+ false,
4386
+ true,
4387
+ false,
4388
+ false,
4389
+ false,
4390
+ false,
4391
+ false,
4392
+ false,
4393
+ false,
4394
+ false,
4395
+ false,
4396
+ false,
4397
+ true,
4398
+ false,
4399
+ false,
4400
+ false,
4401
+ false,
4402
+ false,
4403
+ true
4404
+ ],
4405
+ [
4406
+ true,
4407
+ true,
4408
+ true,
4409
+ true,
4410
+ true,
4411
+ true,
4412
+ false,
4413
+ false,
4414
+ false,
4415
+ false,
4416
+ false,
4417
+ false,
4418
+ true,
4419
+ true,
4420
+ false,
4421
+ true,
4422
+ false,
4423
+ false,
4424
+ false,
4425
+ false,
4426
+ true,
4427
+ true,
4428
+ false,
4429
+ false,
4430
+ false,
4431
+ false,
4432
+ false,
4433
+ false,
4434
+ false,
4435
+ true,
4436
+ false,
4437
+ true,
4438
+ true,
4439
+ false,
4440
+ false,
4441
+ false,
4442
+ true
4443
+ ],
4444
+ [
4445
+ true,
4446
+ true,
4447
+ true,
4448
+ true,
4449
+ true,
4450
+ true,
4451
+ false,
4452
+ false,
4453
+ false,
4454
+ false,
4455
+ false,
4456
+ false,
4457
+ false,
4458
+ false,
4459
+ false,
4460
+ false,
4461
+ true,
4462
+ false,
4463
+ true,
4464
+ true,
4465
+ false,
4466
+ false,
4467
+ false,
4468
+ false,
4469
+ false,
4470
+ false,
4471
+ false,
4472
+ false,
4473
+ false,
4474
+ false,
4475
+ false,
4476
+ false,
4477
+ false,
4478
+ false,
4479
+ false,
4480
+ false,
4481
+ true
4482
+ ],
4483
+ [
4484
+ true,
4485
+ true,
4486
+ true,
4487
+ true,
4488
+ true,
4489
+ true,
4490
+ false,
4491
+ false,
4492
+ false,
4493
+ false,
4494
+ false,
4495
+ false,
4496
+ true,
4497
+ true,
4498
+ false,
4499
+ false,
4500
+ false,
4501
+ false,
4502
+ false,
4503
+ false,
4504
+ false,
4505
+ true,
4506
+ true,
4507
+ false,
4508
+ true,
4509
+ false,
4510
+ false,
4511
+ true,
4512
+ true,
4513
+ false,
4514
+ false,
4515
+ false,
4516
+ false,
4517
+ true,
4518
+ true,
4519
+ false,
4520
+ true
4521
+ ],
4522
+ [
4523
+ true,
4524
+ true,
4525
+ true,
4526
+ true,
4527
+ true,
4528
+ true,
4529
+ false,
4530
+ true,
4531
+ false,
4532
+ false,
4533
+ false,
4534
+ false,
4535
+ true,
4536
+ true,
4537
+ false,
4538
+ false,
4539
+ false,
4540
+ false,
4541
+ false,
4542
+ false,
4543
+ false,
4544
+ true,
4545
+ true,
4546
+ false,
4547
+ true,
4548
+ false,
4549
+ true,
4550
+ false,
4551
+ true,
4552
+ false,
4553
+ false,
4554
+ false,
4555
+ false,
4556
+ true,
4557
+ true,
4558
+ false,
4559
+ true
4560
+ ],
4561
+ [
4562
+ true,
4563
+ true,
4564
+ true,
4565
+ true,
4566
+ true,
4567
+ true,
4568
+ false,
4569
+ false,
4570
+ false,
4571
+ true,
4572
+ false,
4573
+ false,
4574
+ true,
4575
+ true,
4576
+ false,
4577
+ false,
4578
+ false,
4579
+ false,
4580
+ false,
4581
+ false,
4582
+ false,
4583
+ false,
4584
+ false,
4585
+ false,
4586
+ true,
4587
+ false,
4588
+ false,
4589
+ false,
4590
+ false,
4591
+ false,
4592
+ false,
4593
+ false,
4594
+ false,
4595
+ false,
4596
+ false,
4597
+ false,
4598
+ true
4599
+ ],
4600
+ [
4601
+ true,
4602
+ true,
4603
+ true,
4604
+ true,
4605
+ true,
4606
+ false,
4607
+ true,
4608
+ true,
4609
+ true,
4610
+ true,
4611
+ false,
4612
+ false,
4613
+ false,
4614
+ false,
4615
+ true,
4616
+ true,
4617
+ true,
4618
+ true,
4619
+ true,
4620
+ false,
4621
+ false,
4622
+ false,
4623
+ true,
4624
+ true,
4625
+ true,
4626
+ true,
4627
+ true,
4628
+ true,
4629
+ true,
4630
+ true,
4631
+ true,
4632
+ true,
4633
+ false,
4634
+ true,
4635
+ true,
4636
+ true,
4637
+ true
4638
+ ],
4639
+ [
4640
+ true,
4641
+ true,
4642
+ true,
4643
+ true,
4644
+ true,
4645
+ false,
4646
+ true,
4647
+ true,
4648
+ false,
4649
+ false,
4650
+ false,
4651
+ false,
4652
+ true,
4653
+ true,
4654
+ false,
4655
+ false,
4656
+ true,
4657
+ true,
4658
+ false,
4659
+ false,
4660
+ false,
4661
+ false,
4662
+ false,
4663
+ false,
4664
+ false,
4665
+ false,
4666
+ false,
4667
+ false,
4668
+ false,
4669
+ false,
4670
+ false,
4671
+ false,
4672
+ true,
4673
+ false,
4674
+ false,
4675
+ false,
4676
+ true
4677
+ ],
4678
+ [
4679
+ true,
4680
+ true,
4681
+ true,
4682
+ true,
4683
+ true,
4684
+ true,
4685
+ false,
4686
+ false,
4687
+ false,
4688
+ false,
4689
+ false,
4690
+ false,
4691
+ true,
4692
+ true,
4693
+ false,
4694
+ true,
4695
+ false,
4696
+ false,
4697
+ false,
4698
+ false,
4699
+ false,
4700
+ true,
4701
+ true,
4702
+ false,
4703
+ true,
4704
+ false,
4705
+ true,
4706
+ false,
4707
+ true,
4708
+ false,
4709
+ false,
4710
+ false,
4711
+ false,
4712
+ true,
4713
+ true,
4714
+ false,
4715
+ true
4716
+ ],
4717
+ [
4718
+ true,
4719
+ true,
4720
+ true,
4721
+ true,
4722
+ true,
4723
+ true,
4724
+ false,
4725
+ false,
4726
+ false,
4727
+ false,
4728
+ false,
4729
+ true,
4730
+ false,
4731
+ false,
4732
+ false,
4733
+ false,
4734
+ false,
4735
+ false,
4736
+ false,
4737
+ false,
4738
+ false,
4739
+ true,
4740
+ false,
4741
+ false,
4742
+ true,
4743
+ false,
4744
+ false,
4745
+ false,
4746
+ false,
4747
+ true,
4748
+ true,
4749
+ false,
4750
+ true,
4751
+ false,
4752
+ false,
4753
+ false,
4754
+ true
4755
+ ],
4756
+ [
4757
+ true,
4758
+ true,
4759
+ true,
4760
+ true,
4761
+ true,
4762
+ false,
4763
+ false,
4764
+ false,
4765
+ false,
4766
+ true,
4767
+ true,
4768
+ true,
4769
+ false,
4770
+ false,
4771
+ false,
4772
+ false,
4773
+ false,
4774
+ false,
4775
+ false,
4776
+ true,
4777
+ false,
4778
+ false,
4779
+ true,
4780
+ false,
4781
+ false,
4782
+ false,
4783
+ false,
4784
+ false,
4785
+ false,
4786
+ false,
4787
+ false,
4788
+ false,
4789
+ false,
4790
+ false,
4791
+ false,
4792
+ false,
4793
+ true
4794
+ ],
4795
+ [
4796
+ true,
4797
+ true,
4798
+ true,
4799
+ true,
4800
+ true,
4801
+ true,
4802
+ false,
4803
+ false,
4804
+ false,
4805
+ false,
4806
+ false,
4807
+ false,
4808
+ true,
4809
+ true,
4810
+ false,
4811
+ false,
4812
+ false,
4813
+ false,
4814
+ false,
4815
+ false,
4816
+ true,
4817
+ true,
4818
+ false,
4819
+ true,
4820
+ false,
4821
+ false,
4822
+ true,
4823
+ false,
4824
+ false,
4825
+ false,
4826
+ true,
4827
+ true,
4828
+ true,
4829
+ false,
4830
+ false,
4831
+ false,
4832
+ true
4833
+ ],
4834
+ [
4835
+ true,
4836
+ true,
4837
+ true,
4838
+ true,
4839
+ true,
4840
+ true,
4841
+ false,
4842
+ false,
4843
+ false,
4844
+ false,
4845
+ false,
4846
+ false,
4847
+ false,
4848
+ true,
4849
+ true,
4850
+ false,
4851
+ false,
4852
+ false,
4853
+ true,
4854
+ false,
4855
+ true,
4856
+ false,
4857
+ false,
4858
+ false,
4859
+ false,
4860
+ true,
4861
+ false,
4862
+ false,
4863
+ false,
4864
+ false,
4865
+ false,
4866
+ false,
4867
+ false,
4868
+ false,
4869
+ false,
4870
+ false,
4871
+ true
4872
+ ],
4873
+ [
4874
+ true,
4875
+ true,
4876
+ true,
4877
+ false,
4878
+ true,
4879
+ false,
4880
+ false,
4881
+ false,
4882
+ false,
4883
+ false,
4884
+ false,
4885
+ false,
4886
+ false,
4887
+ false,
4888
+ false,
4889
+ true,
4890
+ false,
4891
+ false,
4892
+ false,
4893
+ false,
4894
+ false,
4895
+ false,
4896
+ false,
4897
+ true,
4898
+ false,
4899
+ false,
4900
+ false,
4901
+ true,
4902
+ false,
4903
+ false,
4904
+ false,
4905
+ true,
4906
+ false,
4907
+ false,
4908
+ false,
4909
+ false,
4910
+ true
4911
+ ],
4912
+ [
4913
+ true,
4914
+ true,
4915
+ true,
4916
+ true,
4917
+ true,
4918
+ true,
4919
+ false,
4920
+ true,
4921
+ false,
4922
+ false,
4923
+ false,
4924
+ false,
4925
+ true,
4926
+ true,
4927
+ false,
4928
+ false,
4929
+ false,
4930
+ false,
4931
+ false,
4932
+ false,
4933
+ true,
4934
+ true,
4935
+ false,
4936
+ false,
4937
+ false,
4938
+ false,
4939
+ false,
4940
+ false,
4941
+ false,
4942
+ true,
4943
+ false,
4944
+ false,
4945
+ true,
4946
+ false,
4947
+ false,
4948
+ true,
4949
+ true
4950
+ ],
4951
+ [
4952
+ true,
4953
+ true,
4954
+ true,
4955
+ true,
4956
+ true,
4957
+ false,
4958
+ true,
4959
+ false,
4960
+ false,
4961
+ true,
4962
+ true,
4963
+ false,
4964
+ false,
4965
+ false,
4966
+ true,
4967
+ true,
4968
+ true,
4969
+ false,
4970
+ true,
4971
+ false,
4972
+ false,
4973
+ false,
4974
+ true,
4975
+ true,
4976
+ true,
4977
+ true,
4978
+ true,
4979
+ true,
4980
+ false,
4981
+ true,
4982
+ true,
4983
+ true,
4984
+ false,
4985
+ true,
4986
+ false,
4987
+ true,
4988
+ true
4989
+ ],
4990
+ [
4991
+ true,
4992
+ true,
4993
+ true,
4994
+ true,
4995
+ true,
4996
+ true,
4997
+ false,
4998
+ false,
4999
+ false,
5000
+ false,
5001
+ false,
5002
+ false,
5003
+ true,
5004
+ true,
5005
+ false,
5006
+ true,
5007
+ false,
5008
+ false,
5009
+ false,
5010
+ false,
5011
+ true,
5012
+ true,
5013
+ false,
5014
+ false,
5015
+ false,
5016
+ false,
5017
+ false,
5018
+ false,
5019
+ false,
5020
+ false,
5021
+ false,
5022
+ false,
5023
+ true,
5024
+ false,
5025
+ false,
5026
+ false,
5027
+ true
5028
+ ],
5029
+ [
5030
+ true,
5031
+ true,
5032
+ true,
5033
+ false,
5034
+ true,
5035
+ true,
5036
+ false,
5037
+ false,
5038
+ false,
5039
+ false,
5040
+ false,
5041
+ true,
5042
+ false,
5043
+ false,
5044
+ true,
5045
+ false,
5046
+ false,
5047
+ false,
5048
+ false,
5049
+ false,
5050
+ false,
5051
+ false,
5052
+ false,
5053
+ true,
5054
+ false,
5055
+ true,
5056
+ true,
5057
+ false,
5058
+ false,
5059
+ false,
5060
+ false,
5061
+ false,
5062
+ false,
5063
+ false,
5064
+ false,
5065
+ false,
5066
+ true
5067
+ ],
5068
+ [
5069
+ true,
5070
+ true,
5071
+ true,
5072
+ true,
5073
+ true,
5074
+ true,
5075
+ false,
5076
+ false,
5077
+ false,
5078
+ false,
5079
+ false,
5080
+ true,
5081
+ false,
5082
+ false,
5083
+ false,
5084
+ false,
5085
+ false,
5086
+ false,
5087
+ false,
5088
+ true,
5089
+ false,
5090
+ false,
5091
+ false,
5092
+ false,
5093
+ false,
5094
+ false,
5095
+ false,
5096
+ false,
5097
+ false,
5098
+ false,
5099
+ false,
5100
+ false,
5101
+ false,
5102
+ false,
5103
+ false,
5104
+ false,
5105
+ true
5106
+ ],
5107
+ [
5108
+ true,
5109
+ true,
5110
+ true,
5111
+ true,
5112
+ true,
5113
+ false,
5114
+ true,
5115
+ true,
5116
+ false,
5117
+ false,
5118
+ false,
5119
+ false,
5120
+ true,
5121
+ true,
5122
+ false,
5123
+ false,
5124
+ false,
5125
+ false,
5126
+ false,
5127
+ true,
5128
+ false,
5129
+ false,
5130
+ false,
5131
+ false,
5132
+ false,
5133
+ false,
5134
+ false,
5135
+ false,
5136
+ false,
5137
+ false,
5138
+ false,
5139
+ false,
5140
+ false,
5141
+ false,
5142
+ false,
5143
+ false,
5144
+ true
5145
+ ],
5146
+ [
5147
+ true,
5148
+ true,
5149
+ true,
5150
+ true,
5151
+ true,
5152
+ true,
5153
+ false,
5154
+ false,
5155
+ false,
5156
+ true,
5157
+ false,
5158
+ false,
5159
+ true,
5160
+ true,
5161
+ false,
5162
+ false,
5163
+ false,
5164
+ false,
5165
+ false,
5166
+ false,
5167
+ false,
5168
+ true,
5169
+ true,
5170
+ false,
5171
+ true,
5172
+ false,
5173
+ false,
5174
+ false,
5175
+ true,
5176
+ false,
5177
+ false,
5178
+ false,
5179
+ false,
5180
+ true,
5181
+ true,
5182
+ false,
5183
+ true
5184
+ ],
5185
+ [
5186
+ true,
5187
+ true,
5188
+ true,
5189
+ true,
5190
+ true,
5191
+ true,
5192
+ true,
5193
+ false,
5194
+ true,
5195
+ false,
5196
+ false,
5197
+ true,
5198
+ false,
5199
+ false,
5200
+ true,
5201
+ false,
5202
+ true,
5203
+ false,
5204
+ false,
5205
+ true,
5206
+ false,
5207
+ false,
5208
+ false,
5209
+ false,
5210
+ true,
5211
+ false,
5212
+ false,
5213
+ false,
5214
+ false,
5215
+ false,
5216
+ false,
5217
+ false,
5218
+ false,
5219
+ true,
5220
+ false,
5221
+ true,
5222
+ true
5223
+ ],
5224
+ [
5225
+ true,
5226
+ true,
5227
+ true,
5228
+ true,
5229
+ true,
5230
+ true,
5231
+ false,
5232
+ false,
5233
+ false,
5234
+ false,
5235
+ false,
5236
+ false,
5237
+ false,
5238
+ false,
5239
+ false,
5240
+ false,
5241
+ true,
5242
+ true,
5243
+ false,
5244
+ false,
5245
+ false,
5246
+ false,
5247
+ false,
5248
+ false,
5249
+ false,
5250
+ false,
5251
+ false,
5252
+ false,
5253
+ false,
5254
+ false,
5255
+ false,
5256
+ false,
5257
+ false,
5258
+ false,
5259
+ false,
5260
+ false,
5261
+ false
5262
+ ],
5263
+ [
5264
+ true,
5265
+ true,
5266
+ true,
5267
+ true,
5268
+ true,
5269
+ true,
5270
+ false,
5271
+ true,
5272
+ false,
5273
+ false,
5274
+ false,
5275
+ true,
5276
+ false,
5277
+ false,
5278
+ false,
5279
+ false,
5280
+ false,
5281
+ false,
5282
+ false,
5283
+ true,
5284
+ false,
5285
+ false,
5286
+ false,
5287
+ false,
5288
+ true,
5289
+ true,
5290
+ false,
5291
+ false,
5292
+ true,
5293
+ false,
5294
+ false,
5295
+ true,
5296
+ false,
5297
+ false,
5298
+ false,
5299
+ false,
5300
+ true
5301
+ ],
5302
+ [
5303
+ true,
5304
+ true,
5305
+ true,
5306
+ true,
5307
+ true,
5308
+ true,
5309
+ false,
5310
+ false,
5311
+ false,
5312
+ false,
5313
+ false,
5314
+ false,
5315
+ true,
5316
+ true,
5317
+ false,
5318
+ false,
5319
+ false,
5320
+ false,
5321
+ false,
5322
+ false,
5323
+ false,
5324
+ true,
5325
+ true,
5326
+ false,
5327
+ true,
5328
+ true,
5329
+ false,
5330
+ false,
5331
+ true,
5332
+ false,
5333
+ false,
5334
+ false,
5335
+ false,
5336
+ true,
5337
+ true,
5338
+ false,
5339
+ true
5340
+ ],
5341
+ [
5342
+ true,
5343
+ true,
5344
+ true,
5345
+ true,
5346
+ true,
5347
+ false,
5348
+ false,
5349
+ false,
5350
+ false,
5351
+ true,
5352
+ false,
5353
+ false,
5354
+ false,
5355
+ false,
5356
+ true,
5357
+ true,
5358
+ false,
5359
+ true,
5360
+ false,
5361
+ false,
5362
+ false,
5363
+ false,
5364
+ false,
5365
+ false,
5366
+ true,
5367
+ false,
5368
+ false,
5369
+ false,
5370
+ true,
5371
+ false,
5372
+ true,
5373
+ false,
5374
+ false,
5375
+ false,
5376
+ false,
5377
+ false,
5378
+ true
5379
+ ],
5380
+ [
5381
+ true,
5382
+ true,
5383
+ true,
5384
+ true,
5385
+ true,
5386
+ false,
5387
+ false,
5388
+ false,
5389
+ true,
5390
+ false,
5391
+ false,
5392
+ false,
5393
+ false,
5394
+ false,
5395
+ false,
5396
+ true,
5397
+ true,
5398
+ true,
5399
+ true,
5400
+ true,
5401
+ false,
5402
+ false,
5403
+ true,
5404
+ false,
5405
+ false,
5406
+ false,
5407
+ false,
5408
+ true,
5409
+ true,
5410
+ false,
5411
+ false,
5412
+ false,
5413
+ true,
5414
+ true,
5415
+ false,
5416
+ false,
5417
+ true
5418
+ ],
5419
+ [
5420
+ true,
5421
+ true,
5422
+ true,
5423
+ true,
5424
+ true,
5425
+ true,
5426
+ false,
5427
+ false,
5428
+ false,
5429
+ false,
5430
+ false,
5431
+ false,
5432
+ true,
5433
+ true,
5434
+ false,
5435
+ false,
5436
+ false,
5437
+ false,
5438
+ false,
5439
+ false,
5440
+ true,
5441
+ true,
5442
+ false,
5443
+ false,
5444
+ false,
5445
+ false,
5446
+ false,
5447
+ true,
5448
+ false,
5449
+ false,
5450
+ false,
5451
+ true,
5452
+ true,
5453
+ false,
5454
+ false,
5455
+ false,
5456
+ true
5457
+ ],
5458
+ [
5459
+ true,
5460
+ true,
5461
+ true,
5462
+ true,
5463
+ true,
5464
+ false,
5465
+ true,
5466
+ true,
5467
+ false,
5468
+ false,
5469
+ false,
5470
+ false,
5471
+ false,
5472
+ false,
5473
+ false,
5474
+ false,
5475
+ false,
5476
+ false,
5477
+ false,
5478
+ false,
5479
+ false,
5480
+ false,
5481
+ false,
5482
+ false,
5483
+ false,
5484
+ false,
5485
+ false,
5486
+ false,
5487
+ true,
5488
+ false,
5489
+ false,
5490
+ false,
5491
+ false,
5492
+ false,
5493
+ false,
5494
+ false,
5495
+ true
5496
+ ],
5497
+ [
5498
+ true,
5499
+ true,
5500
+ true,
5501
+ true,
5502
+ true,
5503
+ false,
5504
+ false,
5505
+ true,
5506
+ false,
5507
+ true,
5508
+ false,
5509
+ false,
5510
+ false,
5511
+ false,
5512
+ false,
5513
+ false,
5514
+ false,
5515
+ false,
5516
+ false,
5517
+ false,
5518
+ false,
5519
+ false,
5520
+ false,
5521
+ false,
5522
+ false,
5523
+ false,
5524
+ false,
5525
+ false,
5526
+ false,
5527
+ false,
5528
+ false,
5529
+ false,
5530
+ false,
5531
+ false,
5532
+ false,
5533
+ false,
5534
+ true
5535
+ ],
5536
+ [
5537
+ true,
5538
+ true,
5539
+ true,
5540
+ true,
5541
+ true,
5542
+ false,
5543
+ false,
5544
+ false,
5545
+ false,
5546
+ true,
5547
+ false,
5548
+ false,
5549
+ false,
5550
+ false,
5551
+ false,
5552
+ false,
5553
+ false,
5554
+ false,
5555
+ false,
5556
+ false,
5557
+ false,
5558
+ false,
5559
+ false,
5560
+ false,
5561
+ false,
5562
+ false,
5563
+ false,
5564
+ false,
5565
+ false,
5566
+ true,
5567
+ false,
5568
+ false,
5569
+ false,
5570
+ false,
5571
+ false,
5572
+ false,
5573
+ true
5574
+ ],
5575
+ [
5576
+ true,
5577
+ true,
5578
+ true,
5579
+ true,
5580
+ true,
5581
+ true,
5582
+ false,
5583
+ false,
5584
+ true,
5585
+ false,
5586
+ false,
5587
+ true,
5588
+ false,
5589
+ false,
5590
+ false,
5591
+ false,
5592
+ false,
5593
+ true,
5594
+ false,
5595
+ true,
5596
+ false,
5597
+ false,
5598
+ false,
5599
+ false,
5600
+ false,
5601
+ false,
5602
+ false,
5603
+ true,
5604
+ false,
5605
+ false,
5606
+ false,
5607
+ true,
5608
+ false,
5609
+ false,
5610
+ true,
5611
+ true,
5612
+ true
5613
+ ],
5614
+ [
5615
+ true,
5616
+ true,
5617
+ true,
5618
+ false,
5619
+ true,
5620
+ false,
5621
+ false,
5622
+ false,
5623
+ false,
5624
+ false,
5625
+ false,
5626
+ false,
5627
+ false,
5628
+ false,
5629
+ false,
5630
+ false,
5631
+ false,
5632
+ false,
5633
+ false,
5634
+ false,
5635
+ false,
5636
+ false,
5637
+ false,
5638
+ false,
5639
+ false,
5640
+ false,
5641
+ false,
5642
+ false,
5643
+ false,
5644
+ false,
5645
+ false,
5646
+ false,
5647
+ false,
5648
+ false,
5649
+ false,
5650
+ false,
5651
+ false
5652
+ ],
5653
+ [
5654
+ true,
5655
+ true,
5656
+ true,
5657
+ true,
5658
+ true,
5659
+ false,
5660
+ true,
5661
+ true,
5662
+ false,
5663
+ false,
5664
+ false,
5665
+ false,
5666
+ true,
5667
+ false,
5668
+ false,
5669
+ false,
5670
+ false,
5671
+ false,
5672
+ false,
5673
+ false,
5674
+ false,
5675
+ false,
5676
+ false,
5677
+ false,
5678
+ false,
5679
+ false,
5680
+ false,
5681
+ false,
5682
+ false,
5683
+ false,
5684
+ false,
5685
+ false,
5686
+ false,
5687
+ false,
5688
+ false,
5689
+ false,
5690
+ true
5691
+ ],
5692
+ [
5693
+ true,
5694
+ true,
5695
+ true,
5696
+ true,
5697
+ true,
5698
+ false,
5699
+ false,
5700
+ false,
5701
+ false,
5702
+ true,
5703
+ true,
5704
+ true,
5705
+ false,
5706
+ false,
5707
+ false,
5708
+ false,
5709
+ false,
5710
+ false,
5711
+ true,
5712
+ true,
5713
+ false,
5714
+ false,
5715
+ false,
5716
+ false,
5717
+ false,
5718
+ false,
5719
+ false,
5720
+ true,
5721
+ false,
5722
+ false,
5723
+ false,
5724
+ false,
5725
+ false,
5726
+ false,
5727
+ false,
5728
+ true,
5729
+ true
5730
+ ],
5731
+ [
5732
+ true,
5733
+ true,
5734
+ true,
5735
+ true,
5736
+ true,
5737
+ true,
5738
+ false,
5739
+ false,
5740
+ false,
5741
+ true,
5742
+ false,
5743
+ false,
5744
+ true,
5745
+ true,
5746
+ false,
5747
+ false,
5748
+ false,
5749
+ true,
5750
+ false,
5751
+ false,
5752
+ true,
5753
+ true,
5754
+ false,
5755
+ false,
5756
+ false,
5757
+ false,
5758
+ false,
5759
+ false,
5760
+ false,
5761
+ false,
5762
+ false,
5763
+ false,
5764
+ true,
5765
+ false,
5766
+ true,
5767
+ false,
5768
+ true
5769
+ ],
5770
+ [
5771
+ true,
5772
+ true,
5773
+ true,
5774
+ true,
5775
+ true,
5776
+ true,
5777
+ false,
5778
+ false,
5779
+ false,
5780
+ false,
5781
+ false,
5782
+ true,
5783
+ false,
5784
+ false,
5785
+ true,
5786
+ false,
5787
+ false,
5788
+ true,
5789
+ false,
5790
+ true,
5791
+ false,
5792
+ false,
5793
+ false,
5794
+ false,
5795
+ false,
5796
+ false,
5797
+ true,
5798
+ false,
5799
+ false,
5800
+ true,
5801
+ true,
5802
+ true,
5803
+ false,
5804
+ false,
5805
+ true,
5806
+ true,
5807
+ true
5808
+ ],
5809
+ [
5810
+ true,
5811
+ true,
5812
+ true,
5813
+ true,
5814
+ true,
5815
+ true,
5816
+ true,
5817
+ false,
5818
+ false,
5819
+ false,
5820
+ false,
5821
+ false,
5822
+ true,
5823
+ true,
5824
+ false,
5825
+ false,
5826
+ false,
5827
+ false,
5828
+ false,
5829
+ false,
5830
+ true,
5831
+ true,
5832
+ false,
5833
+ false,
5834
+ false,
5835
+ false,
5836
+ false,
5837
+ true,
5838
+ false,
5839
+ false,
5840
+ false,
5841
+ true,
5842
+ true,
5843
+ false,
5844
+ false,
5845
+ false,
5846
+ true
5847
+ ],
5848
+ [
5849
+ true,
5850
+ true,
5851
+ true,
5852
+ true,
5853
+ true,
5854
+ false,
5855
+ false,
5856
+ false,
5857
+ false,
5858
+ false,
5859
+ true,
5860
+ false,
5861
+ false,
5862
+ false,
5863
+ false,
5864
+ false,
5865
+ true,
5866
+ true,
5867
+ false,
5868
+ false,
5869
+ false,
5870
+ false,
5871
+ false,
5872
+ false,
5873
+ false,
5874
+ false,
5875
+ false,
5876
+ false,
5877
+ true,
5878
+ true,
5879
+ false,
5880
+ false,
5881
+ false,
5882
+ false,
5883
+ false,
5884
+ false,
5885
+ true
5886
+ ],
5887
+ [
5888
+ true,
5889
+ true,
5890
+ true,
5891
+ true,
5892
+ true,
5893
+ false,
5894
+ true,
5895
+ false,
5896
+ true,
5897
+ true,
5898
+ true,
5899
+ false,
5900
+ true,
5901
+ false,
5902
+ false,
5903
+ true,
5904
+ false,
5905
+ false,
5906
+ true,
5907
+ false,
5908
+ false,
5909
+ false,
5910
+ false,
5911
+ false,
5912
+ false,
5913
+ false,
5914
+ false,
5915
+ true,
5916
+ false,
5917
+ false,
5918
+ false,
5919
+ false,
5920
+ false,
5921
  true,
5922
  true,
5923
  false,
5924
+ true
5925
+ ],
5926
+ [
5927
+ true,
5928
+ true,
5929
+ true,
5930
+ true,
5931
+ true,
5932
+ false,
5933
+ true,
5934
+ true,
5935
+ false,
5936
+ true,
5937
+ false,
5938
+ false,
5939
+ true,
5940
+ false,
5941
+ false,
5942
+ false,
5943
+ true,
5944
+ false,
5945
+ false,
5946
+ false,
5947
+ false,
5948
+ false,
5949
+ false,
5950
+ false,
5951
+ false,
5952
+ false,
5953
+ false,
5954
+ false,
5955
+ false,
5956
+ false,
5957
+ false,
5958
+ false,
5959
+ false,
5960
+ false,
5961
+ false,
5962
+ false,
5963
+ true
5964
+ ],
5965
+ [
5966
+ true,
5967
+ true,
5968
+ true,
5969
+ true,
5970
+ true,
5971
+ false,
5972
+ false,
5973
+ false,
5974
+ true,
5975
+ false,
5976
+ false,
5977
+ false,
5978
+ false,
5979
+ false,
5980
+ false,
5981
+ false,
5982
+ false,
5983
+ false,
5984
+ false,
5985
+ false,
5986
+ false,
5987
+ false,
5988
+ false,
5989
+ false,
5990
+ false,
5991
+ false,
5992
+ true,
5993
+ true,
5994
+ false,
5995
+ false,
5996
+ true,
5997
+ false,
5998
+ false,
5999
+ false,
6000
+ false,
6001
+ false,
6002
+ true
6003
+ ],
6004
+ [
6005
+ true,
6006
+ true,
6007
+ true,
6008
+ true,
6009
+ true,
6010
+ true,
6011
+ false,
6012
+ false,
6013
+ false,
6014
+ false,
6015
+ false,
6016
+ true,
6017
+ false,
6018
+ false,
6019
+ false,
6020
+ false,
6021
+ false,
6022
+ false,
6023
+ false,
6024
+ false,
6025
+ false,
6026
+ false,
6027
+ false,
6028
+ true,
6029
+ false,
6030
+ false,
6031
+ false,
6032
+ false,
6033
+ false,
6034
+ true,
6035
+ true,
6036
+ false,
6037
+ true,
6038
+ false,
6039
+ false,
6040
+ true,
6041
+ true
6042
+ ],
6043
+ [
6044
+ true,
6045
+ true,
6046
+ true,
6047
+ true,
6048
+ true,
6049
+ true,
6050
+ false,
6051
+ false,
6052
  false,
6053
  false,
6054
  false,
 
6057
  false,
6058
  false,
6059
  false,
6060
+ true,
6061
+ true,
6062
+ true,
6063
+ true,
6064
+ false,
6065
+ false,
6066
+ false,
6067
+ false,
6068
+ false,
6069
+ false,
6070
+ false,
6071
+ false,
6072
+ false,
6073
+ false,
6074
+ false,
6075
+ false,
6076
+ false,
6077
+ false,
6078
+ false,
6079
+ false,
6080
+ true
6081
+ ],
6082
+ [
6083
+ true,
6084
+ true,
6085
+ true,
6086
+ true,
6087
+ true,
6088
+ true,
6089
+ true,
6090
+ true,
6091
+ true,
6092
+ false,
6093
+ false,
6094
+ false,
6095
+ true,
6096
+ true,
6097
+ false,
6098
+ false,
6099
+ false,
6100
+ false,
6101
+ false,
6102
+ false,
6103
+ true,
6104
+ true,
6105
+ true,
6106
+ true,
6107
+ false,
6108
+ true,
6109
+ true,
6110
+ false,
6111
+ false,
6112
+ false,
6113
+ false,
6114
+ true,
6115
+ true,
6116
+ false,
6117
+ false,
6118
+ false,
6119
+ true
6120
+ ],
6121
+ [
6122
+ true,
6123
+ true,
6124
+ true,
6125
+ false,
6126
+ true,
6127
+ false,
6128
+ false,
6129
+ true,
6130
+ false,
6131
+ true,
6132
+ false,
6133
+ false,
6134
+ false,
6135
+ false,
6136
+ true,
6137
+ false,
6138
+ true,
6139
+ false,
6140
+ true,
6141
+ false,
6142
+ false,
6143
+ false,
6144
+ true,
6145
+ false,
6146
+ false,
6147
+ false,
6148
+ false,
6149
+ false,
6150
+ false,
6151
+ false,
6152
+ false,
6153
+ true,
6154
+ false,
6155
+ false,
6156
+ true,
6157
+ false,
6158
+ true
6159
+ ],
6160
+ [
6161
+ true,
6162
+ true,
6163
+ true,
6164
+ true,
6165
+ true,
6166
+ true,
6167
+ false,
6168
+ true,
6169
+ false,
6170
+ false,
6171
+ false,
6172
+ false,
6173
+ false,
6174
+ true,
6175
+ true,
6176
+ false,
6177
+ false,
6178
+ true,
6179
+ false,
6180
+ false,
6181
+ true,
6182
+ false,
6183
+ true,
6184
+ true,
6185
+ false,
6186
+ true,
6187
+ false,
6188
+ false,
6189
+ false,
6190
+ false,
6191
  false,
6192
  false,
6193
  false,
6194
  false,
6195
  false,
6196
  false,
6197
+ true
6198
+ ],
6199
+ [
6200
+ true,
6201
+ true,
6202
+ true,
6203
+ true,
6204
+ true,
6205
  false,
6206
  false,
6207
  false,
6208
+ true,
6209
  false,
6210
  false,
6211
  false,
6212
  false,
6213
  false,
 
 
 
 
 
 
 
 
6214
  false,
6215
  false,
6216
  false,
 
6219
  false,
6220
  false,
6221
  false,
6222
+ true,
6223
  false,
6224
+ true,
6225
+ true,
6226
  false,
6227
+ true,
6228
  false,
6229
  false,
6230
+ true,
6231
+ true,
6232
  false,
6233
+ true,
6234
  false,
6235
  false,
6236
+ true
6237
+ ],
6238
+ [
6239
+ true,
6240
+ true,
6241
+ true,
6242
+ true,
6243
+ true,
6244
  false,
6245
+ true,
6246
+ true,
6247
  false,
6248
+ true,
6249
  false,
6250
  false,
6251
+ true,
6252
+ true,
6253
  false,
6254
+ true,
6255
  false,
6256
  false,
6257
  false,
6258
  false,
6259
+ true,
6260
+ true,
6261
+ true,
6262
  false,
6263
  false,
6264
  false,
 
6269
  false,
6270
  false,
6271
  false,
6272
+ true,
6273
  false,
6274
  false,
6275
+ true
6276
  ],
6277
  [
6278
  true,
 
6282
  true,
6283
  true,
6284
  true,
6285
+ false,
 
 
 
 
 
 
6286
  true,
6287
  true,
6288
  true,
 
6305
  false,
6306
  false,
6307
  false,
6308
+ false,
6309
+ false,
6310
+ false,
6311
+ false,
6312
+ false,
6313
+ false,
6314
+ false
6315
  ],
6316
  [
6317
  true,
 
6338
  false,
6339
  false,
6340
  false,
 
 
 
 
 
 
 
 
6341
  false,
6342
  false,
6343
  false,
6344
  false,
6345
+ false,
6346
+ false,
6347
+ false,
6348
+ false,
6349
+ false,
6350
+ false,
6351
+ false,
6352
+ false,
6353
+ false
6354
  ],
6355
  [
6356
  true,
 
6365
  true,
6366
  true,
6367
  true,
 
 
 
 
 
 
 
 
 
6368
  false,
 
 
6369
  false,
6370
  false,
6371
  false,
 
6378
  false,
6379
  false,
6380
  false,
6381
+ false,
6382
+ false,
6383
+ false,
6384
+ false,
6385
+ false,
6386
+ false,
6387
+ false,
6388
+ false,
6389
+ false,
6390
+ false,
6391
+ false,
6392
+ false
6393
  ],
6394
  [
6395
  true,
 
6403
  true,
6404
  true,
6405
  true,
 
6406
  false,
6407
  false,
6408
  false,
 
6415
  false,
6416
  false,
6417
  false,
 
 
 
 
 
 
 
6418
  false,
 
6419
  false,
6420
  false,
6421
  false,
6422
+ false,
6423
+ false,
6424
+ false,
6425
+ false,
6426
+ false,
6427
+ false,
6428
+ false,
6429
+ false,
6430
+ false,
6431
+ false
6432
  ],
6433
  [
6434
  true,
 
6470
  false
6471
  ],
6472
  [
 
 
 
 
 
 
 
 
 
 
6473
  true,
6474
  true,
6475
  true,
 
6496
  false,
6497
  false,
6498
  false,
6499
+ false,
6500
+ false,
6501
+ false,
6502
+ false,
6503
+ false,
6504
+ false,
6505
+ false,
6506
+ false,
6507
+ false,
6508
+ false,
6509
+ false
6510
  ],
6511
  [
6512
  true,
6513
  true,
6514
  true,
6515
+ true,
6516
  true,
6517
  true,
6518
  true,
 
6533
  false,
6534
  false,
6535
  false,
 
 
 
 
 
 
 
 
6536
  false,
6537
  false,
6538
  false,
6539
  false,
6540
+ false,
6541
+ false,
6542
+ false,
6543
+ false,
6544
+ false,
6545
+ false,
6546
+ false,
6547
+ false,
6548
+ false
6549
  ],
6550
  [
6551
  true,
6552
  true,
6553
  true,
 
 
6554
  true,
6555
  true,
6556
  true,
6557
+ false,
6558
  true,
6559
+ false,
6560
  true,
6561
+ false,
6562
  true,
6563
  true,
6564
  true,
6565
+ false,
6566
  true,
6567
  true,
6568
  true,
 
6571
  true,
6572
  true,
6573
  true,
 
6574
  true,
6575
  true,
6576
  false,
 
6584
  false,
6585
  false,
6586
  false,
6587
+ false
 
6588
  ],
6589
  [
6590
+ true,
6591
+ true,
6592
+ true,
6593
+ true,
6594
  true,
6595
  true,
6596
  true,
 
6615
  false,
6616
  false,
6617
  false,
6618
+ false,
6619
+ false,
6620
+ false,
6621
+ false,
6622
+ false,
6623
+ false,
6624
+ false,
6625
+ false,
6626
+ false
6627
+ ],
6628
+ [
6629
+ true,
6630
  true,
6631
  true,
6632
  true,
6633
  true,
6634
+ false,
6635
  true,
6636
  true,
6637
  true,
 
6638
  true,
6639
  true,
6640
  false,
6641
  false,
6642
+ false,
6643
+ false,
6644
+ false,
6645
+ false,
6646
+ false,
6647
+ false,
6648
+ false,
6649
+ false,
6650
+ false,
6651
+ false,
6652
+ false,
6653
+ false,
6654
+ false,
6655
+ false,
6656
+ false,
6657
+ false,
6658
+ false,
6659
+ false,
6660
+ false,
6661
+ false,
6662
+ false,
6663
+ false,
6664
+ false,
6665
+ false
6666
  ],
6667
  [
6668
  true,
6669
  true,
6670
  true,
6671
+ true,
6672
  true,
6673
  true,
6674
  true,
 
6704
  false
6705
  ],
6706
  [
6707
+ true,
6708
+ true,
6709
+ true,
6710
+ true,
6711
+ true,
6712
+ true,
6713
+ true,
6714
  false,
6715
  true,
6716
+ true,
6717
+ true,
6718
+ true,
6719
+ true,
6720
+ true,
6721
+ true,
6722
+ true,
6723
+ false,
6724
  false,
6725
  false,
6726
  false,
 
6740
  false,
6741
  false,
6742
  false,
6743
+ false
6744
+ ],
6745
+ [
6746
+ true,
6747
+ true,
6748
+ true,
6749
+ true,
6750
+ true,
6751
+ true,
6752
+ true,
6753
+ false,
6754
+ true,
6755
+ true,
6756
+ true,
6757
+ true,
6758
+ true,
6759
+ true,
6760
+ true,
6761
+ true,
6762
+ false,
6763
+ false,
6764
+ false,
6765
+ false,
6766
+ false,
6767
  false,
6768
  false,
6769
  false,
 
6793
  "token_type",
6794
  "x1_a37coors_nm",
6795
  "x1_a37coors_nm_rel",
6796
+ "chain_idx_seq",
6797
+ "incident_bond_type_counts",
6798
+ "atom37_element_charge_embedding"
6799
  ],
6800
+ "latent_dim": 32,
6801
+ "n_residue_types": 147,
6802
  "nheads": 12,
6803
  "nlayers": 12,
6804
+ "num_token_types": 7,
6805
  "pair_repr_dim": 256,
6806
+ "predict_atom_presence": true,
6807
  "token_dim": 768,
6808
  "token_type_emb_dim": 32
6809
  }
autoencoder/diffusion_pytorch_model.safetensors CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:1f7c82005153064a06b837b917af1a8cde5b18fe558fe6cc07c7b21419b45ad3
3
- size 1023879220
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:f6780a39cdb37a9e2a9e613574241777ecc40410cfb162ca2636a59ebc766ad0
3
+ size 1028799188
provenance.json CHANGED
@@ -1,13 +1,17 @@
1
  {
2
  "source_model": "nvidia/RFD4-Proteina",
3
  "source_format_version": 1,
4
- "source_bundle_revision": "eadacbe46a126c6c3622618eb5ac987c654cdd20",
5
- "source_weights_sha256": "8834a2d144d79b237a6e42a34d28a28d71a48fb1a0666f073d3fd5c71537054d",
6
- "source_config_sha256": "bc67e3e85ae65168cf9742c5a7ea989025fb58c75023adb8f65fadad105c8fcd",
7
  "weights": "EMA, float32; the fused query/key/value projections are split, every other tensor is unchanged",
8
- "sampler_recipe": "thinking_medium",
9
  "num_inference_steps": 60,
10
- "atom37_mask_sha256": "d2e731ac8200ca7f4f70473d88daafe540a51767e0b9b15d7b59802b6622b1c5",
 
 
11
  "path_length_search_cutoff": 64,
12
- "converted_with": "diffusers 0.41.0.dev0, scripts/convert_rfd4_proteina_to_diffusers.py"
 
 
13
  }
 
1
  {
2
  "source_model": "nvidia/RFD4-Proteina",
3
  "source_format_version": 1,
4
+ "source_bundle_revision": "976e0c906b56d59d460ad293a861b36bd20c480e",
5
+ "source_weights_sha256": "5f00cdcd4df57b121ad8edcbe7f2d16b9f2ffa1f878056e23b97a2eaf978f4cc",
6
+ "source_config_sha256": "302d2cafbd80cf0278316b5e0c8ea16319e7a676d20ead99118722f435481b71",
7
  "weights": "EMA, float32; the fused query/key/value projections are split, every other tensor is unchanged",
8
+ "sampler_recipe": "released: configs/generation/inference_base.yaml at RFD4-Proteina-dev 63ae4ff0cc26",
9
  "num_inference_steps": 60,
10
+ "residue_vocabulary_size": 147,
11
+ "token_type_vocabulary_size": 7,
12
+ "atom37_mask_sha256": "52555ae01130f944032d1fb2dbcea5f081054cf7247d292a6360861622eaa4ce",
13
  "path_length_search_cutoff": 64,
14
+ "converted_with": "diffusers 0.41.0.dev0, scripts/convert_rfd4_proteina_to_diffusers.py",
15
+ "converter_repo": "huggingface/diffusers-new-model-addition-RFD4-Proteina",
16
+ "converter_revision": "0291146acdf8ed0a247388f75eaee019ec131b6a"
17
  }
scheduler/scheduler_config.json CHANGED
@@ -4,7 +4,9 @@
4
  "model_args": {
5
  "bb_ca": {
6
  "gt": {
7
- "mode": "1/t"
 
 
8
  },
9
  "schedule": {
10
  "mode": "log",
@@ -13,17 +15,22 @@
13
  "tail_steps": 10
14
  },
15
  "simulation_step_params": {
 
 
16
  "sc_scale_noise": 0.3,
17
  "sc_scale_score": 1.0,
18
- "t_lim_ode": 0.98,
19
  "t_lim_ode_below": 0.02,
20
  "tsr_k": 16.0,
 
21
  "tsr_sigma": 3.0
22
  }
23
  },
24
  "local_latents": {
25
  "gt": {
26
- "mode": "tan"
 
 
27
  },
28
  "schedule": {
29
  "mode": "power",
@@ -32,12 +39,15 @@
32
  "tail_steps": 10
33
  },
34
  "simulation_step_params": {
 
 
35
  "sc_scale_noise": 0.1,
36
  "sc_scale_score": 1.0,
37
- "t_lim_ode": 0.98,
38
  "t_lim_ode_below": 0.02,
39
  "tsr_k": 4.0,
40
- "tsr_sigma": 8.0
 
41
  }
42
  }
43
  },
@@ -54,7 +64,7 @@
54
  "zero_com_noise": true
55
  },
56
  "local_latents": {
57
- "dim": 16,
58
  "guidance_enabled": true,
59
  "stochastic_centering_mode": "none",
60
  "stochastic_centering_scale": null,
 
4
  "model_args": {
5
  "bb_ca": {
6
  "gt": {
7
+ "clamp_val": null,
8
+ "mode": "1/t",
9
+ "p": 1.0
10
  },
11
  "schedule": {
12
  "mode": "log",
 
15
  "tail_steps": 10
16
  },
17
  "simulation_step_params": {
18
+ "center_every_step": false,
19
+ "sampling_mode": "vf_tsr",
20
  "sc_scale_noise": 0.3,
21
  "sc_scale_score": 1.0,
22
+ "t_lim_ode": 0.95,
23
  "t_lim_ode_below": 0.02,
24
  "tsr_k": 16.0,
25
+ "tsr_matched_noise": true,
26
  "tsr_sigma": 3.0
27
  }
28
  },
29
  "local_latents": {
30
  "gt": {
31
+ "clamp_val": null,
32
+ "mode": "tan",
33
+ "p": 1.0
34
  },
35
  "schedule": {
36
  "mode": "power",
 
39
  "tail_steps": 10
40
  },
41
  "simulation_step_params": {
42
+ "center_every_step": false,
43
+ "sampling_mode": "vf_tsr",
44
  "sc_scale_noise": 0.1,
45
  "sc_scale_score": 1.0,
46
+ "t_lim_ode": 0.95,
47
  "t_lim_ode_below": 0.02,
48
  "tsr_k": 4.0,
49
+ "tsr_matched_noise": true,
50
+ "tsr_sigma": 12.0
51
  }
52
  }
53
  },
 
64
  "zero_com_noise": true
65
  },
66
  "local_latents": {
67
+ "dim": 32,
68
  "guidance_enabled": true,
69
  "stochastic_centering_mode": "none",
70
  "stochastic_centering_scale": null,
transformer/config.json CHANGED
@@ -7,7 +7,7 @@
7
  "time_emb_bb_ca",
8
  "time_emb_local_latents",
9
  "cath_code",
10
- "recycle_index"
11
  ],
12
  "feats_pair_cond": [
13
  "time_emb_bb_ca",
@@ -48,12 +48,16 @@
48
  "chirality",
49
  "chain_centroid_xyz"
50
  ],
51
- "latent_dim": 16,
52
  "nheads": 12,
53
  "nlayers": 14,
54
- "num_sequence_classes": 33,
 
 
 
55
  "pair_repr_dim": 384,
56
  "recycle": true,
 
57
  "seq_sep_dim": 64,
58
  "sequence_readout": true,
59
  "t_emb_dim": 256,
 
7
  "time_emb_bb_ca",
8
  "time_emb_local_latents",
9
  "cath_code",
10
+ "recycle_remaining"
11
  ],
12
  "feats_pair_cond": [
13
  "time_emb_bb_ca",
 
48
  "chirality",
49
  "chain_centroid_xyz"
50
  ],
51
+ "latent_dim": 32,
52
  "nheads": 12,
53
  "nlayers": 14,
54
+ "noise_align_chirality": true,
55
+ "noise_align_chirality_translate": false,
56
+ "num_sequence_classes": 147,
57
+ "num_token_types": 7,
58
  "pair_repr_dim": 384,
59
  "recycle": true,
60
+ "recycle_conditioning_dim": 2,
61
  "seq_sep_dim": 64,
62
  "sequence_readout": true,
63
  "t_emb_dim": 256,
transformer/diffusion_pytorch_model.safetensors CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:8367acb15b2b9b24cd7755fda2882aef29082c69a0d4062843b64f03a82b975e
3
- size 713683344
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:ee047f4837cfe48a8997fb4450aefc847ef83335b89ad205db94be8c6de824d5
3
+ size 713872000