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 WW&1 Dld ]S Abstract_Soundness:threads=2elapsed=12.634cpu=22.060gc=1.424factor=1.757zXZִF! 7]ŗXf1-/6vRZ\vW>_vIOqۻ$CHj$s_% Ya^E' EIgb}E\DU 1+P2"GNi(C}FUV^o 8m*$#>:"O2 ;!J~HE? sQŽ+ާ񕿹:EWĆ%Q'SuE@CrU*sKwzFM=c.cӼ"콦VOK?ѵ",BP<^gYZ7zXZִF! n]ŗXiɟCrh(;Lg!I1b+gECv ~w$fA[ O@!èK?!+ L[lI@)녽::K!N6gYZ7zXZִF! A*]ŗXi%9#qw*V-^&El Lﭓ:V"K؋!q:( œ^d5ʱ|+˅/ sC8[Fq+p\Pf|n}hLr =->%~5puT q"e}wmNTuh$ 7!5@МjNR7}ד OlD@av౧llΗb[K}ҽAyl%㒞~#qtRuĬqe.7 Q$Daa9%Yx먷5$K`$6jM~ 5QG3wgC˒ZnxStk05yaq_S蹟MGʉ5};ю97 YTshxecu&ɚ;vȁz yd_mtid޵dX[h`dܯt1R sn (bli!!PRmGBZoqR^oEϓu\6NQZg agYZ775f966d802d63bfefdb08f8268b6bc0a47cb1258ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c a988b187f8f66b7dd8c0eaddac37acd0f693e48d 1 Abstract_Soundness