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  L|l ]/ GoedelGod:threads=4elapsed=7.283cpu=7.988gc=0.084factor=1.107zXZִF! `]ŗXf[&D60D'p'Uw2+*Gu[e?0 Vb%Y9LZM&oy4N٨ >|>zgYZ7zXZִF! G<]ŗXiɟj bk4ĻMGCrg!FZY?U J>KTbXHի*}YZ7zXZִF! :5]ŗXi%Eb⬗zb~% .fIA <1PS;U[w}d WiJ*P{U-{4R(ҝZ͇8jα*M5ɰDG`X=Iψñ}`ϴ<$Eo_~oڑDDY7KZr[xO4MތC$~oSKhuջܗCr%-,!O_kQ2,CXCK oRhhcUgfFg3r CcdEZ Aʘ4|INxsp:u|Su' Po6IbINj҂}\HɋWXaZ!mki9}^&tKjy($@GDFf"Pc4;K4unHUt:FlZP`,2ǹ#t+qB ١e lLg)w̠)8DOO`56Ȩ:û)mޭś=|N&0{N!TnkˌLɚRb(?#*~=ZfT'\bͽ@⸐<i)mт0[H%bc᥀vEsj%GEڟ1_pP{*Τ$򍓡W}?01ܒE6d6VD+iѐWǗI42s[vb ?e+b~0QmͨH +i٢ğT85$R(vLT?0T\ L.lٰE*oҬH'X7 .Z'^WLǯP]BMP0CCwoR[ş1Vlb/ NEJ+c8.z9Xx_F>vs/gda:LtaxH]#!N+8z ` Kdf=tugYZ231c0faab4c87e782b9b89dac01acf1e1bdaf70d87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591   GoedelGod