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   h; ]5 Linear_Recurrences_Test:threads=2elapsed=208.375cpu=379.600gc=47.472factor=1.827zXZִF! O]ŗXf1-/6vRZ̭|GVu>e5\Of] -Z֩aPV[v@!yfS=4ڤg2IKOiL3&wH ƣ>:)\x =M!,$_'BM dql/P="lGȊ~8ӻq]OrSLbmGq7`rmLHm?\jukwZ@*Vm4(#5L@esvha<~*x?L[*۱ExI@ϐ{;$AeU`3r:PɞW q%,d <>aqɣ|]K*v<$bnAG!Q"h79G(]:e7jwe.q,]F]QMu?}6hF+>]p(b#V$%{=FoqeXy{{:vM=>]xƖdt]MArE7Aݏ^>ѼL0䝩>EWc{}CW!X ds QQ]2 ʜ̘`{7@ϋiW) EyZ'S0l,zrcgz|uz:{;,Rb+MmB{ZTD<2|xH4fl}Qq5 yj0tEvMϺߪ(,y|H{15~o$U-LB cGڴX?ܷ &3 P*vwDoH"͡4,S@4ު_9?唸Dr #65F -M4\YhIK;O(^;j"^eWH>MAZq!X" sc4HeFCBgO:I ~ֺ#MU.Ҋ|Qd;I.ΘO@2[,HMH1(Qa2i! ̱X>I]!a.titֺqx4$P5tyg ![J>DBb$89KcUlogza zA44~9,ǁ4h7Xl"5qu:"k`KMwqE#.yabv7xV˅+QM6-ȐO@/*ye_@+WVMw# >=g?wnô2Zoh$~\Dy (n=DZ^)hF`ŦzJ3cC|67H+;; .Eұ9ݹ{|K阴{ҎvР-#CF9'XErqDC1E#+E\Sρ@ds] N5C'r花4fʖcU ˗/j&DA|`wNw4V"0٦Q@vzwTWXzS_8RU!4InD2Kﳀ!lG:;}p+e-nWx YZ8K%=4}ʁsQ(.q2t5 )YI)y5z^;=UD8VnǾ3E#A|&FLӌtEI,))oaaHMvCBk;9-#n=ƏwzR$O>q Z%(&wowfM"] 8!Q,m^DjY>! oe zyEBW{:S1s%&+_"Z8+=[)" vge[!Nۭ˫M4\Q[J zKUqcr.8BUᛢ0)[rdv{DƴLO1Oˌrv58]2]Oc_8Km[,bM]"`Mhiee&*7ɚ#NFq.(h)x-_ #њb,W%KzMW3ĺ鎣q|y_n;;EEp[7󮳏| wp>=Z6%'Ã?8ۅm.ͯ&X^.B:Quc$V1?kNsgzFh?g9($>yALd{8@#d#~sfr~XA,>( V5 aeN1~ ۂ{K1:7ǎ؋:nPEyå+x%W3-슕TzqT߲%qCGB%?vDe{xPN>/p9/:}J" E9T@}yDH <aH;]tW<f@Lo 9ƈ5:y'M['m_Y'(fFDU36٢d '찟'TDe%) 1Sh]FjރUAy4&&ΚNNj`Ou>F}O%35C@NY!`WC ޫ?H"ҙ]jU2PiUY.n 4ܐIe, 34d+=m߱FI0T N)ݨBh?C|챝-L-cIzfICe& 6ZbV!5`k !&HW Ȫ} r"&L#ܩ(t ; Linear_Recurrences_Test   ^88g}׋-%,TeTҟˢmB'fW)Vi Zn\bbE^_rEnHF?MQWd;wO{SwIëHQynTCI/|^%etmRwc7uCuvzB~9#몚;X'Te-_>nW:F*q29#n1{ Yb\`i0VǠ`du' &nrJdë  4s:X. S^Pc^t2܌u8PZ%lLPYR:وWazX*}qҖq5{klf>Lf۱6d&bke>=[Knck|=DwQq\߀YW+O>joˇp;$m.f!"&SyJv@[ڭZIDS֨ /A f"[wHֆ .?lੂ%L`8 ayq5|# ]9zC 7JN+;^M+wyPovC&E΁E yɐ8 P5g-.KĿlp2VyUXH_/&VuT.ne,u|9F8n0dT2+2D3 Dx3</Q-UP_&[@a&ELU\HI*#A=޶ss>XHZu\*,RnL0CvD=lXldFD8YR\PVRXo5o̦2=+需6d6<wGKT\pC{(I\Iݱ^!9(/dB24P"s,$T..[-DVc,u,Y= Tv my_{B7t^ }f*%)wvݧM/6yl\I ϋ`6^!c?!kj<& 0Br=h冖URR\ґT#kADw *;Uĥ^:!FpQ–^>FT)*oi\4,A~%ҼG[!=ݩV*Y}J}ȥ&#JՊUR?;cXOb0 TS1OGaNHh;4iP'p{ttxԛ <sUjf"]п'wr{..\'Y}X$@1CI&"T:#ɵ Fpz*5,rNɼ޳4F:n}3`QAqvŏVrg0jI*k9du@B.- .1Q} ­e gPІfMЗ\.{6 yOzBxZAm|e&E/5/^,Y l4YFɄ,doAT^95U$%f Ŝ \I@wauxU  $32C£5fǽ(Bo(D,x,2i&̓hrZZBDl<Ƅi\𖅈h>^@w_Z(T _O6hF8O_8srf$ @Gj05T ƪOnP:^ޓF[(G:@S6dhG6q)N1՟"{pcC A?x X6lv)Z]Bb~Y "4~d2⧭>yOo@x (kHBAl:H\|M荳2w_ RŤ<.M ^->m㜁lBm]Ven#.n() -625H\$P6Yж4Wl`yl1bu,zV[YO7(2*`^/R=L/ fnBZN  Zs50rL5m+ח15! GaGuĘ<ߍ‚N7~{6[ݯTKv+lEN^zcͩr@yESHg fBMqaxYF~G(f!lG q}KaB+JThvN MCddu 1J; i:E× S:ElܼE]:rKNhD8d@Q1г8ʥOÚ6j@3"ubAbE(ZWnl5 $h^ەƛ/4E)]oQ2IuNb2W3y "܁G]rSk7XyE1=xCj'xtr֧҃-cѠ/ɂFW*/R=Vn"\^e!깦fK/W!&P,)L#7Je ~:\v&FXo# sQ#Ў|h.QfH&qР4WVɽ.Ah_C$E"}qN 6V qK}䔴ڱ4Xͭ@J_os"ݼjlK"!ΚXҮ!RSM ekkgu[2ћT#/J2 kTsd/A% 'XO-6MM */nU.Al^3aR\yԈyv1(0PG 36dQTd7VvAid5[#y"u&Xz Szd(7M*"yčb@*W1Sfh| +X!%0:wxaJ 3.ʣF@TW֥SƇoE >p8&ZgyaHJ.B\pi8.r~>=])ȩ=}DoW:cɣ{7WlJ_ |ooNlyh-NRj2< ǧ59#O9Jl-e~){;5,yIMC⠑xvHtdzk T Kw=# $.rQ 5VVFދ Dr]O`y>"K@I{(N%QE12MZ8a'8udN Z29>Ǐح #X3M gKiU{>St >e 19:˜+% R'$f3o{u]<89(:Yȕ|"`.ēJ^|d%^($e .0HPhg/\"6H[D Dn7d ;c~NED&kt&< <爵+Z9D%畏Vbs-$I"hM/]V(W2ƸgЃƗ*@޵WgVK2tJwpIfߗ*<-zQk}/O~R30 0eÎ+ĝ y*x+>aTM&Ҥ}K"RJu3Z\mVk]E)#4u&mrE"p凢`}H=,qiHo=? r=`߽^}MQ#7V\ୢHC]>qqI-aaC >P,AM7NK&=]Ǫm"7u.^[qHiz齔˨`ĉDz kaأ*\x~QAd#$Jf۵rɦHLPvq)mLq37ڽI1OgbRwa-j!7F}gIBb=c{J+-eX/Bz#7-6݈,tVv Y r@\t(MP>E\Q]u#7L[Y! %E7uJ,FxXQ ~<=`(}@GuÏMB5tJ4 3MJAfDtn8EoW]\Tnoj 6X=kʆ4b$YcE4ą>6^IgDr!}ID31ơTc:KŽ |z|f%/\`f/n9oNrkTٱ]02[)K1CwT mv,DM!J>:2Zvܳ% T`^`k>׮74 sgHSҴB\ ~WxkT Y9ݺވ!lUsxe##^.EAM BZx[&*o,ZUH^4z {k1 hsHM2d$^n_pMADo^ν2qpkX]B|dŝ'jfKZ;lY!mJ#+ XrKhABBN_O>x?e*' JYG4|E^e @-b:mlx~q;>&+9ch6ZއVd ?Qu"!QB VֆQ!ާ\kbs 1#\4r404׺BY *٨1 Sana&Ӆګ+UʆλtB8Ev<7zJRZdѶ삚 kh%¸>Zz&0܅_mB; xSN&<>g^- xT;~E X]G6q?oto92l޶?eG_+7ˣCpW ue'%'w`׌5rG9=Yo)4o'wWQO˯xZp/\Q-ω