SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ! DD ]S HOL-UNITY:threads=6elapsed=17.895cpu=84.584gc=3.808factor=4.737zXZִF! +]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yy 7z|ߴ2vRQRfG&3߆C՚_}.Lܝ?;zZՈywge%ZjlxMGwP\n %SYBHZ }w*c`Ʃۺvn=R G$hͲAE@!07b~LPי/|ذς:UZsdU VJOkY \8\5{]ǵ̟0[oK|rxL V;K|'   HOL-UNITYBxݮ8C^?U'ﲨ G j+ĭmL^$/I[gu9,wIGpn\I9'Bmw=Iufߔ|kGUoGY@T&NnjcJJ)>Big Vr 8tto1D׭4S>%k[љ93dA<e9տp+.a+:Y]H@d at'F9O&nbx-sm%ν+|8b)zdڠHnO_hlB>dɅfF}9~lCh<K'yX(yŊ2G9QS\*(g}A--BT]K6V+;|I5NUsbNN6NPA3"8@+}2niVt1O -P }UC7-l9XKahekg* Y'2Dj97>OmgX"%`V5m( 14965UdLWШ6) pCu=+fSEp VIgYZ7zXZִF! ;]ŗXiɟ1'x^܎CT^ Yg?|79)P i;KNei@ӫt<Û5#څ'`׺$Y 嫻;GѲ` WMa"w?Zj;hN} pe* V40 Zz2] y }jX/Rz>Nar?u/b>#µ_w@0>N .т"pH6 QThIT6S^W4ʹqhtp}' :kؠN_3?`o&UO^b J4hr9N&(#A DCU0A!2p!iYIw1UD¥;ȶeGz+LYĜSk7mU ۂϏq'㪊{VMѾ24oE(+s/Ҍ} Tv',!r&xS 6T[7 GVP}=zRs՝;zNc !V"⳴OlOjys*"՟avlvHXxŪɳPCT1]3ҘWO(DZIC/'86W_2L˼\_$J,4R1Ir{MlQ0 Vmg9 , /_c8a\l H2Eځ)?)=EhH:AmUե Jчb/