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   llLL ] HOL-Bali:threads=6elapsed=58.964cpu=196.856gc=9.484factor=3.347zXZִF! B0]ŗXf1-q恈73w@9!Ӳ) RVxDm)TR eXЅhN0urlTG\]B3ޓ$ΥU$۫]Tso?Գjl(7;()&3*~fߐ8r Ҫ}WϣbI2}؞,6yKJKCilV7F(pm7Ek>B<=$MaF_Cܰ +F).mo|~BIcĔg^wk6[sM+NnN:i˿$f.DHì1;-]G鶣[&t {][;.sKkۇjՀnRh-f k2"Z3V [~aAؠ"k :[JyuN.PIA' Xh$uPRj`'^abc2\ e_;(ُL(K7:~O;>,1(fWc"(1fvZJC6W a5қ+yUvD@ 'cj*dB?-g`r3]':ƲE=_k=\D[''U@x<4xx 故@ڑ@fEqNI z~0okA j :rsU"W%b@Ng |gvٛ  [PM%di= bvNTA\7H=1{+cseYrҋ6`Gk/TV-Rzڂ첅?֩])]i O:]I 8JvD%IU+R {ӕ==~/]f7F_XzQ =ISO !x{EJ38hCne^G(Lw@^?-vQ^gYZ7zXZִF! ]ŗXiɟ1Dw7v%[yIOWCel“4Ttd0Y[Cr>WOwߔeF (x(F}bfiðU=̵[ξdT>"msquPJx#Hsυex"[(xMU.YL>lS,Y #Tx_y`V~U-)?j5>4󁌈߱h?88[UE xa9C-7]a\қH oD[j2$Pl!%%q~C(nLPH^2wrGL1fh^84jpF5 aoxTdUBfzq)k[4/VuLǫ]DmxVœ( 9knO@G  cnɼ[臽Z\ ӤCF(/"mW-mS%2̤ۛ+ܢ0}ϴDrLw*4US<#Iļ̗ vy " )zBq, ۾:"0,UC|zqk|Nѐًq&X~F3V#}4͗qw'ޙ@stgyHu7A3E/ q_TD*tzӉ1@YjI˹e@n2tY"lT-WV*p 8r!3k%lx.| $Rm $smD%\A5%32~u{2SW\sQ RUo;;(nC_P=ťм1yn57Ծ1Q^ޑ2nӱh/ LM1tanN8(-bڬ7QYӦDffm~,~*>'\65;(FŒ?mF#>'mYu6[5L#h~y-LQ=Wpr gd0"ĴXnrx$(8",l $p>=rJس'SEy%ި6hDw(V/,H s 6cp2tAnP#1Reج񚐅 bhe4-rHr-M$2NFi7T;KPa/Jyd.u: _ǮOby tdwFY4DiK93yo鑨 5TU.8pqSi(s>2Rp+ tezQ|9 X$$J8tZO{\a3Tn=!;u5? &bĐǝtr->ə–=~%f4S8bvNSh- V3g^Z-wi /H/mj`d?&O֙M̒w@C^yt7PObKŚA9K9mǴ_J 0V%!`$aa|eHi\XF*Ņ |&w73]*5߇?JP귩V\[J72__VmW%s=U-*=iv^ Ua6|ڐб_վ&+NA}g5λd}xD){fcqKhƽ/Iha]$aӸWב?g=?k8OBn+!3>wL2|?YI?eZw~|+J+hT"sI( iDUl<Յ{dcI-nFo0f.+EHwW}2qSr r)/p$Fx=-&KPs3Kăڜf>'Y8Ʀ'7yڪ[qJC g"-T/ S+NnkPrlSB/38l/=xF`eV\i<.3."zogb*l4@5((7EF.F|(=*.<3蓟=IƔy->%L"K!f֊e{m>f j 1wwD+8õ7,Tʰ]WVg= )mLʋCjUI/i ~PɰT;ك8D:Rp1h;\?`ƒyxH$(p^QF ;O(3|hg{'kk 74ʱK̓o^?%w-X^߷@r˗3ˈd-([@$>68ڸZ"W-9ͳ/޲yNajJwRp<ŢMl6qt_k$?>jT缦E4ɚM]6 bƧIL2x* 68*_Z s 5'8fzhPF OiLU/"O d=;;5FƦ&nHBJqED :exINY~v֏JN"gYZ100304079cb84c985743eb72bdc2be5d761225a5f854ea4eb03a9c8a56164c4c9f9900e0cc800a63 2dd6e587916382bba3afcf62799d4ed12fe0eb85 0b5c4fad93a63d638535e624edb4f37620e0eb93