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 C5 T$T ]S Lam-ml-Normalization:threads=2elapsed=9.695cpu=15.884gc=0.804factor=1.647zXZִF! p"]ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘洜rJXE3Oሡ\Z>&7hwF0{B݈Dž0AḟJ_GzEJRRKjdUyRU7lA *|H`~xꊺF/z @-g]kZY9p's G*$#DĢ+ m81_SހfU ¯ }gYZ7zXZִF! P::name=Lam-ml-Normalization.Lam_mlelapsed=7.339cpu=12.056gc=0.584mJ?*iQՈ}YZ7zXZִF! 80]ŗXi%9#qw7F7X'ت@7p>a=l Wdc'+@KTs=Cw'`(Xe,L6(͏LoZ^vÇ`0S O];`{l""W(٘~#wAɨ(fˮ" h^ӌ`0^"f{k$*Is0q /!a`7*o?ٳ2#90I Z>U}> `t](H߫Y-}hw!pdgYZ66907eef54710cb965ad9db80127e52ea1382a108ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c a47178463855e4f12aeb80911f2936d82538e856 5 Lam-ml-Normalization