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 HH-7ld ?/ BytecodeLogicJmlTypes:threads=2elapsed=100.366cpu=167.752gc=3.688factor=1.677zXZִF! 3 ]ŗXf1-/6vRZkX U,ذ&y͡y % bLi ,u lZ19V 'm,D@j>=]@S(&^q&gxmRiʳǩ #=j[gvF `V|! k'@nۉ[ ᴺ^Yځ12)JOa;{亼ִ3H3.Bj4!<.3?tG@P ?xm%CkG',mEm~Ui\p-Jʡ>P"T ۄB7kNXr. 6bq8CԈH`JXQckhh;]^EL 4O ˿lv>؄}//)Ҕq|CLET8V[+@7+o>^+b>XGދ%X WJe6eX(<+*H|sU5^n}e/c.a|u@O OQP춝I^qi[E5F T7 0R:9;ȑKO;ri 5t\|Նl+,|$: 4I&@iY @ 3bߗӦwΑT.Tz2MY2Kڍ| SUs,J-):s M|&w|2 A{N# KΑqP-rvZ n3 K썣(OЏ!+_Z`$oAʝ|d͆zu?n8!7ʖ;۶2ǒR !&}cDzXI5۶2PG!2?ҟ< e녴91e# c Yb|/pOcIS]ն}1LqPބW%\2s4ʵ ڀj0zhg3wb3ͷ%,;Br-JSMYD_ /|"3 Q ڻU},Eim.wtyku(;!BwAO p!P<ʰH- 8Y,6ֹdŮQz!YoI)*ڪKQ^ciqAܶf,h=78ܣ;s'iQk\S??0ĽYHRKz'paS`锦aϬYh=-mE @2gwΣTB&CX/ 0;w7Idzr:zG/, *SSfῑ VØMy'3'972 HeIyW#U;jes6uDƒ{B!i,5ԥ%Y/L9u,2ꝱ.LDas:V1@-ӻS찕J0YI$lX{nADY@u->ltyD8dbkzg_37(HfwWs Il=~->Ly{OЙOK͗U^gԭ-3Fbյz< Y{}9pq|rw##?>d0acڄ[|DRP=i.MKpqN`#M0Qt%~Eg8ROgWK¹Kb1[\zR*qR7n|^xHN!q{:Fٿbe循&{U%֞0cqL^-T°gt둼Ce.J-I\=DSP, 'y y\]XyWXiF=ZU'v ,‡aC7t?38IaЙ({Oм0-cq7X3O $:-Mhˁ/0dL W0~Hĥ{kKD8,:gnCGbG͝9Zaa:3לvXq˂0^gN/* Wf7`"Ma<l)[uIlYJ~<|% ˱!܃<cޡDNI`@yWȄk~ZWV'|;|FKF3:kK.Uĩ_jxU2ȫB%jpAċ܀LbO )>Ntj=8 k&P O2X2Kݏ X4 GgYZ7zXZִF! +]ŗXi%6x 4ŊL$Z=U6f%[FCW^6904f""N^dE]ќS6* }??H]m'ƍ@ allo*5̀l9JC=0vДM4&KZٷ*>QEV|JɨЄ\Xm^ƺڀmjfD*@p0VohY&A Ǯ],Eͧ+kڏ'$ tb [K*d²$ˬMǞۮſ >9lTu݂' x`Ŀ~ ׂuOIQ"4O\Φ7Bjp$CG)xYI9,`=ä́,RtPAV[~6Klʄ< 2Lz0~='"2aL\WOZRgws_Tۊj?Q~﫦~FL· כG.z垔(%: (Y]ᇻnn( %(0H7&ъ+ iLDA3ߏDl7 NۏyW}h}?LxX~6wҺ7A}#V%\nFr/G IPqȔжer8[Nd_z]\3`Ui.|f7M9gGߥjYQuX=CCS.v]v9U ꄤm˓'8_cTVL7K}@E D]J3K-zWj$ "= : ۾*#e ':GwpRMۏkfgQ;+ڻViuӪj&j!ɕ0AO?P8q=1ԃ2!C\;*f*n`o(tiA:拏W9G>t'D0|cpe'3gY89J(Kh-uƘcI(#ۘDB1c CW-cfzḺ#SZ+2kqڮF],Cԧ˚6ō2wt =7 SQz޽ګN`PқH!as`Nt\̏'zu(<~ | ZmZɭ fkq"Z<^cVaب9frA³$!Ůłϧ`׬m7%M@cf?jMW<-MC+ 7 BytecodeLogicJmlTypesSp*Um~_d981 HCӀ5dLR TTn#=Ճ(޸d? Z5Y@ogg[ ,B$3(1?pUkS1q }B]ivo=֌`7^^P$!mu#z* Y1zn 5RDֻ1[D Ҝס p) Lt?a3͜ (TT F}@2D`i@\eRgPZ<<~R7;EY(r^\p3g2.Cj{$>Xlp9XR;w/Y& 3 s ) I7!DvX@{‰nܸ)}ݴym<|B (N tQa4:S4o<&a yFy O ~VFeĮ(Z o;{8["Zt1Dҵ|BI*[B|򜶎@v6f(%ԣ}Us`\^ٌu-uMf;1~4?N2 vUR W].DƄz1VKvS]A8M:O%Ec]?:W-{f .ͽ-F8i3ҿăޓӷiΔ /Gl2`+9 1^u#R  npμ O?8E- v Sr=$ dY=۸7ЕƊ-uOo;"tcz֦Wc'@^1f; Fm8e6 䁶<(E?LvDZzAI}-@CF*H:NU 7eCFf4*\M(i)kej O& ?Ѻբ6G'f9~tcm_@BC{zFI on'WQԨ qӲ6۩ψiVܺ19IϮs~y.z ƫ: 4)( Q@H1M{}6%(%gaK>Br 78f٤ AV.]7gvm2Z  Bvǁ t=;-eTQTIh gR4#9Xd 9<(ZUJ(YB! v1?9`s0s\l?Oe$qf*UGچ2-əKт^fɅ~d&k3_N @ˢ<_A-$a]* TY) gK4"B|, 5N=sIJ319|+Gj6 FD v[P,'8'ܗDkvBW a"eۙlj/EFhV>X2g)A 'O-ߖvVuBN%HZ]AHxHLt[O ,~UNh^5j5([|2-=7/T8(GkςEYw7^f( ")QJ.Pv-ݡCn7.`<T#RHN| Y Mk$ԓ5G8]nm,ju[5ZD&T,#0 ppVw4q9KX#X .9#}|$vb1WrS꿴M9Z(.odwl#Q׾ NK6P¢ywH "/wxCۦ/\8w֝BhۤpD 5J,)P0<'q`]kx$.d{WlU+C Nw} G!i{Mp{SLB0 (7JCi-J,? { b GJO\(|F:irRM;GRm!Z=.~665b%#+(sG[/Pʘ?sFvńe,߿Ď XaH :,zΗf.՗q"uq Sܞd@6ۓ([>PMLtW,K-\֖zi˞dutBRBޔ#hںN痪0Xp%^<q[*P) [i#zb.Y{qyLKԊI"u Z,t+vқZxF<{MI,EdߨV7I6"PukJO{<6Cqq8SrtPuɤI`2{؀ ;u֡=