SQLite format 3@ . BBh77otableisabelle_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 DD-;d\ ] Linear_Recurrences_Test:threads=2elapsed=215.035cpu=397.488gc=50.032factor=1.857zXZִF! !]ŗXf1-/6vRZ̭|GVu>e5!!OZch/ޟ~BO`ϺS29BʿMJfd} 6szpk<|oȅ;-`[t>$5lo#!r?B:m/}kɫtQO]UHrk=a@+]끋4s:3MJe@NG7GԸ<,queJo|pQ Qc}q=3;&'24܃|ۋi!(%%@q rhjs-j!9H̞0l}(K0wxpd.K Ѱmx4^H"B<"4oeerp_̸Ϻ!,ш5`lavMIM =)=aA 唫z2w ֓Eʙ:B| *;`ǞJUӻˢI2EJdYj*>2ZyEQf]6[iK 5bX2$HHQM!+:%gOMyB>@e9POX1˖Ff5o>8ri,4/^9EgQvts5)* C7S}٨ofV `^QPp Ut嶄|.mԡM j7iԵ((nmB*yN$MW ީB5M7V{'oڕbGlJ, 3OWd<2!*A^zVr-[jWG/זj9..)y",惔E/p~$vSNzӂ p;K\qF;\_8 GgYZ7zXZִF! ゙&]ŗXi%936oz vip~ ž@^O2Vk&z&n 2!5_~[6*V Yu\o "! e(x& j*FNB0Tw:YJSY@9]^è/XM*Ndag;)Wč0 B,˩oe_\Ql&BrJdr0YV|ڹZIdݽS{x2"ro<9iYnr!y~` |-؂+*| J{V+(׌/X&*s;9pL41BIYNzأH".j*h#t%{Y1}\.YN9CM?5пs!aidZߦܥ_i =(-̟M,[]/x7D8/zϫʱ̧t9xSJs{s:5!:& <6K.Ur aA70E 20&j;h,<J&\_묀܋Pb<(= ȼɡG`;(d-"Lxix_P62q>گ3Ey6Z>Ӥ=Tן"Lp,E^L"xS&\y ra;v e:8[B_<gKYE.C"qʨhKP%f$ш\h8â=ĦX֨noai@?e25C5$r%V/v(!7bQ^g qNe^凎ս5(JR2BCtvJ4C;Bh[ DUU4[ KVqT`b1|sLpK ; Linear_Recurrences_Test M5@_pY )F3,U ѫO] |V &"%P-0c̐tB@ƨڈCpx"@yD.hJEt/ 6=3y˿00G^R(qs6&vp2{g9*uc_6e<{4plr¦LTAo iW}VH6f6gI-qRѼL7"+n`^ۚm9ǽCޜm{[Xo}0=mX2X<7ձC@ NC)"$^F\w\+xHCE:Nhbgɬ&jC" CYEn\-;S* ߳ |>?>~ϒ$c f0L8 ]6{&kʊfAW*)ƣc ßwFh,$3;vn.O+P(iOZ|k JIw{g{أ8>c]Iz,6k&Lɂw·ӈ$DSkoN1')g5.X@LLl/+^1zn.r u_ҙL C Cn81π?#Cl[a( }gSWLexɎ| i&KTݏ5fUk6:GEs' {Ep,F'6Ufi)>,)wO[;D~^¾S. AeYiJ.<%H! -b)m)0JOfq+ ͎og[=ղ u(͍9$XA8LO2UMklOok|D+xǁ9Oh!#c~ְ$o5ssqrB2P/Ͻ=G>:--rssR]=GmKsDzeRu*T5 &ZWe 0X D.,j-d댣*NI]+r06k!g6,RMUjAB2ZcPɎv>okZA\5#]M Ng%+ekyec>|hŕ%-2&Zm9fZr V+o&Ėq] gŧuGqM:lbe_)F$i+1*]ԣOЌi3mퟭjCBqf8tI::jHX0Ű~2ffj+8wa&nF9C=%|0Aý k#t,-L0m("i>JF@AȉHNL ( [tC^<'?X[K-"4ioC/pGxP^'R ؔ0TW.;{5m.D{Lߢ;A[[:խ,3`?mݴlzs-NE8?1i{FKbZ1c rxn듮o|@Al7?xݡ~|MQ{lmqItfNoI;xg,s#CM) JW=$=^!S(k~_Zll]sHřA #o\ r:Zď)lrG~x>^F㌯]M#Z0=,̊ {&C5=L*L$i#L&@n;}f:Jf+<5e< uߋX zeEW!8!$be<+5Qڨ֬!) ދCkďf.^:MJ ~섣N hR W6gx<z!GNh"ȡ7 V9aO&߻0ib5;()5ƝêV;\$’+Z'XeHL\mY@6hTl~>Gtj) r9rtq3A"xO2U'y=*ѰKUw4Qq&D|4  ܊]wߠ+RKAQ[rGULAhPE/URsq9?]t)p_A '?bաCE8VAejCh=UlX趓 elBTG2Wu)Z"=Z[㷓¼!RrWoťI;)d8{Va|19R9_C^ &U-Kp]UV%½eۿä́hU>2fngoS5_2j+;<6~(f&V¾izzX[dp^1> aV]uy4[K BPV&X#5 Gm d7VY+DGvXE8]Pً8:5.z(qlg#ղ]q{q/u!L%JhHIReA`l`r]T.R;F_C"LW{[_9 $&h(EhV|_N9(L؀jf15Lj.?PUIEeH"M:&SbY*g5 YAZK=^Tr3F27P~#_V$'BTIz"x]̍O:ɹQORUTex(lerO] .fK:@qLDbswCA@72ʚB}y9}elP<.k-p k.E'ظF84ԃtb&Ezv _$PwyZ}\!bʵC_\V`V{}rjrC \<%Vd6&7A6( Xa<֘JNiN@^Wxg*cނy E'IIN^h:2 .Ⱦhg٣N+Xc\:G>s`īF h..U4D^LO\9CcV{B77:Ydk֖fJn!<:XJ=*=GM+>ڎZz俸ĩG`tc:bM1tp*8ʸ`y;}=1\KbFcY"hTHcgK舝tWRj9CWG\Vl2(( gn8I'QR~uvm4KLTUVN24%TB;dg0Ĩ! v %AHY!h:C.>\*(|[ҾZ\=(%°3ݿX8%  Jfv+$62J]\BJap4ƃoYu&QxP){ޔ5QqОl.+C!Is*CP+Nxۻ13 "e =p4C@M ҙ+K^Cr9:'\G"b8-F8DߧY=aR 7pdpJVXUmL| 0J<&[P@zDrv[RHg-XٌN|Kz[v\guEsKo#nkp>Ȥ]#SSZ(ǥ3d_d">$c]1"p>,$>ԡ'X.0X@{ܬ=9|Oty u)CwY^qņ!f'C^39{X /nks( 0.&`ƥ[:|}hv 1'i&&$TNL5)DVg-ӫٝ]Y!>`Dgr5oFʻ++'E #+M|bfRAzODG^tH`yi߷@Qtx̜#=9Iʯ{Oo:2\ڃО-`zk~dFy#(uZ B>mtʱѥH(5}Ww~ϕ" R1gZ-/w rِ=RS)KjD`ރh7 ,~zHu,Ƒ~hEmx<)}!}ޡ㵰<[ j$#*3Kh:Ҝ,\72waĢ HwSw/9\]2FͲiVY*XiE Om@4;޲^sBRVlhN9UKIH58bA˯?Wq[<W)—C_At@5٠d}8ۢ8_l9[i\!GxoGLLTАsnVY4^&}uD휂JI3RU|"U5%}~'{׷樣^q8` 7m V|ްb0{@-FB\\K0ٿ[\-!RJ|''`w0П^\ .n ɄSPTeJmcg8RR,BuA}8>iWS>a1