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 77:l$ ]/]Simpl:threads=2elapsed=129.240cpu=217.960gc=12.488factor=1.697zXZִF! ]O ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jj{L520`oLm1ɘ~7B03 YDž1IT^vdžAajvYsk=޽3,mQDU@IZ`b}Hŕ]*N$`Hc O2 }P3R֭$"Q3UE-:{@FE'rJHp%C4dhi)dF|m?sKAr\-ţ|J(B.K R}6pfxs/j槪Egf(tY] 1~3HHB2;v"l2ʵ{d m*V71^A>ϡa{4~ ,H.Car #ּTݗ^īMoG #W{ԍЬ×͜-{+0Ǯ嘴4<r -!]XmƱtѼݦ[R}]mi|U:UQ  |/Y ONd-c"ލÏa2qb})J_B,ܘ?=8T^u3=y7~?(6yTڥu a°*p`ޥ y@Yp/D5,mo; 5.l&H% m!#mcy懍!\uQLYu^s΍i?<w[FEBBdyĀ~੒0A uK.QLʝ=p/45o;nPg2oD1.p є&\"h͎=.#l#e#o"oTJ]yhq3ߜ!dz.K2 KbD%ȹ*!-FC쫤,>x`.Y!;vG>{./λxgZm+ E+&<'!EteaoS Eh}l-D}f`V%i8Er9m/<۶lfYɹݹqyM (=cY<#w?H,d<4P yzPUT+&Lm~UMs([61ׅ ڋ0lRCz=o?n^WALUޓ9!;~\>⍒WH . ^^0w. e'\L@z]KA /4twx >Җw s`ղM402 Xu?;UTqO[z[5L;Z5X|(DWY " sLVEn:(kD9̡]`g-OfC[),ӭF 'x^.Wa gS̾HZ󌠞3w ̏@;ZIG;a942t'{WIw#X'kOrp{7>$0JxG[S!Wn#/FT)/k_n1E;ڧ2Q ,6QF01@qCd|g3۱m,"rkXͲ3@3sdWW^#2KaAÑ:1{FeU%QQXJɡ<'4u邛=~?0OK4Qi  =L"@UUƨc(#>'^ Q<ͲAVt$AXzzضпS֟I}Jbq@Iы ZR8N߶ՌecޮMoql l_<( a9g9C!jr=dw$IR ki`Jź9;&R;O f9ycv ޅ]p0g4 ݈̫ ^=}H>Xyĥ(@JCԻ 漵U5QOYe'kq4bYM]y8Jd6դa)zBBD P >JS 'F4 Eq`\I*HVo$ӄejk276+L6-ԔUup\ iN@03JRM93(h{dbԢ)B6T9kIsIeI'UM#DeN?ZSZ̑\(J,=oU*Wڛ[sY=QA$H/&ocù6釹Ȕ!*,#,;g_ޕ HMLz L%q+ }ƧQ< ύ>]dAV!#op6Uj}w "јbZiQNP7U7nL?w8$ì="M!y#,[l_ъGФ|a\)OP9Xq8ǒBo:O^M:iD L-*أ>*oqk-Я*20EwT=MBT>y +1w{>~S0v؅ r?{6HH⤉3S{[iBm]"n7\|A׉ʨMYm g) )XB4S5Ǧi8W<˝ݝ18%Yeԥɷ?pK읁2_rkH)~'M ,Ֆ?>L>2rWxq}1F]KKd;~m%` |r^Av[T$thg3f^p-VuoXSY%u+hUޛ&zׅW:gٕc9U&%qa0qf8ni \_hiSh ^caS<%~9R4@xn$xXNtb&,|: Kj.P-w65XMhrJ1LwpFTzϷKl3bH-i-g>_jZ)m}p8vK}q-fC ;Y޸7 O&§gL@5f3*+g]hf% yUdN;@Oy {Q:*QΒok1/BTl y5bƁ5efe#@$ld4ɾ";k')GMz7yʌB0 r>Ȏ9Z"xioB\-% (&$ aWb5IG$rX.2zQz<7dD POOS˟ k'ҍGg} -rj;1$g,O43+Hɬ9+p]XdTA`R7݄WHբ.Jdp*S9W> Hr~ٕ0{E7]|Oˆme"C,@LjRIA [jK03ZˢYJX%x3|'p4!vOh[MWK5v1iXy=YbbeLn4T /l<`Do mF Y`nL%P.>\ 'sir)4w Nˢ}q*pdC4H?H ڤڇk]%ҩ=jP jB'kۏ Z7;J65镪*!Wps sЍo= U?tHUD jb?4 qгq(7j!x&l4f9g:o'Ql-jcSuoa f-&`/[bNЧw=؆#聽J|O֫Sj秼uSX'|tj,@`?>ja:4=~جA/BY\0 MB@ڏ 툖B\# \ uevrT6ܢ~{%DWe9;}M;t̋χn0,KHn0 } awo(IKIwދ`h+`[LikGˮBmXf\oBw֐C5) jzO ±y!(sZ[5E"989${?dAXQNv~RT7lVw4F}a 3Z78B}f1Y!--ђ dw@+9,%C¬}|LL};ƟkJs\c,.E5c#uuAlG+úeyh] XmYAoSa0e!xUtJ65ñ0|q-ߟ$eH8ن1żc-86b a+SX͈B#S#b$C8 3PqHq[Sn0ˑ0pC;~|!(˿YJA۶@h"N32oW9p߆M3f?{R+*ږJOӞI1ۛ m^|6! o:CLk|VUգϖ!b#+1Qn"GllbBYmDeout1#A/?eLut=7[kgGՒ,r5{P'ZCk``Ovh`ҚRrHaPka\J~3-+ȅ?_;jsk`Cp>} -ht]J_0mUY?%f`FVOVT "< 0%Yi먯:',=oWhTt툵Gg1R /<0j0cKm}{mNwx{ֺ1$=W?k#?؆C霪$t0B'1܋WF3Uu.8"-Fzߠz"]W(VeH}9H9jF<̻6ܲoI5YWB܅u^[D{ S}8.n-j@LRUwD5-NvH˯}r!:0Ё9Ц0A)M|bv=Oٿ ~ 2>/ߢJKg4[dE,Fs0JۑDj+ ) EP ܡ] gN5 %khƋ4'1eL^xVM׻,^X;pDRCAg/~3v^bawo(zQ7lW֞Sj6lمB{I&- SNhvi< -Z'pCZa<`dATNwӘ|nȠ^_CN%lB4͗˱+݁E)En* D8-Y"͝,UFCmyPM™hy#@Pߑ _hR9@\Y!cuijߍơ,{PJZHi=rIWws$[7=8}" S ż"em٭quz/ʓ%Z}1Or6).W +뢙XeKW\J+{pGT*=FT *M1-Zd4ݳU2CAPva!SW"p