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 jj7 d I/ Coinductive_Languages:threads=2elapsed=16.562cpu=28.908gc=0.776factor=1.757zXZִF! [)]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+ï߈T 4+te jz)nf" wcs\\ -ߙˉa8:$wٔc,S g=sF2+65`Tl.>H3Ƞ~Y\?Xv kH!mmu a M+:+$~yGRAI0EIHlak;TI\)6)Eg2O>m' x|J<{,_SS .ˬU bQ Aj`*7yvzfwmmM Rz{yfL.E8*Wjg 4|jvoLoSķ^V5*#钋VΩctqlQ!:_5j@B۹}J<Ń d>OH&ӶTj x,Sġbm{yg!v?x TLmvS&D[R5|itKg۝+L3Sěւ7$mvgZ<.Ԡs3rY\tc2g D?`T" 7R$W(GP:k¯8&F25IsH2xx3՛l|J::p8v3GLInF$i7F2葆NHYe&ɉĸZ$Cۑڸ*͊wy=`&2ֆ J(>! VSA JǧMCc `f9Sttǎ{g{cgd!앜\ߍlYBo@x/e;K&;|wT9 Vl vLcaϸ6f9bfb4\*/A"ٽ\G@p(PGB8g?Rge4Z1]5⟟ Ff!wpt^X0 O\fq?hL7p}6"0~ѫY ­?ުueC0U91-j˲e ,1ȹ"soؖbf7; 8~2UfF1 1 ԀK'oUi$".׬4Đ)+6T^~o!6rߔ酣~*L [?ںfܯR(5bǔXEA(H>i^%TKK|o#b6\ɦ.^k y&qJ b^xNbuu{o"J2݅!jW Da DaCB32 Jqܯ+jq+r5D Wǭ!"RslVrv{'ۏ~0UPE79ڞA^rBD=̀1QQAl]wB_Lrۯ'o <A_CG=~8dzpdJ{؂+++gAFirAtQ]k,Uz95Q>F8Z |ǎC`h%nDO,|\xb5{$q֔x >T:qp?ϓm\%8HcRX,!!!fـ~ӻ3Z;-=n=3o٬C >!#|#9g/ "=.#TF~>[7&D׍>Íh logYZ32c698b051d070758ee310ea41dcd60cc41b593c 6b6bf26782e3a422370d9fbac44a0d348e1a66d6 90934926311f1704b675cf6475aff3f04ea39e46 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea a438efea6288f9f4f15f7d643bb504a34d38c343 a66485ae7a650fcc8fb19b37468f99c32e2b603b e6106d99a844b26f52fc9cfcdf46f542e7bb41f3d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295