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 ,7 \l I/ Coinductive_Languages:threads=2elapsed=17.316cpu=30.756gc=0.964factor=1.787zXZִF! d]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++iaz'bיI* iӱ@+sRUIPmibc0'{1ry7'L̰| DpJ8"7*cR ЩS[(` Oacf9"X< xޡ|Wwݘ6iu$6eao@હyr.#1 0n^["/ OŅ;3¯_^Y4fG2veEQ$)ERth>G*tu]S2X8M{Q@$N%*@c'g6[9c77zm@ \9/u/*OԬYJ?Q0{d"MVBbRӀwy!- ?N|l>; ))sJ1˱AfH̵""}l˜Kże`C# ln/#kddhh@Rqb1'[Qz2bkW /U 8u\©glMrvt]`#}VL;*؂|U7'fOoE3x~[{[Zl>J6'̖*Z/^$[w*~{'PznU#M=Iwg/yLmh& N] Uv x)=ԔgDǶNI"W`sI1[I^o=bE1 ;$˞B0Fah@;*k 1i(F eߊmlfR[$ 2|Bye G< {쮌Z P?:lEZDȃF7lAw65B`QBia_ 3o :}Jo䜀NP&S͍ıhs(/"ʼur:r3 :{]SnԼkuXU96&.'Z;q#u%sMh_sB3SU5' *_Ym\Ӯ4rp΃!ճ?DE ' N=b `C=*u ѿ[kx<.l/E@H]|"ҙ}Wk9pUp+B6cθq!Ȃk2(p'eySQ;VC ;~#Ntk.sxaӪ1mHJB%9P2iIzF%Sy[Q׫5.H:gMRldHLv;W(SY-,Tcg< "|!<@ơ,oAM8D6I2NﻚRT T="P :k${ xv1WÌqBReavQ+Mf|v׮u4qhHў4ߞ?7#D~ټ~<)d]E x~O%X#_5<&Q` ; zGm'F0`#UVE^bTe.iG83 7]B}aV<GAZs*Ο'_˼\mW?jVgR砛Gq0mQs0&ǒ x+.FWd3srQeZudfM緔xV&2%,!YQtI287l{ӭzgu&Az3n\ yU U4\$$p",?x][=*OWV;Yl/.2ܑiuPt&m4\ c9(PȓO?є;9NpP?t=J_GR4rcT9 E_>V7}MN uAgK~tND S:֚d\AzI|=s,hmlԇ8Bu(Ov:!l=ڌ0BUa^_ F_"Cus}l$w) 5˜)<$ˏ4@ 7!#gmEM&hw!"E;r埁gP)5ˍqQ!T(iXm,0SVtCS3XVwo-OdKL?mqDV ~ -i)ATJ#8Ke"}`hyMَ8ol1R2(5;O]T ;A j-u*pǹ.A'<t.]nV]5Hug.$~pN)ic\zHߌ ˛` ޶'gYZ2ef530c3346e5f584e31f63f116fbb74cdb16136 32c698b051d070758ee310ea41dcd60cc41b593c 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 89d8f62af42add378a11d94d563e9cce40bc34af 9c580967da24d52b7f0197b4845b4404e56acc0a a438efea6288f9f4f15f7d643bb504a34d38c343 f72b80855503bd44895e27451ed4972f4f3769499711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 7 Coinductive_Languages