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 II45 $  Lam-ml-Normalization:threads=2elapsed=9.730cpu=16.124gc=0.748factor=1.667zXZִF! A]ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘 j$._n[W0&2K<ʪCs* 7wp24yK؅%6݆lrHY-U'" qC`*}a["δh9`*{w8.LώEZnV~C֍:U ˑ9:8$Awf0 mn߁c=^6V'ȁҹjdO6n%2V Œįw-"NX_a!ܱgYZ7zXZִF! 8*]ŗXi%6uT&#݊jT;_=-ɖo%o_ }OC5|4bܡɸME8%YϱכXa\J1<[nf"NZA=@و>ƭ+x׳W{ǰ{'D)NuGQfgd%VO`[S sG<ˤ U3< F2?o4BZoIvVni-紂ͣ:E= N$sBlRKQ F؂FY׻_&~ fS`^Z:ZHU?;/U`il*Ԩqw,t*&TE:yzN˽9a@͟-ԛvH8$Lm>Aũ5|z KL hGH}9W{;O1'T֘^17X2ĴF6Q:vxr$zɜB~#0#GǙ.쓪gpjR6z^cԶD*tc v'n(kV$Eķ#Y9վeTKHȩyRch: 7By-Q14d*y_2TW?9 eHTG{K p:CF ptggYZ22153a9ee83c690aaec55d637858de1d3e4ec0dc 41caa02d23e239f82f825159faa07a2ce18fcc1e 4f85195f0384ef3a874c12c5bd663375611937e6 7cc7e252b39545aabb4716107961e3cfdda9b61c 817de0e320dd9640c7fad5af9e397d95d33e119f 8d065f375f639d3b9a5b76c07b27058e95555fe3 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d4f60f18aa580163f9123b4864e1ab9c83a94e8ee4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d 3fff795bd028fdbed79ecfe3213a11c8c9bee64c 5 Lam-ml-Normalization