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 hQ t  ]/ CryptoBasedCompositionalProperties:threads=2elapsed=11.825cpu=19.212gc=0.672factor=1.627zXZִF! t]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R1g!pфF樭M#>(Y&E@S%bؑZPI]U*Zk`n߀(KljsbjB%g{̅ #ʿC泿0~9|I X!pf#,_|skpՉTj45ٵ%sy+xPeބ}ܪrCXll+m&^% CW %z'&'ځ}-S~fTա޻3!..n%gYZ7zXZִF! V]ŗXiɟ}LȒ$o2CakT-|s_?K]O )6v*έj12ܠLæL׼l}$MMVNeVw'|g{h}%~CHeȹ>MGb_]ڟY@X׹̌m3aV^q@C'gYZ7zXZִF! ?8]ŗXi%9#qy 'Q~uhWXB2z/ ]YT]P@ l_u3kbsXw6  0 Ç-򵸓7fԐ}i;Lz- "s^T7z /%ۮyTЧ zq& + _E "L⿣9L& J&@fW!Y$G+"֏K9kOB6 'ڌ1&cW,EZtXHu04 ^jZ4=9/pWUU7w!]ўzvI)IKksr_aXS#h?ZVp 47$W:o_3luMsEV%I6s\oW4MXk4cݶ!Q0ũ 2 ?wg4z7 YQf~=}g il:wo <~/y:^'cj(20b VGچ]sR sR8ApYk@$ZY_ߦeu+ȧdYꬱZ -}*茦heo8B1x8*\cmh[pX0U\myR6;516Қ-| ښIJr5:̠ ]Tٞߛܻ8JJݖ*l)4F Of\tⶄ0FfU *<95š' TeTc#7g4]Q`F=1'-ǤVmP18h }$;pw{舲 ΢)Ǭ%N=z< y,IJ\JYpLz @|tK ^,p 6e/Ձ*Ӻ~k䙱gYZa8fbf619854278f962feeecb33b6e846128fa5588ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a %Q CryptoBasedCompositionalProperties