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  .# $ i/ CISC-Kernel:threads=2elapsed=21.693cpu=41.120gc=1.840factor=1.907zXZִF! 2 ]ŗXf1-/6vRZx>3dd W4Xhz0a=s`P&1D}SOz>MeܮXƶ:4ua}M}OP%I팆 (9swW eļCjImÒ2fWQL#}0]QXLi{LNjeմ:*̍ _F8Fj<*j.FyxƇԹOOQ Kn@NIJdVI< `/ʁOD<]i}&ID6}aH2(B?=8O 1b 'x:'hk 3> qRS gKLxzW'h9 P{=ʂN0_zގ a|74A8uc"63 p6!ZϺ%s;S0<bqqwW߷&t)0TLp\uVF󳶌՘.Y21 ahw#p,:\f(CM?xglNEtRyIJvxgvRu(aiAc#Fo)r]4c2wdĥ )ɾ8drv˅*j'qn x)3ߟ<->,XFNpitؓ2r[Q?-6u X)02Rl\6HeU>mBop}q^ZAAYmFMRZx[W9fHP[N ՂJ0hRcQ+-Sf@DG?h+$֋]lni+.Ŭ&=p!nڕ^M8+Ƀ3Z#h[T3M4Yl]Y {FA-Q ʓ8!;BPb&PV2F &㧞.3p # CISC-KernelT@.WzosTjBQyi[yAjrE78K~<<\udcQ{zͮc=JUc-@4׺ G&F\`0L8.!&)\9v>|Yu9@C]U-0xv@jOSUȮ"/w)|Ȇ]_|2賗'΂8L5L d+$KcF!^sU6RYM%9 _-!( foQÍ&Gys߉I>WI+5}pDj)Hs* -^̤fQ<6Qi~qR3Ck`=Sf} \4m;*υx$")83WgYZ7zXZִF! u]ŗXi%riu?/[I41tƢc10b^|ɂ- FYpg^\NHU&s.~+;;3pf|`7L3:?] -_Y؎*ۯ;֦whHU7hPDBWWSm% q3 xU)Z^:Q %PIu/cKlH-w%h]N7#O;D+OhKTpNk:c#],pH~Xʃg<-%uh_Ycٶ5ej91 yb˻Yd@6#y# =8[v[Y̮jFJkL põxKb—IGW gƏL˿w1؃.bsLpӶ}6QҤMiZEr0)dc":9nBK⼪ bm"/Gflg3 jNa]%%\wG<X ;(EuOK"s`0Y `;&B0;sI$5;w'v0=Bz%#SUx+U<a6f3 MiCgYZ0506f095c011835c4f7c437686483120ef02a687 3592c30ac1fd38ffd526d039830f81d754495946 36744a4124e740bd34455511b5cccd324f277a13 3de2d68c664fab32ff7a3aeace0d8bc43f924879 440b637391744a33a3e30aba8ece811488c7e9ec 4aabeb454f10c247e38df7cd714481f60134bec3 5061c1f8ccf840f9ea08ce306fe0df979ee274de 647b29895a9a234f8b44594b5085767187248cd0 68d9d51d23a8266e670f046ac0a501b349064391 73b9223cabede58b98b327a5ba24c2decb0b5cee 7ce1d219e87e3a78d77a826d66242aebc0c1d8a5 8ad780413248ed3f56d4f471bdf9d6b24491f498 a472b67214a1cf6a22efe58c8a3ce2529602cfbe af88c9306c41efb487e6787c9d795ec3c6948c83 b8ade7f9d5f7d4712b723e66913e308ec2ba70cb bb7be0def2547caa9c44bbe0efed558cbd09916e e348d16c420645f70a5d38bbef9783570fc1e619 e41054397abc751ba6bff1a620d2944ddee02bdb eb59e99cf39fe39e027d7743befd21a29b92a39b fcf4d458aa667a899f0ce8a92bb49c3a31cc7d1b ff0c2da3bed4adad2ee8133efa39fcb5777340d4 ff997872fbc887147587770dcd32855de0cd9a57 fff085c83c737871c16986038cf3c59cc609f636c7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb