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  /) \ !S Sort_Encodings:threads=2elapsed=45.806cpu=89.472gc=7.760factor=1.957zXZִF! G]ŗXf1-/6vR[]+rPH[yk)163{+x VYRc'q|CACE$R3 ICη)LJr`6#<){IEAeZMpi k EbZ|zEnsQ3Ĵ~_b_WȼM{,(~ˬE遪n_* ,FMԎ>lL8[QP-}o"*OlVFK6]7xT9rS1@Ww$"&Dd]-gEBzpFq଒ZMYd[2vi^%: Q@HP*Tdww4x@ To5.h4hlZS ^e%#2רO J% o #|`𮟠P3J&gv8`~NnG.<'"/ZBO$7䕵l.dSJ_Z@^lRKA p d:~]L 4W]^҆ɋ:ʙX|/qvlxE>u\d+$~s d;:=\{55+ "//*霡KѢ#joS/Iyeٺtzl'vK eVHuVv5Hz&#FǕǤz9{>H%7rnZwNҡ_qV?" 1* |f&e7W֢qcuw[.nۄIUR9O}xߜ.713i{are2q9w0!@ xr@Z>w}2<$l:o,AW ^J2.*yn+(\4Qr}D tq 5]%CBE068OuyL&?d1hR=-i$Zj_@l;coVM[K |e1;zJ!UCa\5q3=sÒ.{iH}ʽEI0g<}N)UD6Hvy "tƾA.5&) G{3GlݼUC gRH ;f3'\qo@D7. @ۨelR_ | 3/WO؏{2 eW3GVRzI^m uSԭ !XM~f8ZinnרRy 7( vsI:8 D=Tg c4*FWJ – 62,FI,%H)ӱM{+eiQʮŮ?67Z 7p6b@MJF^ jDJ_uu;O_yDo x)O|4>aXr݉jG1ef3 dy YOc̵PZU.n=3"jdIЪ60"jf~1oը@a6=V_SHM ghC%f~]3[p݄lτI{5Q jbl"(Sɜ2ϕ 2ѭsK69<3%Y:[{gqf~O/mΊiwWW*;z*]Hn~<Jdт[  kpM_UBF?^0YN>Io}s=XQT5\cۂ9! wϭ"1.c07HMJ{D\#~ `eQ)!)~}PNOk*8T.- Zϧjatώ93[R/l*J&)edЙ GImpo 8Uvy#R ĖDua=ߋv`ש1xg|h+5xBR$;k3ۀMmP  C&hv)Ы"AFJ@ >q,R8xwʯXgW޼ u߼ګB*#2ʔr<݂9'].DI UeX1n3ЃQ$[KK } Dk~]r/%DZqy2 N;_$۷^ufV gYZ20ea6516a8bb1f7f460f7539b6851c4c88206d2a 2ff8fe7c4fabea1dff3ea3ed090210f39bf6dd1c 3a5d224321abcd3025d7908939e5051282d40b17 530439dac4fd10d4901f7c4b3e803792746de9cb 5730a07dc56548845b4cbc2cd42101ccd872e720 6e691628acc2f4dfd5c1fa4ec08fb1e38b4f6224 748b6541d56a935bed3180274f0faf1b843c3782 7ae703d361721d369ac45f4e2b82b121995ea9f7 8521945443cdddae3ad507fdb9ce5d0f31c7d17b 9084fdcb915a21bfe56579b05493873cbb36e2a3 98d33e14525d28dea3a32f954325f09dbacf26a1 9acc8ca492c1e307528dc3bda9c39c4e8e8bc16d a695d71308694f838cfaae6bd1b6774a51ddb97f b57a108564b650d9bc8828d6d509dfbf89d0d784 bf8004df5548fb3b8cc9764b7f5037482e358552 d743f11a6bc9725a8d74571fb0de06381013e0a1 db461de9aaafe24c63395d404c3b9745cdc33aa1 f2196de5f18cd63829a1c044af031b31dcecfb3a ff24380b584e13b0c0bf1f98540b082f3db4a3f30ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 d017fa2f6f87b930f0eda2adc54da1df01fb53a2