;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;   $RCSfile: extra.tdl,v $
;;  $Revision: 1.3 $
;;      $Date: 2006/07/17 14:18:25 $
;;     Author: Stefan Mueller (DFKI)
;;    Purpose: 
;;   Language: TDL
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; $Log: extra.tdl,v $
;; Revision 1.3  2006/07/17 14:18:25  crysmann
;; Adding files in lkb subdirectory.
;;
;; Revision 1.2  2003/07/01 13:03:38  crysmann
;; Modified SGF to support ambiguity packing better.
;; Fixed rleative clause bug introduced by morphosyntactic packing.
;;
;; Updated classes for unknown words
;;
;; Revision 1.1.1.1  2002/04/23 13:00:32  sgirgsdi
;; Stefans Grammatik
;;
;; Revision 1.2  2001/11/15 20:25:39  stefan
;; Frederik hat's sortiert.
;;
;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;


*sort* :< *top*.

atom :< predsort.

*avm* :< *top*.

*list* :< *avm*.

#|
first-rest-type := *avm* &
  [ FIRST *top*,
    REST *top* ].
|#

*cons* := *list* &
  [ FIRST *top*,
    REST *top* ].


0-1-list :< *list*.
1-list := 0-1-list & *cons* &
  [ REST *null* ].

; *null* is now a subtype of *eps-list* as well, see cross-list-types.tdl
;*null* :< 0-1-list.
1-plus-list := *cons* &
  [ REST *cons* ].

*diff-list* := *avm* &
[ LIST *list*,
  LAST *list* ].

