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 ,,9# < i/ CISC-Kernel:threads=2elapsed=22.380cpu=42.932gc=1.876factor=1.927zXZִF!  V]ŗXf1-/6vRZx>3dd W4Xhz0a=s`P&1D}SOz>MeܮXƶ:4ua}M}OP%IEŪqtpQp}/`ʟ%FGB̹x>-znװU C(NJ':ߟ%e9p1rD28*cri{Y0p(41k,b[5jY`wSb.w2֬eMP+,dVjC0}m  hJ嚟Yb6^>> xG~?v"g(ӳ0f6~wL^%PkOgbMx`gAAfsd[}Ry5J,U 2? `9ڂcv3l/TO3 Gؑ"20#x% mwgEȃ,ҲZ8Ⱦx(@6]4R?@OGiw`CIC|9XWrubR}f'N4]fdQ8iCsb # CISC-KernelJs &[Qfe2ȘƤqSNTB!uF o& f`Er D9O8&gmD黱k@^G9=!F/̵s4;&7Ɯlԗ@}jgu*W`FO<\+M杚ဴ#fY[?j (/ȿtg6(Z`נRƙ2FA\_[=Pل{GS@ ;^ݹ7sU猥Bs[EF#n2l4'fHyziqQś7(o2}9>z AT<'c5BbʻM"vچ:yy2p܁3#Unl$JFu}O7bP:%KY*qrMfiJ4yQIYB#(݊  Z!x8Xw|u'G'X e5 >̒2V"hV٘~7ȟc?hfP Kz)fZ"U7=BbOS=oĉʏI\Y{^7rge,7hjO{c y]݊VS8T_28,"vD=ƮӤFl\ "Qu3>ƒSXZ4ɱ>f`yxK+Y*~pEg[NJ g#" ؄`rjMɖ8ެ++5;Y(53ғd2 0h;U#1zbn{(ͥ`- MV믤<iS63WioJGXߊO`0sݰ҂a8 s7Lw&*Fu]e}[[Y/`$ y(wyVpWo֎0{]#.q%SgG.ΫV6gxpv^J:=O>ЃoӎBG!K;{{cb`} I~~/Qc+2 }q%Uһ6ډuL4)Ui\Y@P`?ɘ0r&LƗ]`|3A-On| /l2 6 YV\Z]u{׆,P8l| |πPz^LbƀPk S`7A{AI.߇3Nڶւ 9ELtBg hfTy(!g5+h!BGf\Aߩg5Cp\-6 ڇex.]0F5n{_ͯU 3 Eml 4T~ c5GM ĝ Z3:0nl;3]c񞒪4oO)~[$a5~*z3\$*.cC(OU#F =[ 9:#FvܽZcH on OEo蒱&Y7 EE Hrq2*~gYZ7zXZִF! z{]ŗXi%Rj0 qn S&RȮ`q91;J^7xh 6)-/AӂL>Ն{w Z5aaKb\\i=C%iȍjcI2K$jӥItP#⏫4% /7( ;Ɗ7g@QU#ՙSݛutt=l6qJ"v`aַ4 8l[NZ"ԙCeJ' yc^>ճ!(ivOB4- j~O3=շM2M 0}k^7's$[ !$WHwQynQ^ bE"`>OZ 6P&hFtSq6KprH -ﰎn)5Lv*4}bWV~m8+B4 y\yǮv]v- no|Ym3u} 6w(x1 ^aWv2%OIM ?ar5d#a/"IO:t(3[#WPN-FDKeCݗ}*XLAv馄|G,w& V?2^=:lUr `xF_RDP:ͤs 5 0p S wr|HKSY*}+ ši0˥$]'^%\QA4+ 9c* FtA7^ó9"׋g } Or(h'Ͼ}f#]JN ;U _e SSE']g*~߻ASEADvDNE)F{~ T~#Jd727Br)  >()65/8X