SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ;||l ]5 Linear_Recurrences_Test:threads=2elapsed=205.489cpu=375.948gc=46.116factor=1.837zXZִF! _]ŗXf1-/6vRZ̭|GVu>e5!O>ˇT8Z֭ٞD߹s<NwRGCht4O* Këhxh!V@i?e嗚w;zxC#q/zi(o>U>r g( Cxqw G^vOsIZOV+krdO)MdENW}gSJ?k & u5K7&K0ħE2 i( ,`ד[Dof']=4)4pZqlqBg-~8U6hTT?$gs M^טls _W1'_8M6yFxCRSI .Φ8lh,{=|6â3Lw%UQ_b4uٹrBdG yk>d/׹1L5e^|%ų+pZZCVܡj(Onrx"P`=UˆY=!߿IĐgKH 1ܥŽŵPX|X~VFW+帱!M䕄iܱ?pE[5O;I "x MfW(x:*agYZ7zXZִF! w]ŗXiɟYW׿5-M%e)\Q{1ʝ_<}׭ﲄpg .kvr%4ob ƈ`).CAy%f6zQ\o47:餀@K`÷DQtze{8mUzKŦ gYZ7zXZִF! i&n]ŗXi%>g\cSq]Ԙ‹@G@--` o3œԏ8W@sV*C*&;,JW~KDV21E G v 7!,X@Ug!jc'jz5#>vy.j"t}لP[ 4"|t6̷E-V@([WkLTf|~({5kL*ŻEq8f9y:ۺB 0 ʥ5뵆M}!*gOTOD[ƩzPS.`ocxdw$E!*9/b8yAqn#QVPVބq KF"\;Q-l0M9u_jI)U&%» zlY6J}$Ɠ4ƢN<>Mw;iS03"LU5KU:%(;BC8&xoMTr΢_sJ聴U*5U&^vgbNOY:9S4[@ژhHDMqt&tGYxL?BI~ zۏšFONL?YR~}2HW^ѡ Qʣ/AI+B$wǿ-P07E^Kԧ5 УfRtop/PD&i{P@᧿/LqwAOh }6xҢ+ &u@Xm[G<P59?iJ#[F@ϔje\OIM>5rN%ښ,Shё{Vo Ja[T|v|1/"D^`(b.C 붾=H孧S#F"-W4kɶKc~((a߬jL<⽯0cy ?z3 >S[.yu!ŨŴ,k wfKP"_ɡ=H4YQQWr-zeQ6#goE`Z7(P5r |Ѡjk)o֗<3ow.^"hi2ț0yP{`?Ҩ*.}0?!zjcqF&6D=7" D2/:C6H\ls=i-ijc6?ƹvi&AŞcz;Kv pM /43heO$AROsM t"LjCgF*NT8!Y=Nm^Ǒ|-חGVC*`M}&)=!pա<0%ŕW.hʾ}YFХIՔmu@].RȨ172](hz qﮅzΆ$9 /WId%1%sG޹ ^-F޽:A7Tn8gJPhRbG -=:KJî;ˉ  zZa:JD=5!Zqm>Mc9+fd̋8I/nfB$`0 l<h˨)hOÌ )/RKNgm *f%{w諁:_1ގwRxơJF :y]&SŐ7js徇8`݂S]YWѲv⏌( )yWD^=\m1!.@*-?Œq96QVn䔁D%i/$rD"͇"Jn_["hi`E$@}#հ]0&PNU"G/wC҃qڣI ##B Wyߚ ; Linear_Recurrences_Test  xx;?W7j.4GXn憝Ż0F-&|Lވv$$Fٚdk]&Q/,yޡc=VHPy) jzkУi:igr#{7khU^ w;֦A6ր,qp_pe~~r8:-E 20_Vcz5"74M~tvneɌ/E=~<1h9v&&h?U-$xc "T3BcsPYn+ȡնM.X0Uz67Zxq+.%Tjp'fX3$ě ?y lc1خLnnh~}h_ܙٍXuÑN7ov"oIV*Lk=(ц h0*4 ~J`Aw;vlsSg WdSP˫ WnУ(^w{_3wL3}[p\Մ9~=Qk2+XQRRCZV41Iܟ[;,@$.6őҒ*3sGfG0vRg!]ЙMH=1:h-8_ [#`|S$nL\I(_;x ɫylE>2n:IvG>J#B|::2}s0sQZ#+{6.Z} 73_reݖJ;\wp8DUu;!X­JZ,lŠ2j'a [x}{Q\_|GUQg8L0jx!Og*}232bw$L3ݽpH)q{}\@})]j3sv˕{\`*f:V5CbaywgϦS~ .Vz=0 WH8${)$xxd MCrႧmw+Y"ն G]Iާz44#ӠNX*J1(a \ӫV!4Nc&MyКr{+[E6(B\:-ΎdcLEdª3 2hm_uMZCR0ЙjxInV{+Zs.% HRS3JZ,K~5c#]LhVk>*Lȵ ]}tm^el'y(\{}wkUuGXO>΅H}[ \Ol*/$ȮO^fMT=ez<L |߉@=yj[Sڟ۴`+xjz&>C}2DV+t`Qӌm q~[&`%~g>)|TJh43.R$%-c{NH0 Ep9; -SlAh9$N_%) gSHՌ`9S 28/,B&A iR QQ:6vIN"ZgX&?rsbl pͼ WG8mWON7w%e?Oۙr&gjlQ5&n0׍K*vƓԬbJ$fzȿY-%J,r|)/'.*kL @hv JCB|0 i[Ď͈Zgr}K#O1E@W;<1 ѩN@pgNE> +66booJ8x?FPբI&!ˤHP!Ϙ8il[W0]ڃ!G6n9w% Pb,6'%!vb\GȔċI 35Ⱥ1p8KV0FfKuA0{̷Sl\H@nx֠>*֝]m t: WR9N|ggw$ݩCתgԕS+s^i--Sk9/?8oT~牐ި\ٛ/:2mw8"{;uM~wu׻kβx84p6B)` uBG0j >G|$uf zBO }J&M ȓ y9CdHޅkdev:o+ TaLZyn2@- E7(&݄wM`~l[K2>h55?/MDqO@-BDŽL'`!oS)0{jt *$rqJc 0?Jx]Vf1қ:E|/(9hoy6Y:#iw) !}6 KtG0;#\R4b15[U3B﭅\Pu|w|pb+{u@UZG`(͢"UNkGM˳ګNm&d?PsH`FVkE2W1DgJhQG;1נqQNFrXĮ7l`SG}Qdcm$p<$E5ngfAA\0"P܏}.dS$H7JL):\ಆv,~-L_״ \ !Y')SG$|Ar\^r[MWJ#YU%UMfo 9n_uP'0 Dh]9'wﮕn%" Hw2x* `!$NͤKU ѿ ZBސMR87fT1DL<xx.̑>|`廧2(=J?]SVȩ4"џ0/m!t⋆ a؊ x'etoF@Kw}Yeி ݴ~eT .T`0Q Q&_uɨ|Mb DKh_P4/l亖)89W{\28Yj{,wm:mgqEj=q~vTqD¢W(ylܣH 7KD\H.fty+ƎFp*&eJ,lfbL?[7ē=Ys6iOt<7^F<|v>ø 7c2-I zI8Ūȑϴ8N>353ݏB"$s4%dzϟ]h#6o{!PAhv T,5JRfy1cZCWhC! sIlkw1d \JDJZc2.M۴@gp~ g(jWVryzW:sh pbO}h5dĤ D_k o$4pՌql.? ;Ȕ9-"$KXa'Hй6z:;fsgTR8j$$5"t&x[93$LT&0BN,XrŜʳ|u/Fg*|@ a̳W7yHiSK\{V p>=f bS$/&8[h9eYxLk_vLu^ɣ/V/9Z Չ~\ApˬtM m[uԪ _&Do)[ y5ӭ]޳" R{u&Ro*9K4Lp(Db4Sy1 no #t}6dΥ_*_ ]oA ܎="b[xMc 5MEd-TfHB,9A3 _Ci'VoZ4aLT{D}$10A6ujuZYR- jH >AnQ4;o&j3f'H Ds#-:-FU-8r"MԮtʾh?LiO5VɽW?p §Ry#q9ݯ\%q f%#lidE/mo$ҲMwa t|g\g*e ]c2o}$+G7?s(q !F7 85ҕL`/zK!H\(W=cWaS`S։3ꪯBMC)~Rz:!Ƈ Đlg!=mNT箟cbT; ;mL \#A9]'^)EʾU*hלShV=5}7uIvs :Gq7-fGgcz[ТT`4Fq~ɭ Ԏ!ЩdVi7Bk}LtrFA<1t~9@l:֖e<}l}ϒ Lj{)j&Yx!? =[U|vwh; 6A:9ҍ꫔KD!gSC]3V'hecidȁո;-l6>&nv ^TZ NR;|11oQ*zM1uK&5EZ*x"kӁE N ,džz\}#oqM՞ey߼7 @;mQ . |yv1p ˞g0)EJ "0 ce"3Q2 gL ןl<U(@wU𤇩F'oLͨ)hÅOJElvpb4砮{^*+QM)Q9ͽ(-,k>q.d]sfws|/l5vG Y'0NqV 20| `ː [K__ 7j,M@GiIR0ڊg},PF{Ra."mqT)x2viCT[,n9=@Љ~c%F+5~~=^6w$N\2H 'J]3R*uӨMC06(np*ƷR4yW4ap xMeƔTi(" 5x>/P#