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 u3 =GX\sY곉 aEx:;w.7Ŭ킛E-Gle,SOu0`/S A;Ř ZdE3%1ZF5d'- VGoRܖs4*߉n_6 3)pSd.Ҧffz7 AK[y,TW⋐׃.bz=Fih"f~p C 5]^|0՟zl%: -x+A4HpH+- wpv~Z9>zՈDS) \o<ھJ}a b HE{ɓgYZ7zXZִF! n<]ŗXi%6nTik_St/y8 8'RenޗcMu+l0UݳW/>苢ЃAgB^J3w#ħ#JbJzlb\p{a H,,vnLw^\~E?Hh5<#஗'h<ƚ2CyIls)|n(867vw4-H_aC<A~ɟ>S%fk%~BU18 ^h S(fΤ Gsm BZ ]D LΤ#>l*S \@mP`#D ^6 ;4+l~o8yˣG6-`?,kmC~8O{t(|*k>pZiwyof-Hj֢g?k^oᶽ >mHmuwP}#>A^CVuX2dhRvDe.}kPo<&8p+!b*pɿH\Q-zT)ͱ?AK/٠9.9 /#8kȽ5qz~&zKN;KJ%{7B֡IU\tx T{H$~9co ~@?MX1('oo K4_h[ YA( E!cXJΘEuҠuH*HAg̋\n.T F) zCPy"X*Y#lI#1˳_E_3@B ?B- 裢66_Q ax\# puzv=+`S "&gYZ52e58de7f6f6fb16a6433604b7243bf110cafc66 739604e7b6371eb898e1f79ef9e18c789ea4195f 88d48bbfc3dd5a979283b2237dbbdff2a5915fca 94eee150f6e23efec055b9cccd65b0bed6c814c0 c305d1519764c5f5875553ba77696bc8d63ba3e5 d1f859c96d5de7b9b56cf79764e40635c7b52969b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 3 IEEE_Floating_Point