SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info =/D ]/ HOL-Proofs-Lambda:threads=2elapsed=153.916cpu=176.080gc=6.244factor=1.147zXZ ִF ! 4] ŗXf1-q恈͐7ӺV-fw0w]BjZjf7gpY׀BӇ 0H˗ؕ\RB߯:X >nJ N'#ᵔ2KVM樨QZ3Ⱦ]:* j WL|-BPʭ:|F"TM8qiN^&GHxب]kzC)KoV3YGֲZ R}*6py.?ȹ5&|O[ySҾ#2[lαF~!;SO]DyH/>^ocT&do:fYZD6wBrjÖwA?`/\=*#mM{DrN 2NE[|n!-UA<> 2I:شJ'u04Kl E Gg YZ7zXZ ִF ! iE] ŗXiɟ1˦r+g'^.e#M˶pFrGkbpq.-l/M8,FHnP6B8WYh8=p KބNTԁS!T dYW
];VN
OV"Y4tncv9 H>o`;P˰k>{УCs7Uƌ{b$xF2 =}$?r4 Y+mmg!˲ô] \ֽb_4Mō7уܜ
3Eѯ !x ~\ӱg YZ7zXZ ִF ! y] ŗXi%;/ܚ$hVfbiir7lR=Uʫ$p#0K<+^#l)4 9vaYSwǺBj.MX<8;}?zck"T>9a/d*Z˗9a(C³ >T)!H-]Ktrs5ڳ&-wI{,x_OJHŭbMaKlGR%#}mmH@ʞ"!mw8chY'} R(x\+nQJ9C
σ,}#IDwm;{QH>0M#A!vsOq|1WjeA_X ]Ηd'-vg]iBT(P2cc5j
WD4ͅKQĩ5Nx|kvVbiD!Usm"Bt܅zv"]k^:bi