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 667 4| E Codegen:threads=2elapsed=9.925cpu=19.320gc=0.696factor=1.957zXZִF! )]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=]   CodegenV å'k<OմG)}[WE lB!LaW-,=uR:߻0ܭw+2k^Uܟ;gBuwjؐw 0O'[@jg %eHUnF Ap+Pc*dߵבڷȔƱU2?lx$7X鷒o"t.4X `і,64 E@MaB{|: m(C_ДUIM$SwVϿk En%T Χ*+e')LE or K1h?nK/vZ2[b*F> VsF}S>qmիj$U/QA|jq7 %#?GchQ0a= \ S@g/eS,Tt.2pF#=}mBK}ZV#w }K.ØkS-rW }I>@}@䋑_d~|O01miڞdL[bv`pECY2Ȣ[a) HhMR-heTҨ1&uRZ2 ,ЌE (<&g%p58n9)QFGG# s3|k $K?n}HM7*f\=|= qUG> mz6`9/͓R6W Aq(?2]nS`zA.e`ϲ/wW&H.DOK"&W1A~fZx/l!=!ͼMǴa -4Uw80K1e1/-9Yk>ikM<0IװRV|Fg]vlBKN4:hQC\,X T}A1׵z(>1e/a}̈l [r;bGL)%Ks|w RqtgYZ7zXZִF! .v]ŗXi%H9g0U<~ҝVo4C}TGFQOf P4XYƷmKgn61]hٞ: .\6Kkl\_"?VvC@V]#WIF Ck1cOE:A@gĺcw*h"J,`j10/i";'@ub;]+= I)x)fAdkj/FWtxtn`c Z"Ԩo1iM\?>Y3ϽGMѶ ]UTA|LRcwN[ivY Oʾ~d = 4j<Дr'],PXNB-yAy*JO9i lISܽ9$_6 Z3N*_YNaO^^W7ׁI3G$uU[Hd{2vdDHu {n~EFfhbu u35^jvږ8}ޯ+NUy vauj'_O`}C}yw $]3<W/1ub4hгQs.ׁ(^O9ڈ )=( i$/3cʑQB D[A=drѵ؄}~luX[SGi,Bm5K\vuYqPZX<0cR ;?Z+]m4sgYZ1450318564ec5ae381a147a236be036968537a0b 296993b783a6d9569ce1208126a268cba5c0594f 31755525071793d62f6b61cf93fb27d5793a7c4e 35e7eac4b98b099364dcbd421c981abb035e4d60 397c35819dc7cd2d2391a71fbc63e26f708923c5 44baec093d30bec4af6ab8a6da185f226cfd552e 4527f46c057bb17c7846808d36197a5061922fdb 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 5dc9340949395563724f9cf409a41f8a30a033c9 63d6ee3afc0d93215fb684f7b8e57b1f65214f34 8f194db846e67a7e87b25a27fa8ba1259c4af82d 97d0528495126cb04311c68e54179f104cbd02ce a27f8b981eaaeb1920d9e75c995d1fc3c50cddb5 a634d2977750efd14daaf8018feb1fdee3310b68 b549213b2aef49e3da5304ab78395d90a826e17d bc5569bd98f3bf6b9d8aa1009b2cae51c0d299ce c5b135e0d994f1f2cdfc35bb73356d594b9a2437 d9f64bb6725d95eddeae3e918c446ae5c078d4a5 da1567c528c0591b76c11bbf612dc90f71ec564d f0fce7eeae1ffa41a6f0691e21062958b47031cc7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16 79e15b49e252aef82ed109f73b0bbabd6722b4ef