SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 {d, O LOFT:threads=2elapsed=200.117cpu=341.088gc=9.160factor=1.707zXZִF! 7-]ŗXf1-/6vRZ0-d!'?BɆ/A*_D-n?SNP e!Y;R cQ4X6SN+eo9l:է ?P4ʴ؝~&rTCIeA`^g.7@zok$Ո7YrC.ǖ م yҡ6/HAձj/T3)a'ܪTl zImYhT$tYP^P2/_ZØ)͑@{ݩU*rY/VʓL2]Pe»*a#fPGhDǂPɛI{dZDa6JZuJ~! pjV[V>'z,`4DtĒv^:b# gq{DuHf 탘\ȕ7Q:BWoKۡTzu踨V)'̊NFd]{JFU*)-ck?l`oq8+Pv1Ro]\"U 9bڷJyІV,wy._TXCrL<^Tφ-uFR +ZאsKC9eSVsʹ -_.M ā\f]3bšϦשGZ S&]y@%uUi1f%FnsPؔȈ%C©z,pv ۊM#ʎ#5¦Q:@4) tԤL+80S$Eh1|yl9Ќ6L8fOKᢍ5:3u܃9Gx ٤ӵz<2yvE2hФ׿}eFֲgQ]΀ e4'RgR^ `H =sHW\/a3{%1Ei|ا -OYoWu8rf nyɜgYZ7zXZִF! V#O]ŗXi%6vLc*l쬐VxCC0ٰM?fe;>emΰ_Ƭ,aKOr͡^.3U .` 2ཞ P*HFd7(q&C~MkۗGLȅیfDl_;q<{SҥWq^k{ʅ_[vuk\fW΄g:"sM>AvQ8,JQB*n~BM8(uQCY\-:AcwGHPR&i AI.&îy"A4,R#?Lbfs6l 0Y0i ?y ORW7MWj:Z VHDͮ%cu$ TqTK`{&`b&/QpGb=@N4IG[JGI7.M!FZp]qvy1KUkC<ɰ+a}-6)j*0mvL0K~T^AHy8e Xԁk>{3)G<")+jˣ:n3<@bS_7yxޖח;?C},g Xܲ$; uk  dnytݑ"(hvK gH:nWeL)?QWRHѕ ]cK`C%YM%ީSF٭&:o$g.mk*dM͞Qè0fRVO`e+%%NQ8"'sF<"׀"@O9j~y༵_$U\2a+w/FfiVIf}K5Ηt6G8PTAFvͳ Oj|E~|qHNw-b/%%Z`u]A-p8wd 3tLmm]ba߰ Yȱ4,Ƽ47OK!c .5m+,lX+̿-t,9#vZfm> .L?pwjsj-2U65Ӕ.Pp^Us Vx]j,Vg,I @5+ZFe.Tu X0 fⱂƠLa "G9)wDA)P! 3{G(!b&Z`|ihP(xS*0)6P,ɓyTXp!IZ,fVӍQP * Q`Q?OySy?L޼qp,Y%Z`ZπL 弘bw%3׷"4 ܽaB5+oޔ\Q.g yXG +b$MĸB S<Q[)_Wh7  LOFT-8pwjuN/5/l-젘Ҙۚ`pz8d`uK::u*fGZ:a<ˁ݊/N-Kg+M@ZJ:Nlh{G1 *)u_0T2D`W4%V{z۬.Hmnn~Jv 7rHdІ9>RpA{Erne/x=]_8l޲46ltR6;9eZ-\4,RN2BU CCòU%E% BNXL}9Q`4 7YTKL`uaPz%]pB=7 6"0=7+XqzR/LE>>5K8vFx-a Xi{#ec)n({)!qăH ͔MqpVRv_QǠ2B'>>~c^kxl5n7>0VlYC)%m/L1 UkܾBl. QgIc*FsJ]hL P}fl\ER{oLT/Q N:bʀm}U}ҝw ;IDt!a. &HYȍ&Zi+q0K(îF>{[=rU=st~JhMW8VCU/?9s'qZ.ո۵֥\wq c  (/3G1s2UQq /#ӚҸzo1ק}ݙS١xۡqvE{ mıvukE0ň舜Q/:ĈɁ, EI1Ͷ[it^wOHwy(p"͜Eoc8m)Gr [eI#zɘ"֞*Qp# !p_ө"zzbƂ1*җX{b94o/aZ!v/3~T|#, T¯[A\v;z=9p [0kƢ‡~{=X":00 xZ-PA1bĖ3=ݓdKuT%{,u>SWi,mWy!J13况>o== b`̂PN#~qj ܡ嵚YpvϞٝ)֦̣ڷds e7HRJyJxHX>%҃h;THcX< lNc-?VaQaJ s* 5MU5p|b9ݎjD_aH>5 MF#jA~PTCt$9~\RӘVF +nׂgT(H,Up!fyZ%Iփv<&? d<DU#n^|ۉoQUYj=Jfv@fyvʹIN(aǞ13vU}s=] dsP#;羓p`i׷ ڳƪpZ8GScLne3QcȐk?tA~\ Qʶ2tw c4:y.F!iBl/ V BU; k1F}P@'fDk *#j1}2oK ͛$|*O66RO%IhqRMcbZ8#V955pdKBY,.a$|\m(07N&p]5@ؐ~ HjE"w.YQc)z}%K 3i GjW9 ԛ7g^I\M+.R"_5d ;y2 TB jDMBz#f#tN㺕}G6Fl̤՛^gUi[/=naJs+erxY0u%g3D UڨΥ .cr%?@rQcB7e'vZ9צq9aՌI]90?|}o1ke7ԚhlU#GL.`Y} r>l/ IaA۸U}j}݅a%*38(qw\CZ6AlRFf\v$Qg[$1o,zd+7,':[>1ΙN #jn]xG($b|U+3>9*7k@ h5oXX3P5#(ث+Ƈ m#cݹj8VQModbL9GM Gg]tdXRWcD*KzT}'̒illT1Oj,L=Tl!ejlۃLS2/ZuJ=("PZy$)W{U9JU;s/7+Οy;3DP}4g^ 5yn >|E\-Sв@)&iDfOrվF̰0^*%$Dfߣ5\{DwBlγqrYH\K]BpB(bpl+dr!Ixwe&^A˭lbVoS?  L|m3{o3bB^bqܷO' n~jK3Qu7{vIA>*U~#̤y޸2{g7{]bԋ$}1`1"]7eIc╒c$=wk!8<` ~CnoNCuc gUx|FC!o0\2Ĩ:C%=oNkVݮm7_!h!7oՖ?aSIcNdp/Nz_gᤒd}FI#R(LJ˞BEV鬽&\H) B\ >Hb<k#c_KqN^-4ENwu:/ItNJ}K䊎oAmw~}*a0>޳^,ݬKp) 1MAp8*Iܷ$C UͱHٷ+{IEu d zѝuqTYw D%&S\FҢƲBǼ oAV:ixLe" :G 6ٛÇogո٩b{s}U0[QT6 o(>9ޕ/(zË́rf1+r/ ȠFpK`WEד:DEuLVUx^yWk?HlYv}u2 su,ϧI s9۴Hh݇5OX)zDvgor*%:Lh<6\O~ٰl90dDd\=?6;td|7vC=ZL\R~VWKT42,QTm,8u,0a0AJDnIK:*,''L$~0W+dia +|5*71XofAUHLlբx5K$g ϟOQqs=L_`r]VG؎퀭13M;o k+cյ h0&w%G Z|^e{ m [‘P ̢͙H$G2j(E:&K AeSG_tkh6D*㥲.{P{9٫`"o~2: *}(/!۹_,K-uC"w=S?̭Z#s@t41|Dy{Ft-!WRκo[jC8Z6n㸛=d\p/Հ4md?זr$ZpO1m/bZe#9zu,LXy\ .n Re7zv#V-}y6Qd:[ӗ`#A_ <􌌝 +dhBxC//"V6Xߔ_Cm)1$2tQ@o/,8ĝa&RB9 kR ߜMнhagu!rG|r c]&m cۣ"3].g(eo3}B |5AO$%saMKf-S)Ƹk2@N{2Kl l&!Ҋs[n D K_s:f`b$Z0S=?*NW gjO4H \ tg8RWVbD'erj}ݚ/5hnrUBڒvuY~e/+/}HyvCo-wDkwbA-_u?3`d&~ 5k Zi B:HA֥Oz|~'񊞛>*^Z+}252A2VÀi+jA{W(TY /uxYfC_4[+psz{,ڦ#O uy.M'lBBebW/mMٛhUrQIBs2[z~]$