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 JJ#7 |< I/ Coinductive_Languages:threads=2elapsed=17.331cpu=30.144gc=0.880factor=1.747zXZִF! ^R6]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*bG 'a>fC (X1k5WzAvc /N\KxH|kM*,,L|_P? z |Xamyc2cA5:cűmܞ mR,~Bޟc-# B`,>](|Cf@.Uk'd/D ƧxƋ3g>G@ibɺی99p hԇ3p1,CZhN 0R{l{] I M%I~w'=W1o @n${ZB.Xּn@i7&~ṀG|(6Xm+nCv>i鈢g c!˥ V<pꞨF,sH_ry|ӏ9  7 Coinductive_Languages-9Wqd]T_Jݹ#d7 (fkH, O"4oBATO+Ia;0|tnyJhTqő7^AcI f~> l[DiUu Zg^`'cc_8ubA F0Ipg /n@k𼖧`iCZpD&%B5L58HG¹'ps3@׵/'J ה|&Kw#X! )ai)ϓgHxi<^ ?">HxJj<]ߞ.n%0. %fI$T/R{}k&-gpDR5as};8vJ]Q'M[Pk-*PY&vW<0f5dL6Ũvo+ RW&wl@:fzNih \ ^= ԪDe!%+d-;i4_a lDy'L",r$rS૦Ľ\$q(Jt!f #;n[LqBy7(M@8_y)]|~KrW_pyVKLI aPF Sz ;\;"`tz@ENIp)ѿWX`3أlP۞Vؗ(ljW;^ (~fA3Ͳ Fp ܪ',T\Zą`Fb-'lj䮣 z b<(1aBF#pX2" qxLrQ1ZuޔS3 )*0<߈/) to/XbW^(S灎p *ʲ7^sm.xa{ܹy$X;T.~p,#hH*aE @sU(P#?`N+aRHϐ*%m_I}SR7Uڮ,U\Q9wkmuxQeI^Z4ES=(?E.vXc|@%h)bPŊ\A'4Aٓ´o!/baD Ltm 2q_}pR@c{F3> 7p>UYaIӽ*iXMӼ-±gYZ7zXZִF! [V]ŗXi%DQIޝ.8F@@(L^ Q)Mr 19E8Y#ke7AOiQX~K"q-"~0ӥ-+jc3sJ*5le2NPA9S"H ܯ,K;JP4V4#2UCDELVb:0#Ua(-e 4V-F&7XD=^l`x7Gs>."ܵ]0DAܔĴESԃ+#v7Pe8Jb'ֹ_=V7v+>54 bgxڊ Mtv&+4G=hmKhc~ts!W<{1sq97l7{^3% &kuc=G@5C\X(a1MqʑaÁbpdykS)O˷su@FCjNU1T# ngGw/P G ܇/a䭳w&yȸ迶TGeuiN{(:A%ۤ TgP$b1 OìCtőUʵV=l_µF־+6նAMJ~@sAՑy? &)[r< L;NUQF88 vnU{:I'6KpATFl^ ܘtǴ0t0̐13mY Mtt>}.v1a$EMy錭Uv}NY"dfw[]1Q(yV.* PGQ%, +d24CR:`p/Pܶ\O8A8:qes>)o^!BF#^Vf陆nڳp;V^Y#롧=NZ_M&ɓՋ{>#)u_Uƪ/w=R[6;#gECE.tgnZ`־Ug9ZEm=2O'R!mTy2_%pKu 5FJ2Ӽ ZnTrĜ?j0SPv'CebO(xS˘^`m &[2]&3q.UAZOV8t ֪Zk2HV_ ׶LgYZ32c698b051d070758ee310ea41dcd60cc41b593c 90934926311f1704b675cf6475aff3f04ea39e46 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea a438efea6288f9f4f15f7d643bb504a34d38c343 a66485ae7a650fcc8fb19b37468f99c32e2b603b a9638f140c8eb39cae66b73ac4a179a7fc3dc9a2 e6106d99a844b26f52fc9cfcdf46f542e7bb41f37df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56