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  Id, ]/ Compiling-Exceptions-Correctly:threads=2elapsed=3.793cpu=5.592gc=0.188factor=1.477zXZִF! #]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|Ԓl4.Y96UTAM~ }w6SqfeyNMZ ޼C&0uxT~FRɛ1X)$yIkygYZ7zXZִF! ]S]ŗXiɟfOcLb0vY,U/( 7l 򵑵%5q x 6o^0N}YZ7zXZִF! {]ŗXi%ή++ɔW<5n+ʨ?LD:C o> EDpUI2+(+zt ;9 G7ٲjʹחH݆WYy}q=IDs\WZ.n( .fO֍&d:x#v_J_9EJ_W`qgLኊH-MbܡT@I֓@4)iYtgxm KmB\eLrH"WjD0)< */eH,=DH"_vba~L$h S! pOO0f@,)ЋCvg]Δ^}Bʶ\xʛ~udG@aV֙YD_b/}t0PKO=^eV9{5՟ S^Fٌ&?rvA{DZgYZb1d49ca10ec22741664af2f438cea53c99b04a0100b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 !I Compiling-Exceptions-Correctly