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 3!Ll ]S Call_Arity:threads=2elapsed=82.256cpu=143.420gc=6.716factor=1.747zXZִF! I_]ŗXf1-/6vRZy_:8/ on6's25J=X ,rVgz:K./ט)gm-3"O~>5űA1{KYxqbP骇r;l L;pw^!'P2nWXCn~l)=WmBƠ[ y>f"vx@Wx/s{p5J 9ʾHtf;v*$v-݆=G$a/$91lBky)#/+T-%zWU3IM@W=(lƌ NחzY:sV1?TLHZv|l RqaX̥ʓWxc ڎKALg7ވǐ\%؁g\SyB Ήp;mr =t@@⪛L%hǛ!TeJ HrE {©H՗='$FͺCL<6)@4mg/Dž X:B&i @.x Xrސ;Xͨ^Q.|>iJX<6p,8}f_ѫs80tN+ tsJGec9sr+im/t Nk;VTfη"De!M98,y%Ct[:n'"/oRywwWAq˄]͍侖[̼Rac],\'V\Zc$߼Pm̎dW  9eʓ(!enjG[9_̓<2&e飍FAH$X`$Mz76vXej"fP}1c،jZ-H_oByPX?2V/_%Ng^Z˃V,,n|0F7/* -XgELśjEVDK45/H:BdMχd`V#U7*U>XgYZ7zXZִF! p]ŗXiɟy4]fz#jkP.YHG1 v):PVQi'y?xh/z&-crxoG*Dj,9vQתB "4xC>hכj̕`y'#s |Vq$ v:X`7H=p9⏵lOQcഏޅ/+O隣*=g~M zkB=eLh~;:#2?Bj?WFAZ6IyR ^_.(łU*?Xc${U@I!Fl75tsI棋7vZo$(sm͑rakT<Izȉ1WsY0ۼ2v8J>޿6Xfؾnj2` $ 5#(78_7[bB0TTAaD{"IimH*]L"=atuE=:(yIPm=z&i}VT$`QW,Np.QT=GG w loy |=$[tgYZ7zXZִF! <{]ŗXi%90øPFR]IΏ3rY[ Ѭ' 8PXX}Wxݤـ՛vnDkZOҘ`|nQہ'tOڟ R0ޙ۟v4Z"BwN^.8m#怗n^7B--NфNln K$Z WQ.#]BaMר+$dN!q4l}r#f{$Y$HPWH,S1솯VD%#둅ݬCFį2~\5] K1O`٣S _2l;gL7k1 cYcnlwo:IhdL&~\o^M t*qi iRX\Rػ3{c't/ɮaBq?0j;$. P1+Eެˠg;F]R.ּ J@rH5_7koEk,5b7'!XF΀˓RP ޟ"*|DkDF渢ȋNhOmy{&etA82)mA'L9.yf`A5b&rfElmn H'8 ?+۠kHd٫g*,s֫(WT!628h)Tp5"Z @zeS&P2xٷk1'8rdGF@Bӭ"6_'o"s>WZ *iHT~r=0X<,qΗ1b{M$wҀ0D[R(yI&e}2)k!@ k  ! Call_AritySM(ˣ|fHl8%ߋi`Z0`DPw")Q,~x5;u RjP%Nmn{u,^ ƋmC \ޟ%#8*߃W93~~b1X=n`5Ni38Q\:zO[Qt$GAhƾ#>T\0rkT=o5-: rJXNtdKBx`׆2ԱKsПb`%[ z^4~J g3nvB'xt__*@I+&~<~+䙎kU#TѺ UQ)wḏs`A)uȲ}rU Mv3FQJ]#VAN Sr1)$"y"u ytVJ`eAMC#H>j3XSnYH?+eS/o" :HZ]X !HYG)h6]h"Xn_wٍ朝{HRਟS/Ġ%DD`]\[${mqK&4r_M*x'Wø ..ړ 8j*D:/aRU`¦06D8h27d >/ M2^r<")/Bm=N ҬO9l eK X/{cB W6Qì)}C0!R12&͐tV=CX)ڮDv]zmFyRwF.1lv.oH'X ۙ?Ǡ㳁V@GzoyU]U;Z]tAǿ iv\sk(ħbY697 Zsv%Uð4o`ۏF.LN50 &௢)q ^<KD26퉡{U:Q}0(HQj>LTY#69ؖG@O؟[65r vwd>5ҡŐyCqM$w[vYwgh M]LOS*qf[Qdr> r$]lR~nRHFr2_vfqJIƸ ΅ugj٠7$, OUnuP=KkϞA}1-V)(??XKEVA f)!GxF;Q:I X(nR^qhoL—Q֘/߅PrDm0:jiiC4"$ruS==+Ocg}Bޒĩ< -|`E/_6S=ޱiߣNT>S^Z ~dG(lth>l׋o-=ӔZMx1`.:V`Hu i HPCD揌W SjF ;0x~ڇ?DjȐhVe$T3A;PT>1iM%;GsЛdAť(*2U_PZm?Л\U6B^cy45W_Q#v06Sn3xCW{dؼlV.mim .jVovu p@O8q,ycIN!&Q'?.;|s(;`ϨU=8bplz7OvU" f? 0&6*zNev=+V0(=TjhȜk4Ĥ C{߉(Fxeoqdo៯5L%C!.YKY qT4@UA֊R))@yסH|r4*ܑY +/]ߊ5nt2iWm`pֈ7 l;=6T-L[P~d`d6tDgX -K%K4M}0 NLb$*1b[^a֑XjH2߼4Be; _@(8U@ $EBFQogyjO&IMn;`_UYe.c3DųJjf5~f\b67=;RhÄR&~"SFU -um?e1e ~N[Ŭa(a4__kJ/)X _6j[y2$B7G>R2Lѭ9 Pcvp={ ~F[IY}7G*MOځYnQ)U٥~8]PL#՜A!̶!H]3s 0$?st˃-&ctn2GXhlJQF98՝E8z(hN=KT[jDK2:_G֟ ӺP0}^ yص6ōSвh;آls ?S>D:K]d7#q Ѳ7$" jѐLYyNvE$r2ͤͥv_Gp% ;݌W]xcBmxr{ZtYd6>~wg.䗕),:%b%IgYZa1466b1dcfa303e6ebc7c2a44d421db3cc42fd9aee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 a2c1ae5db409c569208154356ce41b9426f1217c d89f6a179268535d5fe01b68dd3fd61073aa490f