SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info #l  PseudoHoops:threads=2elapsed=99.967cpu=134.344gc=4.104factor=1.347zXZִF! :]ŗXf1-/6vR[3£ˎF""TB[dkn*eTX{)cTt&UWng㲝G2it\׹4ӷVJ@ jwEkꞥ%W.]W6_p7YV]JB^J[-QkFטF?nQ"m$Ǡɓn#`gіjP52t.B_-<;T4ˑ]s`F35Qu!z' ïڛ5nDQb&.9[p=xKw-d н3MoK-UП܊WO[2xC߾${c24': ';iC޵kۧMz+)^q?;jns`o>$#pl㯏A-Cfr,Z)Z[KM42% (*BE(﶑Tl>Z2oR UJ?.DAKՄc(TlE8ChdUށ#P^YfpmD%<-l؁ ~ux{{?z{ * @*2wj(v\33J1u8'( ҈0 e*Z)m`E4ůR؀\v,/vJ={ʪNj^di-lcJ'2&{c6gno]hƥ1H\,jB]ˎafTyVYpnxp\% Gio.|-z1I!xNj1QU /w7ޙ!mòdյWm#N]tBA7|P2:v&M&ȳf%#wƬVHb Kq0xF2h87)ܻ0e(OK]v.:jy|f%v'?#w-u61& e"X-l#r6gS]ܕ(>XHݫ`l7W*#I)>xL'*͋`}L_S(zЇR 5RcQYj"cPP-Ѧ3|7mZjMHG{CWw|OUIY*% TA49=#S{JGx>J9 W+-M T4VEA v:`M_$͌a Rٍ,{;f!QA>:$"0_] N8Q]d A25-l+@?YoJYOS}<:8+M&9c MG>]- =w\śԊ,-QkbB FFW#b/Ҫ5+HK-TT ڔk0?xWNYH5:aN4&Ƕ UfՉ˙9<:Ora qpIDͭ"kjX/ +V"4V=;v2FBy/*zvI]F.GL.2FCLI6Z~K˜=?Cτʄ0o'2F| Cٕ)8_1=c VݼF]喉= ϛ-oo߉@-UA@>pOkMR6z-?z*^k$*TRdB@03*u"F58L f@DB4]űИU,yq ^iW=DnG58 9>3KĖw#Xǝf}bP/}Cí.Z6,pNPa4GPomO" )6 j;ʎHb!e'ݿXD$6FߚAֲܩlR{N6EJLD Ao&t{!(UUTH2XTZy=&h1f)f+Ų1ێpn{C I( ܠջ'd|8+?ʸA+RW6hQ`BzYqEYz7:I23gZVcqRU(6whOk/geB Poϻ6"qb>ݲ#M !Iԭ JqaWWYg-H `@*uҀ%hq8 2dej; )8%r!夜@&q׎Zз}j8 ^?#vxy!L]DOuUrSY6j42'3k٩n_2x`Gb y,F޾9ܽrfm6p98*AIKӠqPa'wT̵Je-1'lP ӿ-S |N.J: 7/K> Z{ @8U i;?uO՜oȕ8n7sVɯadWyE#Rۮ fO`~J= :wjIgW'/[fpV'IAtK.o_&pY!k h դ98}|!xρyGƚ 8AHbضVCÕ="#ai_?k1b< Xu".AW_<Qj{UaMc>}Y"bAm*3:ls&%zҴ EF{0OPfMvӅcF} ,36PlO+ 9oLe'2x>c7RekPFWz #cws,z*^-$zUG@זܞLE S <4h߲v<_ n1XK@boq?Lیg 8 &?(RS#)yHmKf{ۼԃMu'֞;Ps/:98@Q6oL'lsL5ZSCnBM9T?S_kxdPBJeW̪%zӱ)'v1b[l+l'aT@0yZL|Cе3y9_C^OH}~ 7ٽvTSzA1oS HKc1Ө0[s̓b>7$N(%G һ)z3^@ =,Z:LW jaow. >I78W IB!t6Z!ߤaN-%`$ d&*N NɝGHb"8ןh?[̋,qTW)_Dp ޠx&@FME*6BYt(xӹo>fAr Q HK] B5θАrDFCh#b$|~R-6ye-eќ~,J2*ҶIm־XbA^4c+s3TLbKbU+?uئ+%$e.j\ղݡP 3{O$h-Э*ꈆl eiIxlbe03P;UI:  xKF!)X_ 0{XDN|?89x:r)T/jMmk%|6FrZA9k&upr `9{|nE?*FHIB򒀉. 2A[ɫ¥fԩLcabϖm:G\]Ү^|ds:9 2y.Y#ʙ p sI|nL%rjP+TȬW.éW$҉{) ǘw55-.5+'Ф(R{mJ L G"_]j>MJ4ĿcGN L)o>!$&',eټAiHS&(P2MȫX b_klpZ2:}`i iyҢQgwU So+Hj,$p#W݂uC9 mȀZסё9\WHT4M.ݱ|4紅k*Y݂89~2*J{`k4ڥߋZv2('??*xDq-&Y 6}>s?l՜=V{G{z:veVZAї*VmyA :پMWFR r9׽4јW%W+5 0O"Ll_[y G-K uىTͩ|~a{ >(5*sdf<@ T$v-e.4F||5G$踍>*{% ;otɓwH1k.KkV?W#Atچ[ !ݷjeH.[WS33Znh'AܽH/F}(MŪJ#ʨy K";]q] -ܛh O NC)pS;xNGR gInh;mW0HHF|̲ՕZfBƇV=yqBZlce";wM]4 X=L+"54O5$<,!5gMf8MzfgA3xϡFw\()x!:-"X5툶8wRh9{.Uᩞf9=_ijxƓu  鵘JidfַryID/Cq.b9Ne'XU/ΙPTgJf eƹuiԀ 3D+ ٬ w㤓3dJbc~g@eRfZ}"t姌 槆vt;a;3i?|ͧW"wL5Yl#9\5OH e{@LE[TوjߴN36cX_ Nջ1翕&Il̥`:fl>2 Ӵ7Ӿ;#C}jz}2i{ }xv`s} ) cab j-j'A|>=9]·pkP R8fܯs7zSx:l)&2H.~`o29})ܛ}aϦBEе.W{Wbrm+IqF|V> 2CD[~~1/i#A| ]+*x d&LqK!Dux|8ެ3`mkiJe,H-#o*m1h=mMN%Fv o@z5Q2 -/墣~"T%Cd"q?x o$V-q0QK=Vςgp9؄dBUnUHs)YWn+"pPG-B#twѢ7x 7,ؠ.̪{|YhX`pfD ^z=MVΊ-3|KjQ4|H_n=g%~McZ4hT"2+J2}Np& AtQ9](;yI21hKtg~,\eaW LrA-QsůFf]icNm4zbޢP7h۾In2Ϊф\YڋnU0ڐ@# K+ѽ6ͽ=}v%36UEˮ}EuwҠ4rk5}jJ~ ޭÁ)CK2 x= )lLX=j~א,A4;'ə^|ZfA`jѓ=\\,0{f,7Ϯ)Kk9@{\=V:#V+dRc^bm.T5k{SvinN3-RkJ5n1>0C䂍O=y^pT-2'}Ê?%, z1.>fBnAGc<2."i-$21~. g'GQZARj{ jE~ ̲}o+-d%W4gܬP_Xp 1O>ux3݃#*3u9_ $hQL/D +"9jd?㌢8Np,ޢ%NH7$L#cs +X`gLCiW%G>1tfqIR;CDmj4,=lZZR>#ZjgiBAZ:FpE'leK3i!QFҼ}귕/ IhNaYĠ 5#oD3tG 58]"4s=SiO<%T";^hr)ekڐ5YOBKp iNK ]hur5;wONG k{m4)ZZ7:lA'@]ϺYԺIBqN>mɭ~L}Q4aupvݧYQbŹDHPxd!p96AKZf^o (j $KGz"W\=hsk<ʺc4pԲu47.5m!7g'MVsDueG=g+w^97^ ͰA9AԪβ*c{jsZْ=gI\J+ΑS[Ulrnֲ]vK͖;ZcG^܍kpNCKZ-~G(jVd~i/z3ˡ2"VRhyc+LYǧȮҞ>hHe~cK5`Q@DԂq5w e%::ta\=A Ds&{8em1s`„^{G-7颲.FVk;Ǧo.g8 ax.&Y4`*OM=+$s*LWln[EvR.1`W4vMz*>Fd>fb_cRs]^,k$$D8cx{[lVxBnxBr]ȺH==c 3eH᠓ (}cVDi>d@#ve> 7D{iRy5ܲ9QJ__}E'H#<罳nPvEF9i䡕6#SOu߭6|`&s F&W<`kއ(O/gQoDc7 XN[' pBC#cm{m82<BstZ Qa7ͱRMXbNxMw/ I^ U~M<.g#S%.W{ޟ(<`C6ݫj5f;@kƍ0د(|CnZ)BB5vW)IAB[˺ӚN('E$ts&0 ݡħ캡yBQ҂Baɱֻ9PTTiM="@iU9Tf6:+>?_-/uxW̛yE;V LXAwSǴM?ΉX6 JZ$S4v7Obk/tԬ/02!|nҡ 3c/cC5ca2%+;ZMS_a>t.e :hX-s6d*x4>y,=jkJ#vy{,eC|͟sv^_ccSHܙ0WgTScDaU^kԒJ4U͒%dt6y~so3k"B}:X ->$; Ǝ&¹4'ֳh< DCln) K{c],BfJ Z&kH1 Z52·{ưPEpc@ZB@z_i~3暋 rZ4NKf~]-3hxܻ tI>̱sEi,lX:ǣޟiŸ(*+xD`EN> HC&z]f^ZyҸ`% -_UѝZ cMi3 _񐱸Ꮱ*y zGfsrQkJ6yI,b+9_Eۭm;3[DO6aסl,? NX v<5 9Fr|0+[:{Xjc]Y٠m&ɷK=8qgYZ024dad8fe898cc373584ca421d2f6ac517f6757a 24854fc6e0ba1abb1268fbcdf897fbcdbc016dd8 2e4bbc95064959a708ade071236a95c7038f6442 32b284596db1e83dc0ec305f42b3f193753b8d67 4e9168a4953045453908bad16f1b01e3adce7bef 51b459fc9c5aa7d5f68f1754d795fb09ea644e53 76e3c3c83413865d1c0249cc34717434bf9ee7b7 7b9c3934743e11d84bbdabd78c336dd8d4ab626b 9a4a85368546387a79f5ba733f177705e96b7af8 a1c79c9d16563cf2a9e51ec07c9b698fbbb351b5 f647347d3fe7669dbde6bd5d5cd06822bb8fb7cd878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449 bb85712e245933843f507d142e8a00c6843f1544