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 q|D/hZUә ,WDHڸ 5T%gKQ$(JW)7orӝl^L qڹ$VHLY.1c(%:;Ӵ;+aehw1pgqM$q @6)JAfL7D&SrL3EεJTwX૒ݾ?q@+N0Fm4HnœyDӵ(w|b".KH__-GdԒ.;p1[h d0Smr!oݒ4bC;R&=rIj`8ƙ1 3LN3#%jN6Qh,K}Z2f<2Aws-̷Ih^ɊdM fӟδ^+[O  k?"ZIzH#}!űdHҞQό"ٽsY%`hॐ[.L=j/o0WTBf[,,֔h%>Njӑo,J"5h껎7W+z4?u9A[`e{ 2XZM0w.VJW5JmD4Wk4E3C~3QƱFo0ӅY9w;6"(^΄Z.T0?^4V!a>3$խNdGl٥ԼŽ. ‹Y275%SX7yfrX-p7kp:6VlLĕ2QٚNxIB%X%V~AU;csIP!brK3n;>b%g=e9o ZHoB:yJFӱI|#KaW 6ń+bNIwq>zd%Z#4#3}ˢL|> ֧h[(5\*lJj{5YV'`6^^ Rꋊo>⒉_Q N S4s+t[ I[jtxø?o`&$=,R1)KN.+,?~ec%-*bMNjrxe3t8gb#z̩-g4 oME: F\*%O? 9-w8&Ґdhtgn6xK9\L+K*Fo= z˰ӗxdV͡*49jw'XvK.df6Anfl: nOXX-@~$]ŬT5K̒RxAT`SrY? ٹ|[^u 0  4b:\%HI;;LL0Ann^sVZ dOzOnKNPA}/`^Ǖ38Lo%U֨z^#̢ͦiyc G6HC ê Xq"DَFagYZ7zXZִF! ]ŗXiɟ1Dw7v%[y%$xOۼ1 ii>y;lw_Pa@ԥAF~4;E\pc f`>r賐`F> ہaɌH~fa /6ȷw5:٣n; ׆|lЩ-X)Ž掽ŖόL OT 寎FQ\jzt?kʀ+ N>0.-֊KZ:BhYv~WG'm<\ް?P*omA)=JCe!mǍm>k10Dߞ QެP3(-&jMvq(pPݠ>6VUOYi(ʸ))뽜;VBRږNb5N;'x SľRL^՚F-ZVc{ 0ʀgYZ7zXZִF! ]ŗXi%;`j849XS,E1Otϥr/3}ͣ媥bR@x#k@KAjx|[…\2pUYUs]G{ I>F/c^k Xzbh!|AjtWxEP˸fmq!_`5ǖAt&ƭ*W4MR> OS96>xA] l)j)ѭu*4I|M$llAq+d&SmYi :: !,! O>E%z;_FsT-wHn}m Ŕ: ?<5.?QOCȔK%?S̵9H {f38~(;Tcxre},օ(ަ3I6D>~~**B,ʣp̗Oic_o+hz18(*nIe$zN10, _gنaBJ(,z8P   HOL-BaliZ<ɉL%5 7\y ԃC'T㺆kFusٺ"UW f-Ÿ:uM 1KQJZg"4{!Sy]°/ xŷcPY]xD*U!@cRyuVjNr5!HZoxy|Ǘf7Vo[WI$$+_Ӈf-ssenT`+n4RXU2>zp%m9JĠ+=s("ӵ,I3ws a20N5VGl7o/C!&fo 8Up4~qƞ_%dF Dv~|BQy{ޚKLZRSg-<i::S>+8g1i=>c*QV#- 08X k?Z=SD=MUDwA1_{ja L`>k99eFevk/';ꎎ+jao)bq}0沌eiZdq lڀq4dx5AQ'c+HR~OkElif&BTa8[K-U\{jc T=.0B(={+8Ng:QNDq,V aS&N= fZÐ ZL*-~r%r0Q(aX$-j|:+  +fmwS~5 rp39mx iE:WS`jM8$($LwE"R}'F)ɿN7Lpv=>09]NEl/PWl1% ݼ""[g9QM[T%Wy+U1f{YVnv_SR_ċaI-چ0y1 .%s!T0]c {/GAlx`H-$|\#UɊԏw A-r[8R̤  ȿJV.Kbzp4 Cw|Eݺ$Y?v#(!ng#R,|/A}"-60!^TO)f~s· R|VᵈO,b~C8 \Q2ޏN@%NvXeJK~^U~~x^yqr{>fdTkx<{3@CyR^þNsT7(%ŇVe櫸nЧ6:qUr6N9ͮ@q:LDLyůHH&1 hmFd.Cwe#yܳqCIÕ{{wE$i)Ί29 >o#Fm#_(,GW3 X-u%YDCbrHSY/}ƴ`غkTc>-8`jL$t}mO|qGZ; 1)"5C)SV_$j@=y6*4t†o#!FP:fFzQeyMu64t4#?F<\䐻ē,ۑHp(M 4oQƶWƶ I#Xy4q:2 ߪ=k/Lx9^VY.j7lO?P hBV~DE5 2q~>/1,0wZ@:46j,bGJ+"&XQ:aL&uRܵ:,~fdnϯА?8d UK*yLkN? jhQo=0B7ou6e6Yh>\c} S 0SI>:B^\%P!dx?*ԇoZ瑳dx; Bvx\ւ/m{,4̂ʺi<6 ;\u VbMEgews#8gZ49dsD{ZX"ҁDI.7nKwuHZ<Q(#J]"iHG,Gc *Q0E|Oa!}\|@.Ϊ?.&^v|yH?V5/ Wtq,oō E ;[&S7X)@6}GF_L5Bp}ҳ#ʸW+oᙌgk;DԄ@RpA' L"4jB+! \SH|<-| 7t5  ^٬fnL\|ᲅ&n2jb,5 LWuV1>]3FI,S kWkUI)$kx%R qj݅6a [cͿ"RcrZ/(8_#HGtgYZ1aed5d5486282d81023a1abbc65a48a81a4f4f1f76eaaa26d5dc8b218d0a611295d4ee3d6e6f203f eee62ea59121ed3e50df436f618922c8776e9ecf 975c8199fc5426d94aa9be585263124fdea5a8b4