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   zI\,D ]/ Compiling-Exceptions-Correctly:threads=2elapsed=3.842cpu=5.860gc=0.248factor=1.537zXZִF! #]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|Ԓl4.Y96UTAX{vZH*E<#\)u;2 RK?Et~ >SD8t3 k+sQcͯgYZ7zXZִF! ]S]ŗXiɟfOcLb0vY,U/( 7l 42c4;V",z /qyo^0N}YZ7zXZִF! Y]ŗXi%92Aœڨ^3+Ԟˌj#.g3fփF9x׼V4͋,ڢb_ Re~̏Zu3ߔ+`%laP8b"i˖7pY]խ4l*caTKrWj;nIЉf-8_lHwW%԰roM#$s~|p^Qnr%( &c9H+vǽc'Bl]$JP 7%5g\0(EO#q53_L,>(׹͆>JlW]O2DµA3 bF Bll۱.!| oc Mf_9߼kA߿;~Ea.Pˮ~yOuhCVTǘN CVZ(PSE:~8\ڷA="3[* b ?faYtb khd!Edoͭ׍ CXrM8 ]_;WpPߣ0XAEdžM>h=C]5$} S]IKNV蘇р -[*3wΉʥixE)EdJVA, gYZ7eff745203b7692946d54f875be4889e131d272ef4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 !I Compiling-Exceptions-Correctly