Add files via upload

RULES256.txt

@@ -0,0 +1,55 @@
+
+K.CPP K.EXE
+RULES
+
+F(   1)=F(   0)+F(   0) 
+F(   2)=F(   1)+F(   0) 
+F(   3)=F(   2)+F(   1) 
+F(   4)=F(   3)+F(   0) 
+F(   5)=F(   4)+F(   3) 
+F(   6)=F(   5)+F(   2) 
+F(   7)=F(   6)+F(   3) 
+F(   8)=F(   7)+F(   0) 
+F(   9)=F(   8)+F(   7) 
+F(  10)=F(   9)+F(   6) 
+F(  12)=F(  11)+F(   4) 
+F(  14)=F(  13)+F(   6) 
+F(  15)=F(  14)+F(   7) 
+F(  16)=F(  15)+F(   0) 
+F(  17)=F(  16)+F(  15) 
+F(  18)=F(  17)+F(  14) 
+F(  24)=F(  23)+F(   8) 
+F(  28)=F(  27)+F(  12) 
+F(  30)=F(  29)+F(  14) 
+F(  31)=F(  30)+F(  15) 
+F(  32)=F(  31)+F(   0) 
+F(  33)=F(  32)+F(  31) 
+F(  34)=F(  33)+F(  30) 
+F(  48)=F(  47)+F(  16) 
+F(  56)=F(  55)+F(  24) 
+F(  60)=F(  59)+F(  28) 
+F(  62)=F(  61)+F(  30) 
+F(  63)=F(  62)+F(  31) 
+F(  64)=F(  63)+F(   0) 
+F(  65)=F(  64)+F(  63) 
+F(  66)=F(  65)+F(  62) 
+F(  96)=F(  95)+F(  32) 
+F( 112)=F( 111)+F(  48) 
+F( 120)=F( 119)+F(  56) 
+F( 124)=F( 123)+F(  60) 
+F( 126)=F( 125)+F(  62) 
+F( 127)=F( 126)+F(  63) 
+F( 128)=F( 127)+F(   0) 
+F( 129)=F( 128)+F( 127) 
+F( 130)=F( 129)+F( 126) 
+
+F( 192)=F( 191)+F(  64) 
+F( 224)=F( 223)+F(  96) 
+F( 240)=F( 239)+F( 112) 
+F( 248)=F( 247)+F( 120) 
+F( 252)=F( 251)+F( 124) 
+F( 254)=F( 253)+F( 126) 
+F( 255)=F( 254)+F( 127) 
+F( 256)=F( 255)+F(   0) 
+-----------------------
+

console002.log

