SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info kkrI3Y8eV`51?j&/_:5dvŬZM?qr5+(9wdB@8t~C wĐSE۳WUË_[;3 k2S&дU>U.hYU[LΡHSiRAT.y߰XT&dtbӱ eVbїy͓OAu2y=qԶ9gx͛8~W #!5CWEP%KByA,um|ޗ[I=x+0 ƍܔlٙx1R6y e]!ROs p6!љ]57 >mY}=ܞA=t=*{Hycn>~Gk x_ X#Oj쵫KIgD̵JL֏'ٝpA;9S" 巚F.^.D%&f @t*Ru[1?ma^  p1>T:.Pu=ڣ_X~ulM&ʔzDF{A^[N]،jDi&x;gVxv TeT+I1t##x4#%{ /eU%6(Gs?R:Y;Z4A %B.;V:QE#JY#/X h8w<񩞉#je %2RK%dj I h;׺=~ʗu0 (V>CQ*Bl uLav@ITH?jtا  EaO3npbMl\Ěe1VtA@D >p"xxBVk8>m+ȿ`Y}+1٢:ys{I]I,4 2<=* ]=1ڕ &C]00AtL?vG;d:kxDWv7nCWޯY: SOtUw.z/(ZѡUo^cLY$f6V_{'JHIV]4 ?:=`ByvW̠йh`sæiPQ ڕAoI 2AK~,Ls·OѬѐw'dtmzP`[Q|r@EK{ tLAkEmCO2AB0^io!#fg!Xi꼭v9f1l1n? 31Z{DH3MD}4:;A36t4!gj:J?&l ._Kn.`1k&Y LvC33wpSqV%Y]aGi?xzێ~Ni/R:FVO N @ ]wʁ g}es͒T1zrѿ; ?vޡ%6OKT6b;גVkD7egYZ7zXZִF! \]ŗXi%9! 4D~/|ʩX;#*{L!wˮ7%#@EC`!JDonRt0*LY>iD$Np,/vSk,~7*IOĞ;Ⱦ(3_ʄgRݫ|Ȅv΂5 y097y఑= CZ0X7Q0$h]^9Ѣaj!%7R8a%/-WwPR,\f5C\M5rҤ Dn+XN'ncL3R[|C M.D&[3cEa;&[/[Ruo(fLW@I N 1wG/CfQާ7FV/^%^GeB98"m-t$*X5G^5iɱ;Oڙ,vpt)_ q 5N?J$!2'Y@<&FP#Ⱥz|/mLIPgmT=âF%:y`9&YT:˴d?E]j0?<ێOxٙ"6@̵/JY5?KiNdBHqoF v6-x#2%Hdb&#&M&@fd'7Q`j㨌s`hoNR& 8Y*T 0 4HceĘ,*|sl*qZcܶZlTVqI6ȂnŴqh'DZYƒ6(=bdp 338Mι3[YqdB *F#tP;%U14blF >[jϝxY5SMA6z4.zo. 7=L&-"tUhxwoIK g<'8zW\UWB) Q_*b8j:j!mYBMILn(>.Djͺ9JŖ૾a.L7S!pTޫ*x5n2m[5Ve1tL=ϧHЁ8?q"LׁPDl뎌WnukcR:ʼnT|#N*-ȓ>+oYS䦀IA&˭+blpGjۖcOϰGҩ:.nt~@4i!izZw1­2G FxlٽCmpg$IOmnNvCL 2w[az\4e5h| 㽅 >Ȉ#{^AW^ B)f+SfyľERO'qm:#Lx͐pb@P)GYܸ蛬^^mOZ F_*Jtma ht`dU~ngP0"t^Qg`BDx.+|-J)[AmNԯAn: %HMmSWDS1閐hHNUM%ĹfN\r% zަ6cD O3$q{qq, :$"٤c rEs<ݓqdaj4&Fc&v$T,q?sI- ^s8vdC-;wcR6 CÄkAұP/T(dS(B,@#2+ 2l"6X#vf?etΈ, Cyf{wQ@,R|M Sx/]rSN읋\,1_,VNwߝY}sԿ ֡.*ߵA;Y'B!2#t}8zK$ _'P =PvcN8A-Uen lwWO7t\X>]tV?vЩ,$>b}dg/!Sl3ACKr {6a}gYZ10487dd2f4d8699df14c3680d64921ab8479dc30 45c4934f1cbbac164f231f0045e1dbb7811a10cb 4f907c7274c85be908794b6aabeade510546fea9 7da98085641a29624f635b6ad31482c7327df3e8 835e1aabfcad258fa9c4868c7dd6a211fa3623e0 878581e4ac3e9ab1f3555353fdc88ec99dc8c2e7 ad8a8afb5e787994c9e363e9c372b7113dfa9425 c9535fed70ccab764c54371a0f9a58d4bbf1b624 d3f54f950f9a08bca0c34f69dbdbf5aa2c89c37f dcb85683ceb493af307b50c9bc5ee30709f1b642 eb7bc95ea88041f2091a9aa1e017cf88e212111b fb7da4d16fa90e303b41eb16859e10ea5ef49271878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457