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- |\ S]Relation_Algebra:threads=2elapsed=34.237cpu=67.040gc=2.244factor=1.967zXZ - Relation_AlgebraִF! 8]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci'1hʱ]ʛgqׇ!sSoY{Tmd YR@fUt: |$ҥe&Mځ˜FAؿX )WoL-W‚k].uxԴ1!1KeBL>;Qq֡8^9:q{Ȥun_ ,qtMY S8 umfoeZ <]5?*heۭJAS͚ BdbeO;oJ;BI>:NL¦6jkT4zoI%[(WVyq\[YOƟ"3X&ؚR:i^7j9Yϳ)~dz!j=rԍ'UEaW6cc=`7Ω2,*Xԩ_GkØ4y N'E[AyӋϞhfhI~z#s5)ɕ܃jArU3;v Sk0? (P"GUZmp^d(B^Ei;-9PhFWޡhsVh[RvRDORzˋ 䤐k edgbUO=i7<܂X< /Έ|RAE/p= 60ɈFyT9/Pѵ^*pp8e$/sA혪z->׎YdXEg,}9fR }]?‡z՟VAq5J@3/9,zan~~ewtoBH,i]4-׌* _x $Ec(( ;Ny/Q~+x `_E,DUSx}t?(':KtC_/Z.7 u{EFP3(i_\Cs%nvIO=Ϝdz޳ȤX_YX]qcgcҎ3tVk?-, ZjTy*{x%F8npob\ȜpZz [0?61ߺE@F|)P8cߦ1d@\i*.xOvߖKH'b׽42®>=BHˈ"Fg]d*S 4ɂc}.$ъEncTGY ~L2S`{QQ|\S|zA(m"2>!J9"U9> h&3irN1TuPc:}1TD݆2a,$Z .JO_to$bV%ΦD0lMp(w,XauA#Ѻy vMyR1G=ȍx$@r)D:YtF߻lT<G1iB~BR82ͪxb--7;ll 8\,tIIߛ3N ssQS*LPL#S$?'ꦉ T^'{xAd,00l'lW];b㯌*/250YaTvk'OCS:mcjq=Ƒ`QK2nAꂈ!{tݴnbc2JJ)돯xVώ| ICwwBhi:Gyvcb1*){$U=/?QJd):yzY% G𨯪nl|J_{zI.ԧ_Q6vcEp(5 k"{‡.3_q9[Cؔgt.Q[jd|XX, WƑښla髉 ꀅ4$vRofM'XHNNF!- )WIGM삊x5A"4禇O/?>ꍝok(hRJJ?A=g|ކc Q*`^>_VUhV\D!`mBMO=YrX 9܅#!f{ *2J@ڛhKB]`5!2CiMcb^u8R2p3 ^;aFub@Lx,^"JmZezΣ%*;krDqqprl#@_C$hoCoC'ٍΠQ"ee*/:?=#]GA* <:{d$=C:[0 W?L{-*/G1 ;܎&ӮULfXɺSHjaEU@OyM"&ra ap.&DK&&ڵB.bb7os{a24 (}A)6ojaj*h9R^e՛'?MAl8rc8Dg|)A|UmBNJ0 0:_»HCX)^2 _i Uz\; Z]1 Ҩ"r#]>?4 ydh ;!w "++ˈ6~(5>[XʚL}fYFMULac㦃hhp!9i C"j̈́')g*8NJji{Eף (M BR兀y".H)uϮk˕Nuu bujT@5q1؁N[>z!kB*,Sw+#IՀ%JvON1")cXu5D"=ߦ&yKDGX MrF4~f ($/e@k{ϗJR<8 񼄋Qh1zn ?t4c~)6;CWK rskF&iwh擝)oL!?jb tKq]~ۤԺ&Q^o-rzKο-K I ѓO>$Xvgc I9Hm#z'w˅/Aiצ\a jYu6P xm]5Z:)1Eqx]8/FRqi6O#ƿ7-%?O6Fdr~nCr=V3NZ],Z 3"4h(@SoZX=1;ڐbO7&/%f"xc ]ܸ6-Ư \le.r9VSINd6-.X;L13t0 Az*:wԡ W6&Zt [t[?D;+t ,}~װ^cQr}?GuL. 'V!orͦAxu 0(=1- ]!ODJ|q $h)˿{}?; \`hٌHRW.(Q]:%+\3 ̧O"7Q ld`xpJВ!uz'{&!',/&,S6!L`1^+:A1yCs3FbW=E6 ?\XԖ;S^`آM|i`ۈ8v 319+\;MTB֭  e;WN _{]<"6B rSOd;`#XTdzSkސ.eg\߿ S]Wc{9*h!2=s<p/U0e@hfDλT~ g > ~Ǹy6rPogYZ0855880e28b25bce23a0b382e846acc593b36267 0f086e7ce11590731d04415bf2ffad59b0fe1d20 38f4f889341e004ef96c3834add35375ebee7827 9e6bb46a997cfda638368ba2bab19f2cf63b764e b6cb0829cc7b7d74d66dd4a2e3b203d490ba53e3 ba2960b5a124c441ca56e5073b9f81fa76807dad bb0ae60a659faa69a8c367edca05d38dad1346b2 c8ea9a9a84b86a0d86a3876ac7167952558034c5 e1dc4bf60a9705e1fcb3ce5588fb107ab09748ee f25d3a33094b7530c3a1f486b47f3d2c033c0b98 fd9cc54c27b597ae5b136f86c407036656d4fe7e878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 5437d1a7c3bfebcca8a8b15a1301b451ef013d21 1dd3a9e9bb499991403d3387661e3c12e8223956bfe987f216783119ac926517de20ab62a0244068