@@ -0,0 +1,312 @@
+OEIS A132581. The function F(n).
+(C) JM M Aranda Spain-UE. 2020.
+    Counting antichains on posets.
+    Related to author works.
+
+Init tables. 
+** n= 0 
+n=   0 F=1 
+** n= 1 
+  - this solved by theory rules. 
+n=   1 F=2 
+** n= 2 
+  - this solved by theory rules. 
+n=   2 F=3 
+** n= 3 
+  - this solved by theory rules. 
+n=   3 F=5 
+** n= 4 
+  - this solved by theory rules. 
+n=   4 F=6 
+** n= 5 
+  - this solved by theory rules. 
+n=   5 F=11 
+** n= 6 
+  - this solved by theory rules. 
+n=   6 F=14 
+** n= 7 
+  - this solved by theory rules. 
+n=   7 F=19 
+** n= 8 
+  - this solved by theory rules. 
+n=   8 F=20 
+** n= 9 
+  - this solved by theory rules. 
+n=   9 F=39 
+** n= 10 
+  - this solved by theory rules. 
+n=  10 F=53 
+** n= 11 
+n=  11 F=78 
+** n= 12 
+  - this solved by theory rules. 
+n=  12 F=84 
+** n= 13 
+n=  13 F=134 
+** n= 14 
+  - this solved by theory rules. 
+n=  14 F=148 
+** n= 15 
+  - this solved by theory rules. 
+n=  15 F=167 
+** n= 16 
+  - this solved by theory rules. 
+n=  16 F=168 
+** n= 17 
+  - this solved by theory rules. 
+n=  17 F=335 
+** n= 18 
+  - this solved by theory rules. 
+n=  18 F=483 
+** n= 19 
+n=  19 F=765 
+** n= 20 
+n=  20 F=849 
+** n= 21 
+n=  21 F=1466 
+** n= 22 
+n=  22 F=1681 
+** n= 23 
+n=  23 F=1988 
+** n= 24 
+  - this solved by theory rules. 
+n=  24 F=2008 
+** n= 25 
+n=  25 F=3700 
+** n= 26 
+n=  26 F=4414 
+** n= 27 
+n=  27 F=5489 
+** n= 28 
+  - this solved by theory rules. 
+n=  28 F=5573 
+** n= 29 
+n=  29 F=7265 
+** n= 30 
+  - this solved by theory rules. 
+n=  30 F=7413 
+** n= 31 
+  - this solved by theory rules. 
+n=  31 F=7580 
+** n= 32 
+  - this solved by theory rules. 
+n=  32 F=7581 
+** n= 33 
+  - this solved by theory rules. 
+n=  33 F=15161 
+** n= 34 
+  - this solved by theory rules. 
+n=  34 F=22574 
+** n= 35 
+n=  35 F=37252 
+** n= 36 
+n=  36 F=42825 
+** n= 37 
+n=  37 F=77388 
+** n= 38 
+n=  38 F=92864 
+** n= 39 
+n=  39 F=116454 
+** n= 40 
+n=  40 F=118462 
+** n= 41 
+n=  41 F=227503 
+** n= 42 
+n=  42 F=286776 
+** n= 43 
+n=  43 F=382574 
+** n= 44 
+n=  44 F=392247 
+** n= 45 
+n=  45 F=555662 
+** n= 46 
+n=  46 F=574114 
+** n= 47 
+n=  47 F=595481 
+** n= 48 
+  - this solved by theory rules. 
+n=  48 F=595649 
+** n= 49 
+n=  49 F=1176304 
+** n= 50 
+n=  50 F=1563955 
+** n= 51 
+n=  51 F=2232130 
+** n= 52 
+n=  52 F=2314534 
+** n= 53 
+n=  53 F=3541379 
+** n= 54 
+n=  54 F=3710775 
+** n= 55 
+n=  55 F=3912169 
+** n= 56 
+  - this solved by theory rules. 
+n=  56 F=3914177 
+** n= 57 
+n=  57 F=6367867 
+** n= 58 
+n=  58 F=6755518 
+** n= 59 
+n=  59 F=7227132 
+** n= 60 
+  - this solved by theory rules. 
+n=  60 F=7232705 
+** n= 61 
+n=  61 F=7813360 
+** n= 62 
+  - this solved by theory rules. 
+n=  62 F=7820773 
+** n= 63 
+  - this solved by theory rules. 
+n=  63 F=7828353 
+** n= 64 
+  - this solved by theory rules. 
+n=  64 F=7828354 
+** n= 65 
+  - this solved by theory rules. 
+n=  65 F=15656707 
+** n= 66 
+  - this solved by theory rules. 
+n=  66 F=23477480 
+** n= 67 
+n=  67 F=39111613 
+** n= 68 
+n=  68 F=46344318 
+** n= 69 
+n=  69 F=84825038 
+** n= 70 
+n=  70 F=106040393 
+** n= 71 
+n=  71 F=140379133 
+** n= 72 
+n=  72 F=144293310 
+** n= 73 
+n=  73 F=280647385 
+** n= 74 
+n=  74 F=372009434 
+** n= 75 
+n=  75 F=529485934 
+** n= 76 
+n=  76 F=550589743 
+** n= 77 
+n=  77 F=840874555 
+** n= 78 
+n=  78 F=884509066 
+** n= 79 
+n=  79 F=936994455 
+** n= 80 
+n=  80 F=937590104 
+** n= 81 
+n=  81 F=1866763786 
+** n= 82 
+n=  82 F=2612894837 
+** n= 83 
+n=  83 F=3980099033 
+** n= 84 
+n=  84 F=4200753533 
+** n= 85 
+n=  85 F=6909879366 
+** n= 86 
+n=  86 F=7401315524 
+** n= 87 
+n=  87 F=8010841739 
+** n= 88 
+n=  88 F=8019492260 
+** n= 89 
+n=  89 F=14011472119 
+** n= 90 
+n=  90 F=15265307010 
+** n= 91 
+n=  91 F=16866541984 
+** n= 92 
+n=  92 F=16893485613 
+** n= 93 
+n=  93 F=18971581633 
+** n= 94 
+n=  94 F=19009503981 
+** n= 95 
+n=  95 F=19048561441 
+** n= 96 
+  - this solved by theory rules. 
+n=  96 F=19048569022 
+** n= 97 
+n=  97 F=38081488917 
+** n= 98 
+n=  98 F=55317412710 
+** n= 99 
+n=  99 F=88340575659 
+** n= 100 
+n= 100 F=95000049832 
+** n= 101 
+n= 101 F=164616979364 
+** n= 102 
+n= 102 F=180535994846 
+** n= 103 
+n= 103 F=201192761069 
+** n= 104 
+n= 104 F=201589169126 
+** n= 105 
+n= 105 F=370349514548 
+** n= 106 
+n= 106 F=415479721161 
+** n= 107 
+n= 107 F=476228298238 
+** n= 108 
+n= 108 F=477614529319 
+** n= 109 
+n= 109 F=561121193065 
+** n= 110 
+n= 110 F=563195559435 
+** n= 111 
+n= 111 F=565350047195 
+** n= 112 
+  - this solved by theory rules. 
+n= 112 F=565350642844 
+** n= 113 
+n= 113 F=1076305813955 
+** n= 114 
+n= 114 F=1243047970527 
+** n= 115 
+n= 115 F=1478910450263 
+** n= 116 
+n= 116 F=1485569924436 
+** n= 117 
+n= 117 F=1827764750125 
+** n= 118 
+n= 118 F=1838302321392 
+** n= 119 
+n= 119 F=1849327483977 
+** n= 120 
+  - this solved by theory rules. 
+n= 120 F=1849331398154 
+** n= 121 
+n= 121 F=2360286569265 
+** n= 122 
+n= 122 F=2377522493058 
+** n= 123 
+n= 123 F=2395626239271 
+** n= 124 
+  - this solved by theory rules. 
+n= 124 F=2395633471976 
+** n= 125 
+n= 125 F=2414666391871 
+** n= 126 
+  - this solved by theory rules. 
+n= 126 F=2414674212644 
+** n= 127 
+  - this solved by theory rules. 
+n= 127 F=2414682040997 
+** n= 128 
+  - this solved by theory rules. 
+n= 128 F=2414682040998 
+** n= 129 
+  - this solved by theory rules. 
+n= 129 F=4829364081995 
+** n= 130 
+  - this solved by theory rules. 
+n= 130 F=7244038294639 
+
+Sat Oct 24 11:31:30 2020
+Sat Oct 24 11:33:12 2020
+