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 1D< m% Transitive-Closure:threads=2elapsed=3.859cpu=7.152gc=0.300factor=1.857zXZִF! (X\]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf@@oyH 2?tcjSt=˅,վ]>{3pب=&>6=H4T0Jo 1 Transitive-ClosureK^aI'_/لf{SlHoX_. ҭ7Y3es$M6g^I Ffx@GG|SJhn[&`h%o@ 0*`u"lz2~uF?H'4"ʁ>Z@AK+׈TNˣt $F}X펐7>t=-B5EKUSb>ĵ%+ԛ-irbϠ/oӽ؜خ+%5bgxxmQ˯U_Ms'􏫡p0 t&Q_e()_kZY eOᓷ9("Y!esY!H}aM ls#wdN>acAO|GTI2:.EUtSdIпA4Pb4gYZ7zXZִF! 2]ŗXi%:4lUz 'a}z4]wu > *o4OKJi{^Ŀ8{;/*fpSp9i:q ? E¦F+8k0;K& ݲ KI]8sT)S[ݑAA*f8FVN|;#cGLѪMe5*=P!)b`KHI|S_Blgh a֎֕ 'Bfb XtF-.~B)^rA9j>+sȩvB,xG>~p$ 1M [. ;^myEƻ[ PMF--#R1N 6Y؉(X6q}[@-hE߇ UwWB)R +jzac˗iNqa/՟ x4g3m-Y;.fEw[qJL\x6ERf/ @5HUzZykvTGw_b &!!;! OmسA6rJ#wF:W|}N> Y;Jov usv(7S6<S~gYZ059f8dce283907703b994b8f3ad7c1a29baa0d64 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 609e7c203fab9c1b15b154da117a3e7fd2df4fda 6f9b654c00c3b3831c2295363b420f3434de18ac 8357add3030daba39d07599599331240c239884e a73e6f31a63992a1aaabae1d886da29a4443a823 e11a13098d926e9f1c520c7b8af2fac038a923ef efd67b472c3e3268099a451e297bcdef800c613a f54397db183df16967fdc6332256a0179adde779878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 1db62621ad4f2dad0ca02fe9208704a369236541 d07b5b96533f030260cc77371e642f1847a2d541 2bae8fa0dbed7010d9ffb7df3f76fa1ed042871d