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 ]/ HOL-Proofs-Lambda:threads=6elapsed=111.456cpu=140.856gc=6.004factor=1.267zXZִF! 6]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I},K a,ֵᴛ^AI`,zJ05li3Ui =Db#˗zd>إ]Te2S¥NBY LZv !1Yd#O{˵IAmCk=QVD+/Bl7\Ck ;J/v2ZSTgdάtچlfl3n%9f{a+&*tou`\rc%!`i`7h0 +c~`¯]C)c]kG $ݥ%$ұ(t1˩NUPCJꂚLW*gGhO "7dWH).+b߱gYZ7zXZִF! iJ]ŗXiɟ1˦r+g'^.e#M˶pFrGިf! -JW]sfO;?)P) Ï_C.~Sg6PIr1@=%wgSޡ2sTYɦXdeC$A-G|@ 9 +0֗V1pң1d&Cb^%o ݸٲNc,l9<_ǾTm2ۇSg2֟G) 8Ͳb:TBVZsHo4&)13•l / HOL-Proofs-Lambda,rkWmEL\ I=c {-+D2sCS$~ZEӣ#:gE7'Z01gdqD PNMT % ["X]|LTh=<Є:t!Qv)4#zHlE*hCw#0 @ U> > T'=k7vi"">#r`V9p֣[c,HG'h+ujWVDNIl_?>$}V("&Y!)S)՞.c*?qD#Ƨ_9jc8Hov;t;M.GaMrzNIYkK!}(_MM @5#``Z<Hv]xREGfE2kjEX(k,Jc4u,69MToq.#H6߷{K=_ +|Kzs^ fh2ϵM*$bC>^ cDi 3-MKLhJ"{Z84z JMnu݃,Ʃ,j dHF_ j JdZ悪B ԮW#\%'I`ꈜ)_1>~ԉ5ov}`,XNXJ6iS7UbHLTJ;(!C#HځuXl^4J#{ e4kL:ni8ٕ$;iك38ZlW&a쒑_ -f){5igxpoK74+D[b+Bwd{EgZaSF@#/vu!%|ҟeUn&˅:%2NiGI6AwEF@5p̩:g}tsB-Xߨ˅x_Na~:]WbFաl zj%Vb z87 $•m!PCޞg3-ϬؠԜˎ1g Zl3tDySTCѨ0ˆ@ Ww=iGX3~k0@Sz4^~҅́P 7h+ omɩ _(1C&9KWq/Fz(򌞂 3bաX~~i<gFl6zmmpWLHǕ+]SIRv4L8{O9PuX%9qIVНu v[mM_w,V56S]s0.|eBLgc{Η45tb<DG3syp@,Ķ\xnԸ.Gd5,a?j8vd3{: 4C%R3jIPCVYW!<,RDv^ۊQxٟ QۧB hkLՏ=`#-\Cc? ABX WdUP6l?~~v;\~Ʉں:~k+wrxnIT**Go@y-X {ʸm;0ejbnĮ~8^AtCh)vnGŎt'l):w}QgN?,,_ɽBGL&ȸy+e38kθ# mV`YC^/5.fwA' fcG\63[6+Nm'ĸ#J] QXZ!K3[t!^K^F6? SQǞQb_@;U #Aж+g .*l/DjX|B(3CPQ"Oџ r6sT?βew\ mB)3E]>'OI. 2|ڊD~Mn0JT[9Ֆ4(<6{| \P?Uzu7EY@?0Lï*\Ĉoμ ]e608 w ̔nPb{L\јJa [- ~_3ZW8JQ9U-} +oKvmRߨ+}7nѣaEPHgU݆M~ʹS#. C_hXSOhFaea+Zأnhd(g.PzD>iR .6@rLP X+:{l 'x8&Oֿ&Ӯ'Q .|1% =x V_dl!W,HZMuo6S31-)o i yUٽ:0;Ym֙Sk+ǫB{__7[פIN7^VPl˲ؖVvR5T[[V+u  r2j=dW'ΤOC\]/*>e GJɪ%O981nf$ӞZ}%_'j#`nSѬf? ŨI^&t]MȻ@K\^Ja4[' fس/i^\*? ~蔿 om2ʹ+Ϥ&~!U1]]%w? Md ]DV#c? 텄ʖ{pN4$`gYZ44cfd80e6e5087a1330f0a873dbbb823bc9b81e2ba9703b8d89941ffe014c15e6ddc671ed32d9999 f755980131ab944559f5efee99772a581e243d54