SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ''V' TT| ]/ HOL-Cardinals:threads=6elapsed=7.447cpu=42.392gc=1.640factor=5.697zXZִF! .]ŗXf1-q恈<-¡$johkX2I)']8PIyMϥ@#-Lo%`24Ej Y!\&IPfK8uf q:D+jB7-ڡo1?ߓ\U{']~ehiA֗+38. VҜ"y`Lz4ɧ(.F!eBT3'/7\7kVJ}0«bI7ڐx !UY +8g AYp^t(kfoFp):h w!gI>ZpHRCr9ȉTX[X]RL= Wrb&#d;ݹFjț@@`,ۺ8ѰA}p҆4)}F|?US@{&f̗=Sgt^r ibّ_T4{^Bn)IO$XJ,w[N{b0J0.  -۫jۗ2͂D9A^fn>"XIJ .h~uq*XT"P\~ o0m)5e%pŐ5u$6@q0ŷgYZ7zXZִF! ;"]ŗXiɟ1?ߟt;9BP2CZz眭5 zV^ρ|@\ ^y58*㈒[|M+1u!Kn̈o|㶶'?T:$R1X7`C!F{2ZH# So5Gm[x#V!i\Cִ?ȓ:1IB) z]c]DP.{8z)uaVxt9:sAx%F?XsX LKcL\G?4\gNπmR"S"UgYZ7zXZִF! ,x]ŗXi%GdTQt/L>{mc-) [rcGy KؘKwS▌MǺL;Kӥ nBQt7kN\ Li'UJ1IdcaסB'݊C܎-F.glCm's DSPENj>(w6{z48Oc\< F!Jaԉ՘]}]iHˡ4)UȚ YfyT,