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 1$ ] Root_Balanced_Tree:threads=2elapsed=97.855cpu=170.224gc=7.100factor=1.747zXZִF! F]ŗXf1-q恈%kV^M[-dwPt#`Nf QHQǙQ@Εyhk*s6S=Afc!})-k3NE6ШHS 4ސVʜaUoh6z{Iwj&u]fP7#jf:K0_̱d[m` %)x'V0X,~֥n&Lp*vL'{|b?bA$GC@ȧ8V|.vĨr]ќ w| @M;Y]cǷhJ9{EXUѰ6У%N6 3VY #Gn b ?I55W//с[w)w<5hRLJNnă6#ϟ q\0.zXCgKrwPfJ D50 L[R`[2=M y\5;!-l bӛ~Ų584csZ=GS=>ex}\E F*<" {=r'3N^jweR+ \WWNtRP_޽nya|<ٴ+p3e?/ @b5y/@ [Mٸ"'\CE}v<s8y3m̚Y33F;Ze<^2 BA BUA IX) W_AQ =JimN1ohd!K^Acʲ ɢqxq[SUv?5;'btBcN Zs T7Lj.=gMLjk|k->xV&at#*A0y:$8Pd9U ^@“ۖ!nDBhSn`hVw\OZ-nDZ5Z8; &lܥJ{'Ʈ\5-X3qqbpLl/9IoISf(Sӊðe$`jvOpk1d~`) ƍ&IډY1Y3,ڪ:tS\>MJ|VOt$`>P ?t [CisVS߆RWT`G?'0#Mhf ٵEkKL?C8ay}s~>0`EsSCབH ?m"}zJZ -\:f]T:ziVCDŽJD> @A%zf[x/ىhžpǬ44 sd|YY @>8uLAMZ\jx<8Uk`{X^x'K_EO=w*ȉ^ZOP7 (43S9mVCi SLZ[Gz.{C8s7}:l{DF7zT7'hА.Ts+VMrMfR O8 H50ȶ׋.IEZHLrB5orx_e/3jc 2"ҋ}򖓐P@$|`IG(![#Ď͵4\\ Nط0HW])kCY䤏/1ow"** sRog/ɫa|F.O۩AK>2nIU{qB!d=RydŠO޷:L)cPGD)WòM? GuU)GBBLi+H.nQU2(o!J.vƖN֘8v c<"?dӮ¯ Vs /Ɓ {0畣23<6{- z-hhdžmY>rg+DMG]gmF62ԁQ$I%K_4#)ЕYa.FsvCgGa3W5}ފХr ׺,sC! 5:2rPqؓ#Ii-?Lw_BvPZz3(xW6찵 `I[kSZTJU2c*-S9#>?m 1 Root_Balanced_TreeNh eq_Mg(qjۙcqSsRCpˣ O{*:80 ϸ0g19kdi~%&qr.8W2| Jl m8<f}!-|VwK] _K](t}ȦQm" 1c0fH ٔ艝_q06e=Gxǝ?{T+R߃z)b8ϡ[{c^I~?~ֶzZ6v]b-B?CΔʓ5^FC7eʤ Q7_k"վ>w1+I9-z 5 *Ts8QN.)^PSk,@ /d8T f{J%g*5zN 0]g12[&4d$ص+O2WG)͵>;Db9YAk 58vG;N_\JGvp4d8`;;IdwA52(l ^&h&are?ׂ(8&,s2eDr WvI;̵>X$SItQށhVE5{ N2\$ѷȫ8K nK,iX6h3#ݾUsҴ'UMذU;x`ˣ./e.ڲ3h (2vq{[a3 _MMo C-%u.9iv30sbL v0wh_ 'H T$nE4bbI_Aa,oB:~a~W6sά֔p24Կ&P{ofl,F{#vU4͈$9\rϠmR̈ݠm@c[mm %n3xO1##>bsYhjv H,{ Gݵ,N8US#EA~FY%k.?%zR;B[;4=X ` mdMϢb nq<;Kcg($.~ثPt uL՘G;Hn9, j2t #/lk/ZD4ܵ";C(HȢ#{k"W2N>&15#ܓɥewպӆA21ҰfU^c +Ra G@&Z5s_- g2O.kZ֧Vx͉tZ8RQS,p_#w ^mtd%2yU_'bA2`C}GD.Qr CdAUZa}uII`iq25EG+%.Lekůr04"Qquڸ@@6I70;5)tEMg]=A; X:Rl'8vfOqM'Y^cd)Q|3)!ҦFx$Y|91̈́A+EV9tyb8"ǽ@pp9O?Tv>jڐ?ZNbSQ*PA̾fIU8x{G{pƐ.̻u*Κ53::#rF{aH!t2rnO^rbnCs%G7m6W$"@Y2)fs &L Zyno3GXLAGN@ca%q4ذ dҝQ:O0#BfhgW|;53zCc;i6]' yC,*bE#=<q(<_ӒqJ%r3r)}1+SOfaF\8M0C_CVa beИؕ' ⸦H @†ͨO5RncP&ߓcK_dBC~bԛ-0A-¡<D덄 'R /?=TXM؞ m_D,M40,. }}X:==AB5~* K LAR&(:}o/y|_m6"#lRM{辠ξjIS+R=7{HZN篾lwϷ;:+s?T3vCItLvPF)=9m;LaL("E/dr3y' \X#88mRT fOnUs`uPq7W)za1fxW$֨DxdKq6P.zbh̙o'ɖ`E,`'Nvl~9nO3͘`Z]AM0ݕx(^z3d{ =@Pb9%16*E{f/pe>☩pJLD%x;X1 B]q)=_YqŻ<Չͭ*+wjUNg'N"'6W|8 ? R: _r/)J^hGJBEXu8BW nYˎIm{B.a@hj蔫Hy{ FBS婎Ŗ3 *"0YF꩙+V,4 Xf!( lʗϏzyYzٟX=$<Y"li$LF5 uf4<_UzۈT.8 ;;F6uZY%-37X?"'ZEŶ 2Ǖa9"K)7gYZ8522563226b24db8789ebb0b3160f015a3dd3bede003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031