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 i/ CISC-Kernel:threads=2elapsed=22.708cpu=42.744gc=1.928factor=1.887zXZִF! E ]ŗXf1-/6vRZx>3dd W4Xhz0a=s`P&1D}SOz>MeܮXƶ:4ua}M}OP%I=v#=B^a>3 2S7ǻM%7R@ëskLVƵҹKl)aˢkCGIl~眯̈I$eȻ t]=j3T(У[҆c.g=S^ib7|6ɊTv޺avyZ@kЙmR+!k@@md, +53KAGnxT`_ۀmzN*<*2塅`|YM +PyJiJ3hQa OE FO_ )LFe[smLٿ cv2rmx:{g-u: F6qU4g S|D;x&)`MLZ$ax<^qU&/?}yJAF # CISC-KernelEq0?3u~֎NoRD5hhQΰUZ?uJlR%UfQK/4̯WvDpCmeGi6$AlXL"!^IY罽N-W:5okiLJwy?3zHuVDrJneQUTbzIRaU8TG藓,"W?F?EZ|OVV"?m;YWV~f"y?cX:ӅEDur'Az5E"#pr<;[IGyu5GB/7{t٫@ RWhq o@E 9={}?v.kv x45Ӵ9lgxlzs, ȲhywW0)"ߧS,Ք.,,y)̔b_Ԅ,d)hH4,kS_ b_߅LJp+6`"b@"WS/0l=}Lb \ ɫi6; 8F([.%T Sx2ox?VX /vb5k<{tVeJVHsжW`YW Ɇ^WQ(ڤ{7uMxNjwS-=a]z!h }#O8wP:1et%P1 oM/8CjEyxFD!1*1l#Ce̚{?4SXU}G~r]DvEZ/֍UٝxFZ5.SzdMF䦖Qǎ!՞EgNY] Iɥ~78mp=?َRL\v#2k+u odWʺ"E&s9-aMeg~%]R`ޘS}\ ttȺ&Ƙu159LH ex!U%C*nGqtcZ-)8 V/Ŵh!,]* H)D O6+ԓ pZOZ 9xQ8necpf%IT%"B>=},hF0 +F״tӜo)ެKir@WY\zfQ,`HǁZ>s[;T= ˄Mߴƪ *WcDWzIhRljdڛT\}ʚ6hqRx`6Rr΃L,K&zw܍XMN ޘ[Yemqq0> JDDWEZWXxu0i'*3hESNB"]8}̦ T8~XjO|)q6Q3emI`0ٺe\ F!sxBm+Q-]UAj4l-po@yۯ;๦D60lFSmigwX% ړy 2Zn) Es^̒OkoKRov r{9lEWSpFw):rAŇ< ́tYEp7?jG@yy$x ey}ᢵuR lj3 Dk]@=G7JXr䔖~CxI*Y^ݢ|pݞ g8#ALYt茬բepf3X{wStR.vBXz)!qGd?(Flnf )s O` pK &}2 tM T>-y\M(S'IBu:ƌ7Fϸ>cPf!TC‹:@I{"q*qíoqNQ ]__[Ͽ)@ +s]6gYzsJp +25}N(s)8bzu&Kʓ?`)R(~C0,a#V yKo^n٘9'_ m i@=jƖ `~PvE>̠Apofof~,[b -h 1;Yl&ag![q sޏ)X!U6ZŅ *c(iRMqE]da|>r{;=f;<+n=}Cr*&'E:KC 2Yi?j~h%FIaPoIwj`ɅTlX_lO-1z}4rpu7Qn'Rʲb{4エ@&Isz6.P|{Mp=T`-,>5@Y.T-=[?a}]TEU NZc™rƁCA%T!*r+ ˢpDuo>>żHIeϕ%bD$TQјxn&YhB|-*} \AG>TPپG8/+ey 3 SƘzTF!D5DRNЌ6:B&2q{OWg%v>K_XrdAbpmHEdgC