dl-append := *avm* & [APPARG1 [LIST #first,       
                               LAST #between],
                      APPARG2 [LIST #between,
                            LAST #last],
                      RES  [LIST #first,
                             LAST #last]].

;; is used in VM ontology
;;symbol :< atom.


;integer :< atom.

;;string := symbol.

string := atom.

#|
0 :< integer.
1 :< integer.
2 :< integer.
3 :< integer.
4 :< integer.
5 :< integer.
6 :< integer.
7 :< integer.
8 :< integer.
9 :< integer.
10 :< integer.
11 :< integer.
12 :< integer.
13 :< integer.
14 :< integer.
15 :< integer.
16 :< integer.
17 :< integer.
18 :< integer.
19 :< integer.
20 :< integer.
21 :< integer.
22 :< integer.
23 :< integer.
24 :< integer.
25 :< integer.
26 :< integer.
27 :< integer.
28 :< integer.
29 :< integer.
30 :< integer.
31 :< integer.
32 :< integer.
33 :< integer.
34 :< integer.
35 :< integer.
36 :< integer.
37 :< integer.
38 :< integer.
39 :< integer.
40 :< integer.
41 :< integer.
42 :< integer.
43 :< integer.
44 :< integer.
45 :< integer.
46 :< integer.
47 :< integer.
48 :< integer.
49 :< integer.
50 :< integer.
51 :< integer.
52 :< integer.
53 :< integer.
54 :< integer.
55 :< integer.
56 :< integer.
57 :< integer.
58 :< integer.
59 :< integer.
60 :< integer.
61 :< integer.
62 :< integer.
63 :< integer.
64 :< integer.
65 :< integer.
66 :< integer.
67 :< integer.
68 :< integer.
69 :< integer.
70 :< integer.
71 :< integer.
72 :< integer.
73 :< integer.
74 :< integer.
75 :< integer.
76 :< integer.
77 :< integer.
78 :< integer.
79 :< integer.
80 :< integer.
81 :< integer.
82 :< integer.
83 :< integer.
84 :< integer.
85 :< integer.
86 :< integer.
87 :< integer.
88 :< integer.
89 :< integer.
90 :< integer.
91 :< integer.
92 :< integer.
93 :< integer.
94 :< integer.
95 :< integer.
96 :< integer.
97 :< integer.
98 :< integer.
99 :< integer.
100 :< integer.
101 :< integer.
102 :< integer.
103 :< integer.
104 :< integer.
105 :< integer.
106 :< integer.
107 :< integer.
108 :< integer.
109 :< integer.
110 :< integer.
111 :< integer.
112 :< integer.
113 :< integer.
114 :< integer.
115 :< integer.
116 :< integer.
117 :< integer.
118 :< integer.
119 :< integer.
120 :< integer.
121 :< integer.
122 :< integer.
123 :< integer.
124 :< integer.
125 :< integer.
126 :< integer.
127 :< integer.
128 :< integer.
129 :< integer.
130 :< integer.
131 :< integer.
132 :< integer.
133 :< integer.
134 :< integer.
135 :< integer.
136 :< integer.
137 :< integer.
138 :< integer.
139 :< integer.
140 :< integer.
141 :< integer.
142 :< integer.
143 :< integer.
144 :< integer.
145 :< integer.
146 :< integer.
147 :< integer.
148 :< integer.
149 :< integer.
150 :< integer.
151 :< integer.
152 :< integer.
153 :< integer.
154 :< integer.
155 :< integer.
156 :< integer.
157 :< integer.
158 :< integer.
159 :< integer.
160 :< integer.
161 :< integer.
162 :< integer.
163 :< integer.
164 :< integer.
165 :< integer.
166 :< integer.
167 :< integer.
168 :< integer.
169 :< integer.
170 :< integer.
171 :< integer.
172 :< integer.
173 :< integer.
174 :< integer.
175 :< integer.
176 :< integer.
177 :< integer.
178 :< integer.
179 :< integer.
180 :< integer.
181 :< integer.
182 :< integer.
183 :< integer.
184 :< integer.
185 :< integer.
186 :< integer.
187 :< integer.
188 :< integer.
189 :< integer.
190 :< integer.
191 :< integer.
192 :< integer.
193 :< integer.
194 :< integer.
195 :< integer.
196 :< integer.
197 :< integer.
198 :< integer.
199 :< integer.
200 :< integer.
201 :< integer.
202 :< integer.
203 :< integer.
204 :< integer.
205 :< integer.
206 :< integer.
207 :< integer.
208 :< integer.
209 :< integer.
210 :< integer.
211 :< integer.
212 :< integer.
213 :< integer.
214 :< integer.
215 :< integer.
216 :< integer.
217 :< integer.
218 :< integer.
219 :< integer.
220 :< integer.
221 :< integer.
222 :< integer.
223 :< integer.
224 :< integer.
225 :< integer.
226 :< integer.
227 :< integer.
228 :< integer.
229 :< integer.
230 :< integer.
231 :< integer.
232 :< integer.
233 :< integer.
234 :< integer.
235 :< integer.
236 :< integer.
237 :< integer.
238 :< integer.
239 :< integer.
240 :< integer.
241 :< integer.
242 :< integer.
243 :< integer.
244 :< integer.
245 :< integer.
246 :< integer.
247 :< integer.
248 :< integer.
249 :< integer.
250 :< integer.
251 :< integer.
252 :< integer.
253 :< integer.
254 :< integer.
255 :< integer.
256 :< integer.
257 :< integer.
258 :< integer.
259 :< integer.
260 :< integer.
261 :< integer.
262 :< integer.
263 :< integer.
264 :< integer.
265 :< integer.
266 :< integer.
267 :< integer.
268 :< integer.
269 :< integer.
270 :< integer.
271 :< integer.
272 :< integer.
273 :< integer.
274 :< integer.
275 :< integer.
276 :< integer.
277 :< integer.
278 :< integer.
279 :< integer.
280 :< integer.
281 :< integer.
282 :< integer.
283 :< integer.
284 :< integer.
285 :< integer.
286 :< integer.
287 :< integer.
288 :< integer.
289 :< integer.
290 :< integer.
291 :< integer.
292 :< integer.
293 :< integer.
294 :< integer.
295 :< integer.
296 :< integer.
297 :< integer.
298 :< integer.
299 :< integer.
300 :< integer.
301 :< integer.
302 :< integer.
303 :< integer.
304 :< integer.
305 :< integer.
306 :< integer.
307 :< integer.
308 :< integer.
309 :< integer.
310 :< integer.
311 :< integer.
312 :< integer.
313 :< integer.
314 :< integer.
315 :< integer.
316 :< integer.
317 :< integer.
318 :< integer.
319 :< integer.
320 :< integer.
321 :< integer.
322 :< integer.
323 :< integer.
324 :< integer.
325 :< integer.
326 :< integer.
327 :< integer.
328 :< integer.
329 :< integer.
330 :< integer.
331 :< integer.
332 :< integer.
333 :< integer.
334 :< integer.
335 :< integer.
336 :< integer.
337 :< integer.
338 :< integer.
339 :< integer.
340 :< integer.
341 :< integer.
342 :< integer.
343 :< integer.
344 :< integer.
345 :< integer.
346 :< integer.
347 :< integer.
348 :< integer.
349 :< integer.
350 :< integer.
351 :< integer.
352 :< integer.
353 :< integer.
354 :< integer.
355 :< integer.
356 :< integer.
357 :< integer.
358 :< integer.
359 :< integer.
360 :< integer.
361 :< integer.
362 :< integer.
363 :< integer.
364 :< integer.
365 :< integer.
366 :< integer.
367 :< integer.
368 :< integer.
369 :< integer.
370 :< integer.
371 :< integer.
372 :< integer.
373 :< integer.
374 :< integer.
375 :< integer.
376 :< integer.
377 :< integer.
378 :< integer.
379 :< integer.
380 :< integer.
381 :< integer.
382 :< integer.
383 :< integer.
384 :< integer.
385 :< integer.
386 :< integer.
387 :< integer.
388 :< integer.
389 :< integer.
390 :< integer.
391 :< integer.
392 :< integer.
393 :< integer.
394 :< integer.
395 :< integer.
396 :< integer.
397 :< integer.
398 :< integer.
399 :< integer.
400 :< integer.
401 :< integer.
402 :< integer.
403 :< integer.
404 :< integer.
405 :< integer.
406 :< integer.
407 :< integer.
408 :< integer.
409 :< integer.
410 :< integer.
411 :< integer.
412 :< integer.
413 :< integer.
414 :< integer.
415 :< integer.
416 :< integer.
417 :< integer.
418 :< integer.
419 :< integer.
420 :< integer.
421 :< integer.
422 :< integer.
423 :< integer.
424 :< integer.
425 :< integer.
426 :< integer.
427 :< integer.
428 :< integer.
429 :< integer.
430 :< integer.
431 :< integer.
432 :< integer.
433 :< integer.
434 :< integer.
435 :< integer.
436 :< integer.
437 :< integer.
438 :< integer.
439 :< integer.
440 :< integer.
441 :< integer.
442 :< integer.
443 :< integer.
444 :< integer.
445 :< integer.
446 :< integer.
447 :< integer.
448 :< integer.
449 :< integer.
450 :< integer.
451 :< integer.
452 :< integer.
453 :< integer.
454 :< integer.
455 :< integer.
456 :< integer.
457 :< integer.
458 :< integer.
459 :< integer.
460 :< integer.
461 :< integer.
462 :< integer.
463 :< integer.
464 :< integer.
465 :< integer.
466 :< integer.
467 :< integer.
468 :< integer.
469 :< integer.
470 :< integer.
471 :< integer.
472 :< integer.
473 :< integer.
474 :< integer.
475 :< integer.
476 :< integer.
477 :< integer.
478 :< integer.
479 :< integer.
480 :< integer.
481 :< integer.
482 :< integer.
483 :< integer.
484 :< integer.
485 :< integer.
486 :< integer.
487 :< integer.
488 :< integer.
489 :< integer.
490 :< integer.
491 :< integer.
492 :< integer.
493 :< integer.
494 :< integer.
495 :< integer.
496 :< integer.
497 :< integer.
498 :< integer.
499 :< integer.
500 :< integer.
501 :< integer.
502 :< integer.
503 :< integer.
504 :< integer.
505 :< integer.
506 :< integer.
507 :< integer.
508 :< integer.
509 :< integer.
510 :< integer.
511 :< integer.
512 :< integer.
513 :< integer.
514 :< integer.
515 :< integer.
516 :< integer.
517 :< integer.
518 :< integer.
519 :< integer.
520 :< integer.
521 :< integer.
522 :< integer.
523 :< integer.
524 :< integer.
525 :< integer.
526 :< integer.
527 :< integer.
528 :< integer.
529 :< integer.
530 :< integer.
531 :< integer.
532 :< integer.
533 :< integer.
534 :< integer.
535 :< integer.
536 :< integer.
537 :< integer.
538 :< integer.
539 :< integer.
540 :< integer.
541 :< integer.
542 :< integer.
543 :< integer.
544 :< integer.
545 :< integer.
546 :< integer.
547 :< integer.
548 :< integer.
549 :< integer.
550 :< integer.
551 :< integer.
552 :< integer.
553 :< integer.
554 :< integer.
555 :< integer.
556 :< integer.
557 :< integer.
558 :< integer.
559 :< integer.
560 :< integer.
562 :< integer.
563 :< integer.
564 :< integer.
565 :< integer.
566 :< integer.
567 :< integer.
568 :< integer.
569 :< integer.
570 :< integer.
571 :< integer.
572 :< integer.
573 :< integer.
574 :< integer.
575 :< integer.
576 :< integer.
577 :< integer.
578 :< integer.
579 :< integer.
580 :< integer.
581 :< integer.
582 :< integer.
583 :< integer.
584 :< integer.
585 :< integer.
586 :< integer.
587 :< integer.
588 :< integer.
589 :< integer.
590 :< integer.
591 :< integer.
592 :< integer.
593 :< integer.
594 :< integer.
595 :< integer.
596 :< integer.
597 :< integer.
598 :< integer.
599 :< integer.
600 :< integer.
601 :< integer.
602 :< integer.
603 :< integer.
604 :< integer.
605 :< integer.
606 :< integer.
607 :< integer.
608 :< integer.
609 :< integer.
610 :< integer.
611 :< integer.
612 :< integer.
613 :< integer.
614 :< integer.
615 :< integer.
616 :< integer.
617 :< integer.
618 :< integer.
619 :< integer.
620 :< integer.
621 :< integer.
622 :< integer.
623 :< integer.
624 :< integer.
625 :< integer.
626 :< integer.
627 :< integer.
628 :< integer.
629 :< integer.
630 :< integer.
631 :< integer.
632 :< integer.
633 :< integer.
634 :< integer.
635 :< integer.
636 :< integer.
637 :< integer.
638 :< integer.
639 :< integer.
640 :< integer.
642 :< integer.
643 :< integer.
644 :< integer.
645 :< integer.
646 :< integer.
647 :< integer.
648 :< integer.
649 :< integer.
650 :< integer.
651 :< integer.
652 :< integer.
653 :< integer.
654 :< integer.
655 :< integer.
656 :< integer.
657 :< integer.
658 :< integer.
659 :< integer.
660 :< integer.
661 :< integer.
662 :< integer.
663 :< integer.
664 :< integer.
665 :< integer.
666 :< integer.
667 :< integer.
668 :< integer.
669 :< integer.
670 :< integer.
671 :< integer.
672 :< integer.
673 :< integer.
674 :< integer.
675 :< integer.
676 :< integer.
677 :< integer.
678 :< integer.
679 :< integer.
680 :< integer.
681 :< integer.
682 :< integer.
683 :< integer.
684 :< integer.
685 :< integer.
686 :< integer.
687 :< integer.
688 :< integer.
689 :< integer.
690 :< integer.
691 :< integer.
692 :< integer.
693 :< integer.
694 :< integer.
695 :< integer.
696 :< integer.
697 :< integer.
698 :< integer.
699 :< integer.
700 :< integer.
701 :< integer.
702 :< integer.
703 :< integer.
704 :< integer.
705 :< integer.
706 :< integer.
707 :< integer.
708 :< integer.
709 :< integer.
710 :< integer.
711 :< integer.
712 :< integer.
713 :< integer.
714 :< integer.
715 :< integer.
716 :< integer.
717 :< integer.
718 :< integer.
719 :< integer.
720 :< integer.
721 :< integer.
722 :< integer.
723 :< integer.
724 :< integer.
725 :< integer.
726 :< integer.
727 :< integer.
728 :< integer.
729 :< integer.
730 :< integer.
731 :< integer.
732 :< integer.
733 :< integer.
734 :< integer.
735 :< integer.
736 :< integer.
737 :< integer.
738 :< integer.
739 :< integer.
740 :< integer.
741 :< integer.
742 :< integer.
743 :< integer.
744 :< integer.
745 :< integer.
746 :< integer.
747 :< integer.
748 :< integer.
749 :< integer.
750 :< integer.
751 :< integer.
752 :< integer.
753 :< integer.
754 :< integer.
755 :< integer.
756 :< integer.
757 :< integer.
758 :< integer.
759 :< integer.
760 :< integer.
761 :< integer.
762 :< integer.
763 :< integer.
764 :< integer.
765 :< integer.
766 :< integer.
767 :< integer.
768 :< integer.
769 :< integer.
770 :< integer.
771 :< integer.
772 :< integer.
773 :< integer.
774 :< integer.
775 :< integer.
776 :< integer.
777 :< integer.
778 :< integer.
779 :< integer.
780 :< integer.
781 :< integer.
782 :< integer.
783 :< integer.
784 :< integer.
785 :< integer.
786 :< integer.
787 :< integer.
788 :< integer.
789 :< integer.
790 :< integer.
791 :< integer.
792 :< integer.
793 :< integer.
794 :< integer.
795 :< integer.
796 :< integer.
797 :< integer.
798 :< integer.
799 :< integer.
800 :< integer.
801 :< integer.
802 :< integer.
803 :< integer.
804 :< integer.
805 :< integer.
806 :< integer.
807 :< integer.
808 :< integer.
809 :< integer.
810 :< integer.
811 :< integer.
812 :< integer.
813 :< integer.
814 :< integer.
815 :< integer.
816 :< integer.
817 :< integer.
818 :< integer.
819 :< integer.
820 :< integer.
821 :< integer.
822 :< integer.
823 :< integer.
824 :< integer.
825 :< integer.
826 :< integer.
827 :< integer.
828 :< integer.
829 :< integer.
830 :< integer.
831 :< integer.
832 :< integer.
833 :< integer.
834 :< integer.
835 :< integer.
836 :< integer.
837 :< integer.
838 :< integer.
839 :< integer.
840 :< integer.
841 :< integer.
842 :< integer.
843 :< integer.
844 :< integer.
845 :< integer.
846 :< integer.
847 :< integer.
848 :< integer.
849 :< integer.
850 :< integer.
851 :< integer.
852 :< integer.
853 :< integer.
854 :< integer.
855 :< integer.
856 :< integer.
857 :< integer.
858 :< integer.
859 :< integer.
860 :< integer.
861 :< integer.
862 :< integer.
863 :< integer.
864 :< integer.
865 :< integer.
866 :< integer.
867 :< integer.
868 :< integer.
869 :< integer.
870 :< integer.
871 :< integer.
872 :< integer.
873 :< integer.
874 :< integer.
875 :< integer.
876 :< integer.
877 :< integer.
878 :< integer.
879 :< integer.
880 :< integer.
881 :< integer.
882 :< integer.
883 :< integer.
884 :< integer.
885 :< integer.
886 :< integer.
887 :< integer.
888 :< integer.
889 :< integer.
890 :< integer.
891 :< integer.
892 :< integer.
893 :< integer.
894 :< integer.
895 :< integer.
896 :< integer.
897 :< integer.
898 :< integer.
899 :< integer.
900 :< integer.
901 :< integer.
902 :< integer.
903 :< integer.
904 :< integer.
905 :< integer.
906 :< integer.
907 :< integer.
908 :< integer.
909 :< integer.
910 :< integer.
911 :< integer.
912 :< integer.
913 :< integer.
914 :< integer.
915 :< integer.
916 :< integer.
917 :< integer.
918 :< integer.
919 :< integer.
920 :< integer.
921 :< integer.
922 :< integer.
923 :< integer.
924 :< integer.
925 :< integer.
926 :< integer.
927 :< integer.
928 :< integer.
929 :< integer.
930 :< integer.
931 :< integer.
932 :< integer.
933 :< integer.
934 :< integer.
935 :< integer.
936 :< integer.
937 :< integer.
938 :< integer.
939 :< integer.
940 :< integer.
941 :< integer.
942 :< integer.
943 :< integer.
944 :< integer.
945 :< integer.
946 :< integer.
947 :< integer.
948 :< integer.
949 :< integer.
950 :< integer.
951 :< integer.
952 :< integer.
953 :< integer.
954 :< integer.
955 :< integer.
956 :< integer.
957 :< integer.
958 :< integer.
959 :< integer.
960 :< integer.
961 :< integer.
962 :< integer.
963 :< integer.
964 :< integer.
965 :< integer.
966 :< integer.
967 :< integer.
968 :< integer.
969 :< integer.
970 :< integer.
971 :< integer.
972 :< integer.
973 :< integer.
974 :< integer.
975 :< integer.
976 :< integer.
977 :< integer.
978 :< integer.
979 :< integer.
980 :< integer.
981 :< integer.
982 :< integer.
983 :< integer.
984 :< integer.
985 :< integer.
986 :< integer.
987 :< integer.
988 :< integer.
989 :< integer.
990 :< integer.
991 :< integer.
992 :< integer.
993 :< integer.
994 :< integer.
995 :< integer.
996 :< integer.
997 :< integer.
998 :< integer.
999 :< integer.
1000 :< integer.
1001 :< integer.
1002 :< integer.
1003 :< integer.
1004 :< integer.
1005 :< integer.
1006 :< integer.
1007 :< integer.
1008 :< integer.
1009 :< integer.
1010 :< integer.
1011 :< integer.
1012 :< integer.
1013 :< integer.
1014 :< integer.
1015 :< integer.
1016 :< integer.
1017 :< integer.
1018 :< integer.
1019 :< integer.
1020 :< integer.
1021 :< integer.
1022 :< integer.
1023 :< integer.
1024 :< integer.
1025 :< integer.
1026 :< integer.
1027 :< integer.
1028 :< integer.
1029 :< integer.
1030 :< integer.
1031 :< integer.
1032 :< integer.
1033 :< integer.
1034 :< integer.
1035 :< integer.
1036 :< integer.
1037 :< integer.
1038 :< integer.
1039 :< integer.
1040 :< integer.
1041 :< integer.
1042 :< integer.
1043 :< integer.
1044 :< integer.
1045 :< integer.
1046 :< integer.
1047 :< integer.
1048 :< integer.
1049 :< integer.
1050 :< integer.
1051 :< integer.
1052 :< integer.
1053 :< integer.
1054 :< integer.
1055 :< integer.
1056 :< integer.
1057 :< integer.
1058 :< integer.
1059 :< integer.
1060 :< integer.
1061 :< integer.
1062 :< integer.
1063 :< integer.
1064 :< integer.
1065 :< integer.
1066 :< integer.
1067 :< integer.
1068 :< integer.
1069 :< integer.
1070 :< integer.
1071 :< integer.
1072 :< integer.
1073 :< integer.
1074 :< integer.
1075 :< integer.
1076 :< integer.
1077 :< integer.
1078 :< integer.
1079 :< integer.
1080 :< integer.
1081 :< integer.
1082 :< integer.
1083 :< integer.
1084 :< integer.
1085 :< integer.
1086 :< integer.
1087 :< integer.
1088 :< integer.
1089 :< integer.
1090 :< integer.
1091 :< integer.
1092 :< integer.
1093 :< integer.
1094 :< integer.
1095 :< integer.
1096 :< integer.
1097 :< integer.
1098 :< integer.
1099 :< integer.
1100 :< integer.
1101 :< integer.
1102 :< integer.
1103 :< integer.
1104 :< integer.
1105 :< integer.
1106 :< integer.
1107 :< integer.
1108 :< integer.
1109 :< integer.
1110 :< integer.
1111 :< integer.
1112 :< integer.
1113 :< integer.
1114 :< integer.
1115 :< integer.
1116 :< integer.
1117 :< integer.
1118 :< integer.
1119 :< integer.
1120 :< integer.
1121 :< integer.
1122 :< integer.
1123 :< integer.
1124 :< integer.
1125 :< integer.
1126 :< integer.
1127 :< integer.
1128 :< integer.
1129 :< integer.
1130 :< integer.
1131 :< integer.
1132 :< integer.
1133 :< integer.
1134 :< integer.
1135 :< integer.
1136 :< integer.
1137 :< integer.
1138 :< integer.
1139 :< integer.
1140 :< integer.
1141 :< integer.
1142 :< integer.
1143 :< integer.
1144 :< integer.
1145 :< integer.
1146 :< integer.
1147 :< integer.
1148 :< integer.
1149 :< integer.
1150 :< integer.
1151 :< integer.
1152 :< integer.
1153 :< integer.
1154 :< integer.
1155 :< integer.
1156 :< integer.
1157 :< integer.
1158 :< integer.
1159 :< integer.
1160 :< integer.
1161 :< integer.
1162 :< integer.
1163 :< integer.
1164 :< integer.
1165 :< integer.
1166 :< integer.
1167 :< integer.
1168 :< integer.
1169 :< integer.
1170 :< integer.
1171 :< integer.
1172 :< integer.
1173 :< integer.
1174 :< integer.
1175 :< integer.
1176 :< integer.
1177 :< integer.
1178 :< integer.
1179 :< integer.
1180 :< integer.
1181 :< integer.
1182 :< integer.
1183 :< integer.
1184 :< integer.
1185 :< integer.
1186 :< integer.
1187 :< integer.
1188 :< integer.
1189 :< integer.
1190 :< integer.
1191 :< integer.
1192 :< integer.
1193 :< integer.
1194 :< integer.
1195 :< integer.
1196 :< integer.
1197 :< integer.
1198 :< integer.
1199 :< integer.
1200 :< integer.
1201 :< integer.
1202 :< integer.
1203 :< integer.
1204 :< integer.
1205 :< integer.
1206 :< integer.
1207 :< integer.
1208 :< integer.
1209 :< integer.
1210 :< integer.
1211 :< integer.
1212 :< integer.
1213 :< integer.
1214 :< integer.
1215 :< integer.
1216 :< integer.
1217 :< integer.
1218 :< integer.
1219 :< integer.
1220 :< integer.
1221 :< integer.
1222 :< integer.
1223 :< integer.
1224 :< integer.
1225 :< integer.
1226 :< integer.
1227 :< integer.
1228 :< integer.
1229 :< integer.
1230 :< integer.
1231 :< integer.
1232 :< integer.
1233 :< integer.
1234 :< integer.
1235 :< integer.
1236 :< integer.
1237 :< integer.
1238 :< integer.
1239 :< integer.
1240 :< integer.
1241 :< integer.
1242 :< integer.
1243 :< integer.
1244 :< integer.
1245 :< integer.
1246 :< integer.
1247 :< integer.
1248 :< integer.
1249 :< integer.
1250 :< integer.
1251 :< integer.
1252 :< integer.
1253 :< integer.
1254 :< integer.
1255 :< integer.
1256 :< integer.
1257 :< integer.
1258 :< integer.
1259 :< integer.
1260 :< integer.
1261 :< integer.
1262 :< integer.
1263 :< integer.
1264 :< integer.
1265 :< integer.
1266 :< integer.
1267 :< integer.
1268 :< integer.
1269 :< integer.
1270 :< integer.
1271 :< integer.
1272 :< integer.
1273 :< integer.
1274 :< integer.
1275 :< integer.
1276 :< integer.
1277 :< integer.
1278 :< integer.
1279 :< integer.
1280 :< integer.
1281 :< integer.
1282 :< integer.
1283 :< integer.
1284 :< integer.
1285 :< integer.
1286 :< integer.
1287 :< integer.
1288 :< integer.
1289 :< integer.
1290 :< integer.
1291 :< integer.
1292 :< integer.
1293 :< integer.
1294 :< integer.
1295 :< integer.
1296 :< integer.
1297 :< integer.
1298 :< integer.
1299 :< integer.


1300 :< integer.
1301 :< integer.
1302 :< integer.
1303 :< integer.
1304 :< integer.
1305 :< integer.
1306 :< integer.
1307 :< integer.
1308 :< integer.
1309 :< integer.
1310 :< integer.
1311 :< integer.
1312 :< integer.
1313 :< integer.
1314 :< integer.
1315 :< integer.
1316 :< integer.
1317 :< integer.
1318 :< integer.
1319 :< integer.
1320 :< integer.
1321 :< integer.
1322 :< integer.
1323 :< integer.
1324 :< integer.
1325 :< integer.
1326 :< integer.
1327 :< integer.
|#

#|
1328 :< integer.
1329 :< integer.
1330 :< integer.
1331 :< integer.
1332 :< integer.
1333 :< integer.
1334 :< integer.
1335 :< integer.
1336 :< integer.
1337 :< integer.
1338 :< integer.
1339 :< integer.
1340 :< integer.
1341 :< integer.
1342 :< integer.
1343 :< integer.
1344 :< integer.
1345 :< integer.
1346 :< integer.
1347 :< integer.
1348 :< integer.
1349 :< integer.
1350 :< integer.
1351 :< integer.
1352 :< integer.
1353 :< integer.
1354 :< integer.
1355 :< integer.
1356 :< integer.
1357 :< integer.
1358 :< integer.
1359 :< integer.
1360 :< integer.
1361 :< integer.
1362 :< integer.
1363 :< integer.
1364 :< integer.
1365 :< integer.
1366 :< integer.
1367 :< integer.
1368 :< integer.
1369 :< integer.
1370 :< integer.
1371 :< integer.
1372 :< integer.
1373 :< integer.
1374 :< integer.
1375 :< integer.
1376 :< integer.
1377 :< integer.
1378 :< integer.
1379 :< integer.
1380 :< integer.
1381 :< integer.
1382 :< integer.
1383 :< integer.
1384 :< integer.
1385 :< integer.
1386 :< integer.
1387 :< integer.
1388 :< integer.
1389 :< integer.
1390 :< integer.
1391 :< integer.
1392 :< integer.
1393 :< integer.
1394 :< integer.
1395 :< integer.
1396 :< integer.
1397 :< integer.
1398 :< integer.
1399 :< integer.



1400 :< integer.


1401 :< integer.
1402 :< integer.
1403 :< integer.
1404 :< integer.
1405 :< integer.
1406 :< integer.
1407 :< integer.
1408 :< integer.
1409 :< integer.
1410 :< integer.
1411 :< integer.
1412 :< integer.
1413 :< integer.
1414 :< integer.
1415 :< integer.
1416 :< integer.
1417 :< integer.
1418 :< integer.
1419 :< integer.
1420 :< integer.
1421 :< integer.
1422 :< integer.
1423 :< integer.
1424 :< integer.
1425 :< integer.
1426 :< integer.
1427 :< integer.
1428 :< integer.
1429 :< integer.
1430 :< integer.
1431 :< integer.
1432 :< integer.
1433 :< integer.
1434 :< integer.
1435 :< integer.
1436 :< integer.
1437 :< integer.
1438 :< integer.
1439 :< integer.
1440 :< integer.
1441 :< integer.
1442 :< integer.
1443 :< integer.
1444 :< integer.
1445 :< integer.
1446 :< integer.
1447 :< integer.
1448 :< integer.
1449 :< integer.
1450 :< integer.
1451 :< integer.
1452 :< integer.
1453 :< integer.
1454 :< integer.
1455 :< integer.
1456 :< integer.
1457 :< integer.
1458 :< integer.
1459 :< integer.
1460 :< integer.
1461 :< integer.
1462 :< integer.
1463 :< integer.
1464 :< integer.
1465 :< integer.
1466 :< integer.
1467 :< integer.
1468 :< integer.
1469 :< integer.
1470 :< integer.
1471 :< integer.
1472 :< integer.
1473 :< integer.
1474 :< integer.
1475 :< integer.
1476 :< integer.
1477 :< integer.
1478 :< integer.
1479 :< integer.
1480 :< integer.
1481 :< integer.
1482 :< integer.
1483 :< integer.
1484 :< integer.
1485 :< integer.
1486 :< integer.
1487 :< integer.
1488 :< integer.
1489 :< integer.
1490 :< integer.
1491 :< integer.
1492 :< integer.
1493 :< integer.
1494 :< integer.
1495 :< integer.
1496 :< integer.
1497 :< integer.
1498 :< integer.
1499 :< integer.
1500 :< integer.
1501 :< integer.
1502 :< integer.
1503 :< integer.
1504 :< integer.
1505 :< integer.
1506 :< integer.
1507 :< integer.
1508 :< integer.
1509 :< integer.
1510 :< integer.
1511 :< integer.
1512 :< integer.
1513 :< integer.
1514 :< integer.
1515 :< integer.
1516 :< integer.
1517 :< integer.
1518 :< integer.
1519 :< integer.
1520 :< integer.
1521 :< integer.
1522 :< integer.
1523 :< integer.
1524 :< integer.
1525 :< integer.
1526 :< integer.
1527 :< integer.
1528 :< integer.
1529 :< integer.
1530 :< integer.
1531 :< integer.
1532 :< integer.
1533 :< integer.
1534 :< integer.
1535 :< integer.
1536 :< integer.
1537 :< integer.
1538 :< integer.
1539 :< integer.
1540 :< integer.
1541 :< integer.
1542 :< integer.
1543 :< integer.
1544 :< integer.
1545 :< integer.
1546 :< integer.
1547 :< integer.
1548 :< integer.
1549 :< integer.
1550 :< integer.
1551 :< integer.
1552 :< integer.
1553 :< integer.
1554 :< integer.
1555 :< integer.
1556 :< integer.
1557 :< integer.
1558 :< integer.
1559 :< integer.
1560 :< integer.
1561 :< integer.
1562 :< integer.
1563 :< integer.
1564 :< integer.
1565 :< integer.
1566 :< integer.
1567 :< integer.
1568 :< integer.
1569 :< integer.
1570 :< integer.
1571 :< integer.
1572 :< integer.
1573 :< integer.
1574 :< integer.
1575 :< integer.
1576 :< integer.
1577 :< integer.
1578 :< integer.
1579 :< integer.
1580 :< integer.
1581 :< integer.
1582 :< integer.
1583 :< integer.
1584 :< integer.
1585 :< integer.
1586 :< integer.
1587 :< integer.
1588 :< integer.
1589 :< integer.
1590 :< integer.
1591 :< integer.
1592 :< integer.
1593 :< integer.
1594 :< integer.
1595 :< integer.
1596 :< integer.
1597 :< integer.
1598 :< integer.
1599 :< integer.
1600 :< integer.
1601 :< integer.
1602 :< integer.
1603 :< integer.
1604 :< integer.
1605 :< integer.
1606 :< integer.
1607 :< integer.
1608 :< integer.
1609 :< integer.
1610 :< integer.
1611 :< integer.
1612 :< integer.
1613 :< integer.
1614 :< integer.
1615 :< integer.
1616 :< integer.
1617 :< integer.
1618 :< integer.
1619 :< integer.
1620 :< integer.
1621 :< integer.
1622 :< integer.
1623 :< integer.
1624 :< integer.
1625 :< integer.
1626 :< integer.
1627 :< integer.
1628 :< integer.
1629 :< integer.
1630 :< integer.
1631 :< integer.
1632 :< integer.
1633 :< integer.
1634 :< integer.
1635 :< integer.
1636 :< integer.
1637 :< integer.
1638 :< integer.
1639 :< integer.
1640 :< integer.
1641 :< integer.
1642 :< integer.
1643 :< integer.
1644 :< integer.
1645 :< integer.
1646 :< integer.
1647 :< integer.
1648 :< integer.
1649 :< integer.
1650 :< integer.
1651 :< integer.
1652 :< integer.
1653 :< integer.
1654 :< integer.
1655 :< integer.
1656 :< integer.
1657 :< integer.
1658 :< integer.
1659 :< integer.
1660 :< integer.
1661 :< integer.
1662 :< integer.
1663 :< integer.
1664 :< integer.
1665 :< integer.
1666 :< integer.
1667 :< integer.
1668 :< integer.
1669 :< integer.
1670 :< integer.
1671 :< integer.
1672 :< integer.
1673 :< integer.
1674 :< integer.
1675 :< integer.
1676 :< integer.
1677 :< integer.
1678 :< integer.
1679 :< integer.
1680 :< integer.
1681 :< integer.
1682 :< integer.
1683 :< integer.
1684 :< integer.
1685 :< integer.
1686 :< integer.
1687 :< integer.
1688 :< integer.
1689 :< integer.
1690 :< integer.
1691 :< integer.
1692 :< integer.
1693 :< integer.
1694 :< integer.
1695 :< integer.
1696 :< integer.
1697 :< integer.
1698 :< integer.
1699 :< integer.
1700 :< integer.
1701 :< integer.
1702 :< integer.
1703 :< integer.
1704 :< integer.
1705 :< integer.
1706 :< integer.
1707 :< integer.
1708 :< integer.
1709 :< integer.
1710 :< integer.
1711 :< integer.
1712 :< integer.
1713 :< integer.
1714 :< integer.
1715 :< integer.
1716 :< integer.
1717 :< integer.
1718 :< integer.
1719 :< integer.
1720 :< integer.
1721 :< integer.
1722 :< integer.
1723 :< integer.
1724 :< integer.
1725 :< integer.
1726 :< integer.
1727 :< integer.
1728 :< integer.
1729 :< integer.
1730 :< integer.
1731 :< integer.
1732 :< integer.
1733 :< integer.
1734 :< integer.
1735 :< integer.
1736 :< integer.
1737 :< integer.
1738 :< integer.
1739 :< integer.
1740 :< integer.
1741 :< integer.
1742 :< integer.
1743 :< integer.
1744 :< integer.
1745 :< integer.
1746 :< integer.
1747 :< integer.
1748 :< integer.
1749 :< integer.
1750 :< integer.
1751 :< integer.
1752 :< integer.
1753 :< integer.
1754 :< integer.
1755 :< integer.
1756 :< integer.
1757 :< integer.
1758 :< integer.
1759 :< integer.
1760 :< integer.
1761 :< integer.
1762 :< integer.
1763 :< integer.
1764 :< integer.
1765 :< integer.
1766 :< integer.
1767 :< integer.
1768 :< integer.
1769 :< integer.
1770 :< integer.
1771 :< integer.
1772 :< integer.
1773 :< integer.
1774 :< integer.
1775 :< integer.
1776 :< integer.
1777 :< integer.
1778 :< integer.
1779 :< integer.
1780 :< integer.
1781 :< integer.
1782 :< integer.
1783 :< integer.
1784 :< integer.
1785 :< integer.
1786 :< integer.
1787 :< integer.
1788 :< integer.
1789 :< integer.
1790 :< integer.
1791 :< integer.
1792 :< integer.
1793 :< integer.
1794 :< integer.
1795 :< integer.
1796 :< integer.
1797 :< integer.
1798 :< integer.
1799 :< integer.
1800 :< integer.
1801 :< integer.
1802 :< integer.
1803 :< integer.
1804 :< integer.
1805 :< integer.
1806 :< integer.
1807 :< integer.
1808 :< integer.
1809 :< integer.
1810 :< integer.
1811 :< integer.
1812 :< integer.
1813 :< integer.
1814 :< integer.
1815 :< integer.
1816 :< integer.
1817 :< integer.
1818 :< integer.
1819 :< integer.
1820 :< integer.
1821 :< integer.
1822 :< integer.
1823 :< integer.
1824 :< integer.
1825 :< integer.
1826 :< integer.
1827 :< integer.
1828 :< integer.
1829 :< integer.
1830 :< integer.
1831 :< integer.
1832 :< integer.
1833 :< integer.
1834 :< integer.
1835 :< integer.
1836 :< integer.
1837 :< integer.
1838 :< integer.
1839 :< integer.
1840 :< integer.
1841 :< integer.
1842 :< integer.
1843 :< integer.
1844 :< integer.
1845 :< integer.
1846 :< integer.
1847 :< integer.
1848 :< integer.
1849 :< integer.
1850 :< integer.
1851 :< integer.
1852 :< integer.
1853 :< integer.
1854 :< integer.
1855 :< integer.
1856 :< integer.
1857 :< integer.
1858 :< integer.
1859 :< integer.
1860 :< integer.
1861 :< integer.
1862 :< integer.
1863 :< integer.
1864 :< integer.
1865 :< integer.
1866 :< integer.
1867 :< integer.
1868 :< integer.
1869 :< integer.
1870 :< integer.
1871 :< integer.
1872 :< integer.
1873 :< integer.
1874 :< integer.
1875 :< integer.
1876 :< integer.
1877 :< integer.
1878 :< integer.
1879 :< integer.
1880 :< integer.
1881 :< integer.
1882 :< integer.
1883 :< integer.
1884 :< integer.
1885 :< integer.
1886 :< integer.
1887 :< integer.
1888 :< integer.
1889 :< integer.
1890 :< integer.
1891 :< integer.
1892 :< integer.
1893 :< integer.
1894 :< integer.
1895 :< integer.
1896 :< integer.
1897 :< integer.
1898 :< integer.
1899 :< integer.
1900 :< integer.
1901 :< integer.
1902 :< integer.
1903 :< integer.
1904 :< integer.
1905 :< integer.
1906 :< integer.
1907 :< integer.
1908 :< integer.
1909 :< integer.
1910 :< integer.
1911 :< integer.
1912 :< integer.
1913 :< integer.
1914 :< integer.
1915 :< integer.
1916 :< integer.
1917 :< integer.
1918 :< integer.
1919 :< integer.
1920 :< integer.
1921 :< integer.
1922 :< integer.
1923 :< integer.
1924 :< integer.
1925 :< integer.
1926 :< integer.
1927 :< integer.
1928 :< integer.
1929 :< integer.
1930 :< integer.
1931 :< integer.
1932 :< integer.
1933 :< integer.
1934 :< integer.
1935 :< integer.
1936 :< integer.
1937 :< integer.
1938 :< integer.
1939 :< integer.
1940 :< integer.
1941 :< integer.
1942 :< integer.
1943 :< integer.
1944 :< integer.
1945 :< integer.
1946 :< integer.
1947 :< integer.
1948 :< integer.
1949 :< integer.
1950 :< integer.
1951 :< integer.
1952 :< integer.
1953 :< integer.
1954 :< integer.
1955 :< integer.
1956 :< integer.
1957 :< integer.
1958 :< integer.
1959 :< integer.
1960 :< integer.
1961 :< integer.
1962 :< integer.
1963 :< integer.
1964 :< integer.
1965 :< integer.
1966 :< integer.
1967 :< integer.
1968 :< integer.
1969 :< integer.
1970 :< integer.
1971 :< integer.
1972 :< integer.
1973 :< integer.
1974 :< integer.
1975 :< integer.
1976 :< integer.
1977 :< integer.
1978 :< integer.
1979 :< integer.
1980 :< integer.
1981 :< integer.
1982 :< integer.
1983 :< integer.
1984 :< integer.
1985 :< integer.
1986 :< integer.
1987 :< integer.
1988 :< integer.
1989 :< integer.
1990 :< integer.
1991 :< integer.
1992 :< integer.
1993 :< integer.
1994 :< integer.
1995 :< integer.
1996 :< integer.
1997 :< integer.
1998 :< integer.
1999 :< integer.
2000 :< integer.
2001 :< integer.
2002 :< integer.
2003 :< integer.
2004 :< integer.
2005 :< integer.
2006 :< integer.
2007 :< integer.
2008 :< integer.
2009 :< integer.
2010 :< integer.
2011 :< integer.
2012 :< integer.
2013 :< integer.
2014 :< integer.
2015 :< integer.
2016 :< integer.
2017 :< integer.
2018 :< integer.
2019 :< integer.
2020 :< integer.
2021 :< integer.
2022 :< integer.
2023 :< integer.
2024 :< integer.
2025 :< integer.
2026 :< integer.
2027 :< integer.
2028 :< integer.
2029 :< integer.
2030 :< integer.
2031 :< integer.
2032 :< integer.
2033 :< integer.
2034 :< integer.
2035 :< integer.
2036 :< integer.
2037 :< integer.
2038 :< integer.
2039 :< integer.
2040 :< integer.
2041 :< integer.
2042 :< integer.
2043 :< integer.
2044 :< integer.
2045 :< integer.
2046 :< integer.
2047 :< integer.
2048 :< integer.
2049 :< integer.
2050 :< integer.
2051 :< integer.
2052 :< integer.
2053 :< integer.
2054 :< integer.
2055 :< integer.
2056 :< integer.
2057 :< integer.
2058 :< integer.
2059 :< integer.
2060 :< integer.
2061 :< integer.
2062 :< integer.
2063 :< integer.
2064 :< integer.
2065 :< integer.
2066 :< integer.
2067 :< integer.
2068 :< integer.
2069 :< integer.
2070 :< integer.
2071 :< integer.
2072 :< integer.
2073 :< integer.
2074 :< integer.
2075 :< integer.
2076 :< integer.
2077 :< integer.
2078 :< integer.
2079 :< integer.
2080 :< integer.
2081 :< integer.
2082 :< integer.
2083 :< integer.
2084 :< integer.
2085 :< integer.
2086 :< integer.
2087 :< integer.
2088 :< integer.
2089 :< integer.
2090 :< integer.
2091 :< integer.
2092 :< integer.
2093 :< integer.
2094 :< integer.
2095 :< integer.
2096 :< integer.
2097 :< integer.
2098 :< integer.
2099 :< integer.
2100 :< integer.
2101 :< integer.
2102 :< integer.
2103 :< integer.
2104 :< integer.
2105 :< integer.
2106 :< integer.
2107 :< integer.
2108 :< integer.
2109 :< integer.
2110 :< integer.
2111 :< integer.
2112 :< integer.
2113 :< integer.
2114 :< integer.
2115 :< integer.
2116 :< integer.
2117 :< integer.
2118 :< integer.
2119 :< integer.
2120 :< integer.
2121 :< integer.
2122 :< integer.
2123 :< integer.
2124 :< integer.
2125 :< integer.
2126 :< integer.
2127 :< integer.
2128 :< integer.
2129 :< integer.
2130 :< integer.
2131 :< integer.
2132 :< integer.
2133 :< integer.
2134 :< integer.
2135 :< integer.
2136 :< integer.
2137 :< integer.
2138 :< integer.
2139 :< integer.
2140 :< integer.
2141 :< integer.
2142 :< integer.
2143 :< integer.
2144 :< integer.
2145 :< integer.
2146 :< integer.
2147 :< integer.
2148 :< integer.
2149 :< integer.
2150 :< integer.
2151 :< integer.
2152 :< integer.
2153 :< integer.
2154 :< integer.
2155 :< integer.
2156 :< integer.
2157 :< integer.
2158 :< integer.
2159 :< integer.
2160 :< integer.
2161 :< integer.
2162 :< integer.
2163 :< integer.
2164 :< integer.
2165 :< integer.
2166 :< integer.
2167 :< integer.
2168 :< integer.
2169 :< integer.
2170 :< integer.
2171 :< integer.
2172 :< integer.
2173 :< integer.
2174 :< integer.
2175 :< integer.
2176 :< integer.
2177 :< integer.
2178 :< integer.
2179 :< integer.
2180 :< integer.
2181 :< integer.
2182 :< integer.
2183 :< integer.
2184 :< integer.
2185 :< integer.
2186 :< integer.
2187 :< integer.
2188 :< integer.
2189 :< integer.
2190 :< integer.
2191 :< integer.
2192 :< integer.
2193 :< integer.
2194 :< integer.
2195 :< integer.
2196 :< integer.
2197 :< integer.
2198 :< integer.
2199 :< integer.
2200 :< integer.
2204 :< integer.
2220 :< integer.
2250 :< integer.
2258 :< integer.
2273 :< integer.
2275 :< integer.
2300 :< integer.
2370 :< integer.
2400 :< integer.
2450 :< integer.
2454 :< integer.
2465 :< integer.
2500 :< integer.
2549 :< integer.
2593 :< integer.
2600 :< integer.
2647 :< integer.
2650 :< integer.
2684 :< integer.
2700 :< integer.
2736 :< integer.
2800 :< integer.
2900 :< integer.
2932 :< integer.
3000 :< integer.
3001 :< integer.
3036 :< integer.
3100 :< integer.
3150 :< integer.
3181 :< integer.
3200 :< integer.
3214 :< integer.
3231 :< integer.
3300 :< integer.
3305 :< integer.
3343 :< integer.
3351 :< integer.
3400 :< integer.
3500 :< integer.
3600 :< integer.
3646 :< integer.
3700 :< integer.
3757 :< integer.
3800 :< integer.
3828 :< integer.
3836 :< integer.
3870 :< integer.
3890 :< integer.
3900 :< integer.
4000 :< integer.
4100 :< integer.
4200 :< integer.
4224 :< integer.
4300 :< integer.
4340 :< integer.
4374 :< integer.
4400 :< integer.
4465 :< integer.
4500 :< integer.
4556 :< integer.
4600 :< integer.
4700 :< integer.
4762 :< integer.
4800 :< integer.
4900 :< integer.
5000 :< integer.
5100 :< integer.
5111 :< integer.
5200 :< integer.
5300 :< integer.
5358 :< integer.
5400 :< integer.
5462 :< integer.
5500 :< integer.
5600 :< integer.
5616 :< integer.
5700 :< integer.
5800 :< integer.
5900 :< integer.
6000 :< integer.
6039 :< integer.
6081 :< integer.
6100 :< integer.
6107 :< integer.
6200 :< integer.
6220 :< integer.
6221 :< integer.
6228 :< integer.
6300 :< integer.
6350 :< integer.
6368 :< integer.
6400 :< integer.
6500 :< integer.
6572 :< integer.
6600 :< integer.
6630 :< integer.
6700 :< integer.
6800 :< integer.
6900 :< integer.
7000 :< integer.
7100 :< integer.
7170 :< integer.
7200 :< integer.
7203 :< integer.
7300 :< integer.
7400 :< integer.
7408 :< integer.
7500 :< integer.
7529 :< integer.
7600 :< integer.
7700 :< integer.
7777 :< integer.
7800 :< integer.
7847 :< integer.
7900 :< integer.
8000 :< integer.
8100 :< integer.
8192 :< integer.
8200 :< integer.
8290 :< integer.
8300 :< integer.
8365 :< integer.
8400 :< integer.
8412 :< integer.
8500 :< integer.
8600 :< integer.
8627 :< integer.
8700 :< integer.
8705 :< integer.
8800 :< integer.
8805 :< integer.
8870 :< integer.
8900 :< integer.
9000 :< integer.
9100 :< integer.
9175 :< integer.
9200 :< integer.
9300 :< integer.
9400 :< integer.
9500 :< integer.
9600 :< integer.
9696 :< integer.
9700 :< integer.
9800 :< integer.
9900 :< integer.
9918 :< integer.
9971 :< integer.
10000 :< integer.
10014 :< integer.
11000 :< integer.
11334 :< integer.
11617 :< integer.
12000 :< integer.
13000 :< integer.
13789 :< integer.
13900 :< integer.
14000 :< integer.
14006 :< integer.
14500 :< integer.
14600 :< integer.
14800 :< integer.
15000 :< integer.
15101 :< integer.
15200 :< integer.
15291 :< integer.
16000 :< integer.
16500 :< integer.
17000 :< integer.
17415 :< integer.
17600 :< integer.
18000 :< integer.
18287 :< integer.
19000 :< integer.
19183 :< integer.
20000 :< integer.
21000 :< integer.
22000 :< integer.
23000 :< integer.
24000 :< integer.
25000 :< integer.
25600 :< integer.
26000 :< integer.
27000 :< integer.
28000 :< integer.
28400 :< integer.
28700 :< integer.
29000 :< integer.
30000 :< integer.
31000 :< integer.
32000 :< integer.
32887 :< integer.
33000 :< integer.
33247 :< integer.
34000 :< integer.
35000 :< integer.
36000 :< integer.
36400 :< integer.
37000 :< integer.
38000 :< integer.
39000 :< integer.
40000 :< integer.
41000 :< integer.
42000 :< integer.
42859 :< integer.
43000 :< integer.
43616 :< integer.
44000 :< integer.
45000 :< integer.
45610 :< integer.
46000 :< integer.
47000 :< integer.
47821 :< integer.
48000 :< integer.
48208 :< integer.
48313 :< integer.
49000 :< integer.
50000 :< integer.
50350 :< integer.
50351 :< integer.
51000 :< integer.
52000 :< integer.
53000 :< integer.
54000 :< integer.
55000 :< integer.
56000 :< integer.
57000 :< integer.
58000 :< integer.
59000 :< integer.
60000 :< integer.
61000 :< integer.
62000 :< integer.
63000 :< integer.
64000 :< integer.
65000 :< integer.
66000 :< integer.
67000 :< integer.
68000 :< integer.
68386 :< integer.
69000 :< integer.
70000 :< integer.
71000 :< integer.
71206 :< integer.
71717 :< integer.
72000 :< integer.
73000 :< integer.
73471 :< integer.
74000 :< integer.
75000 :< integer.
76000 :< integer.
76421 :< integer.
76900 :< integer.
77000 :< integer.
78000 :< integer.
79000 :< integer.
79141 :< integer.
80000 :< integer.
81000 :< integer.
82000 :< integer.
83000 :< integer.
84000 :< integer.
84700 :< integer.
85000 :< integer.
85355 :< integer.
86000 :< integer.
87000 :< integer.
88000 :< integer.
89000 :< integer.
90000 :< integer.
91000 :< integer.
92000 :< integer.
93000 :< integer.
94000 :< integer.
95000 :< integer.
96000 :< integer.
97000 :< integer.
98000 :< integer.
99000 :< integer.
100000 :< integer.
100437 :< integer.
100660 :< integer.
105000 :< integer.
107000 :< integer.
110000 :< integer.
110900 :< integer.
117000 :< integer.
120000 :< integer.
124000 :< integer.
128000 :< integer.
130000 :< integer.
140000 :< integer.
144240 :< integer.
146350 :< integer.
150000 :< integer.
152000 :< integer.
160000 :< integer.
165000 :< integer.
170000 :< integer.
175000 :< integer.
180000 :< integer.
181088 :< integer.
190000 :< integer.
197506 :< integer.
200000 :< integer.
208000 :< integer.
210000 :< integer.
218200 :< integer.
220000 :< integer.
230000 :< integer.
236000 :< integer.
240000 :< integer.
250000 :< integer.
256000 :< integer.
260000 :< integer.
270000 :< integer.
273000 :< integer.
280000 :< integer.
281884 :< integer.
282884 :< integer.
284800 :< integer.
290000 :< integer.
300000 :< integer.
303067 :< integer.
310000 :< integer.
311992 :< integer.
315000 :< integer.
320000 :< integer.
324000 :< integer.
330000 :< integer.
330013 :< integer.
330015 :< integer.
340000 :< integer.
350000 :< integer.
360000 :< integer.
362000 :< integer.
364303 :< integer.
367900 :< integer.
370000 :< integer.
380000 :< integer.
390000 :< integer.
396000 :< integer.
400000 :< integer.
408472 :< integer.
410000 :< integer.
420000 :< integer.
430000 :< integer.
440000 :< integer.
442774 :< integer.
446000 :< integer.
450000 :< integer.
457518 :< integer.
460000 :< integer.
470000 :< integer.
480000 :< integer.
490000 :< integer.
500000 :< integer.
502009 :< integer.
504677 :< integer.
510000 :< integer.
520000 :< integer.
525000 :< integer.
530000 :< integer.
533718 :< integer.
539000 :< integer.
540000 :< integer.
550000 :< integer.
558852 :< integer.
560000 :< integer.
566000 :< integer.
570000 :< integer.
570919 :< integer.
575087 :< integer.
579000 :< integer.
580000 :< integer.
585506 :< integer.
586618 :< integer.
590000 :< integer.
600000 :< integer.
610000 :< integer.
615000 :< integer.
618266 :< integer.
620000 :< integer.
625000 :< integer.
630000 :< integer.
640000 :< integer.
650000 :< integer.
660000 :< integer.
670000 :< integer.
676000 :< integer.
680000 :< integer.
690000 :< integer.
700000 :< integer.
702151 :< integer.
710000 :< integer.
720000 :< integer.
730000 :< integer.
735579 :< integer.
740000 :< integer.
750000 :< integer.
760000 :< integer.
770000 :< integer.
770034 :< integer.
770073 :< integer.
778055 :< integer.
780000 :< integer.
790000 :< integer.
800000 :< integer.
810000 :< integer.
820000 :< integer.
830000 :< integer.
840000 :< integer.
850000 :< integer.
860000 :< integer.
870000 :< integer.
878910 :< integer.
880000 :< integer.
890000 :< integer.
900000 :< integer.
910000 :< integer.
920000 :< integer.
930000 :< integer.
940000 :< integer.
950000 :< integer.
960000 :< integer.
970000 :< integer.
980000 :< integer.
990000 :< integer.
995500 :< integer.
1000000 :< integer.
1988146 :< integer.
4028269 :< integer.
6006305 :< integer.
8002830 :< integer.
8826094 :< integer.
15400924 :< integer.
50080000 :< integer.
51050015 :< integer.
83082776 :< integer.
242025962 :< integer.
1000000000 :< integer.
1431290000 :< integer.


00 :< integer.
02 :< integer.
03 :< integer.
04 :< integer.
05 :< integer.
07 :< integer.
08 :< integer.
09 :< integer.
030 :< integer.
061 :< integer.
069 :< integer.
0211 :< integer.
0228 :< integer.
0351 :< integer.
0561 :< integer.
0641 :< integer.
0661 :< integer.
02204 :< integer.
02635 :< integer.
06039 :< integer.
06051 :< integer.
06081 :< integer.
06190 :< integer.
06198 :< integer.
06221 :< integer.
06461 :< integer.

2-3 :< integer.
118-120 :< integer.
432965-2 :< integer.

|#