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 (,T, T] Green:7zXZִF! `]ŗXf1-/6vRZCa0ȼXL$$GfB"Y89m9 3Ɛxo$k|XU̴.rf]f2 tze.֬MGPz+_e}&m.hFV6ރG6!ٸ=zU^ >FWlwG5` us 6?5DȂDӴ(͕T»eǡzxt^O2euh:-Hh/EyPoQL5׳BIT“ ~CtB :A%Y?lj8HFG_ )}ΡZ#B/T΂=qM*H39IɿkxV7˟c&xD[ #8-_k骤T|kbwL {to@~R[tIݩ/(QJ=AF==ik"ILܸ=7rDTנ$r~V3>DĿ噞~LQ*"{k`BfҁJTԩ C` #ʅ꯬eL>3/W.p#Fz\Ud䌲D@wΫ麡 ,jĻ;R&sAF2yt|Cd2}N|uM%XV>d-4NĎ#컣70 nmc(xE6Hذru낋D?qCП6+)-Me`;(1N0[ 5ˏ5kkEٳҾlkX !|3&_D]4IP!2:vLt'c\bQ6v]% G+쐚n³ƕ9ˁkzŨ_ؽ6goBR 7zׯ]=j{hPϵ`" SZL_ѣڭBBIWqp4 < ~a}"VXxA!ˇkK(a}jAm !{G^bvw*mDF0tb )lMx"MܔDy8Gؠ Q2`ҚX᭼eߵ#55TO|!ШI`x$8+ps$β}@Oa \R>NұݗGPUi8^0c]HG[u4J}ۙ\/,Ȕu=61hl>_:.lԩU]򾎯③J6"HQq{ks0>/&H6)ݜ*;DhKo'|[)a1ԢrOP ּX48۰gx/Q R2=Ep2 ԓbH@2 ' 5Do'Yړa3R +]r'P S0Mq3cME`p"'?`4AtuG@1b)L'nހ 8_%:؈C'L-؂W9=rwnBUi`&NzZh$JlnЈ*H?0Vkg@y?v#-.dpmTVh8輄{G_˵mPhh=rå2'ezǕ6)B?j?9S2^ ;;>NJRUQϨOK):ݩlOeD+8|Gc/6` S`튖FӏnDǛj|=T/{w`rU $t;U$߳[5YshgYZ7zXZִF! s]ŗXiɟp%tn6hes>L%y: se]1zBH#^s9[[=iDAΚ>jRuGOgӥ Y\?2*؏kyqUw`ɣz.oa#ʑ4|DFk_Z %ZV}Y(u7$~m ƽޑRkXݥADRgYZ7zXZִF! ]ŗXi%r>M$]9=Zد<"T=Pʧ%ERf}b5j"Pl[OX=&Ȯސ6Od`9MW?~)K܈nkȣ֌X .Գ5j>Bm8*O,/>93!)\xr4qzkKJRMJXWtǶT#KSODBqf5 =Xd0}:(Y@a٫NPH1hlcفijܚX8f~:cxc)γ]"Q he?BLrJ]/FPB7K섬$: ېI7IQT%F}^]**~O[?A#Rmaԍpipz;Fޣ]Z3 y;RhNٝTv<~DcVӐꤏM$qvL$Ѻ%I\$/StK$9E*ro~aW$ڝD3Oq,JMj.4P!ɅBW5^5HzۤIA4D%*0It.p9I+]V:`2L/]Oj#Dv1\% );A'}9/1j7!Op OH'x(z$rPT]GD-DLpme~=.ܣc%45x r7C[QKk ؏- hWź g kZRB/"m,,j&%f ĺXժ.w2^G؉'P/  ˷WQBX Ю{v>E\a=@hign )&; F,  |w;,6TT$>IqFBZ;|&LSqlI ^#W1%{xX;ƟߐS?lcYjJ^^;H+=V!A]F#.;Qb \S o ڭ4(C;oǶ"ъVYmq|K[&f" 6c*@,4ǿ"i֯M!(DȡʄZyKY@+KDZvxU~ sI\MUN#e6"JRP ut.H)& Jn$H"L?eKLE͌XI WU9gKSS)\Z+kG3BMaF+ᣫcd=piVE,$7*ʓ .GNԽiBΪ' )>I-_QY 5U:9w'D)͌J>Vy]X>Vm~ ap/12 o(fa1wSȓ%7yw$$Ч=4voil=ϵWz2CiStvɧc~rpжux"?+(M9XES *t,HvZ('Z!)wbXkY(V(W+ݲ0lRTs໎ͬK#s p װY(JmBıG4]YyVA:eYC.rf h /5uM?rMeeXjha  _ƴ{)gE̵{M"L2v*iF2 f!;YV]e,̌y,!HL.pfK5'?<)5TwIE)C3bzQrгHM?q*Yk7Ps,7l k!,>‘c)״D ™Cj3Ek,_. i)k ݳZ\LPJf!IdK&6=vȰ2[bxArb繬aa:wzKWS$#+E 8~N q/\rK(!t)ğ߫ noeS-|)~,V!UBZa~[93ZSI uV$)|GJ>̱04/MʕR&kABH-1>ئ@<]l7@8 |p Ho('6ѵ74xVLR w=MYvf uH {l ͒ڰͼyh2$MMҺ*q0kN;ֽ^tō_hRVjz:ڶ*AD38+cSF8@Ґ21Ûyq7' gf_l[T-ģZ4x|7\Xkf ch^șPR A7kKgx,a"Q*Oc0hij\v:Ө@X':y~̐ɴR2bLS.u'$f6x@nbI8VSBXiSN*'lH* iQ0=34./S;*ClybN|7~gnRL9a|P=2L]dwY.cOݧf]kV>Iv 4v  .>pޔCf$7޳󪓪^&(D3C<"=LQ9O\3*zeHPp7MX8Y(ҡѯZHI8Af+@P)937~X`a46{ԓYmu'Koѱ$G۶𡈫%ZpiY3z\#1e+]Rz`]^W0AzK8c6;>yWq\XYS\xy8B9'DDN eBwEl