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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info !/ <$, ]S Old_Datatype_Show:threads=4elapsed=13.527cpu=15.612gc=0.412factor=1.157zXZִF! ]ŗXf[&QͫnaʵP$xE@E={Y@P7uw븮N,ztk o8CY$o%g}Pp6S-%hT'D]K.R}C?h-xY}^_H50ƃWS~]"6wV\Nl3QuU]:8V;TkƂ[gYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLxΔG%֞.8AU'S;1q`ªaئ:zU#aXak3rDPWOY[""Y 'x PsGA5%FgYZ7zXZִF! C]ŗXi%B4ȃHz,aV3Tۓjif ݞ;LHӐPQ<)zbtDϨȻWn0cڗ0vt'h5ť\*#n[HϷ ?o,hZ ڼ :'ccXUbQ1 +f`5ߦc١vU ][?&P*i;DFK?%#zja*Me0'W}M1/paj,p#0`H@[a Dh;DcRUTW׈:O[TT́ 5?A"_]iYJ}^`34/"?A͂'ڂVW3{Lq*ݝAc2R`ơS,4;Ve:"AI&fp]lm}M,BKS-ױpf*֝H(N륑m s*R* _K{%jC%XUQl:Ui|ܒu;GloNݠ:,@gOލyJ]3Woq-|CB{~Oe;8luF׊s\GR*y1p(ju{;vƷx:$-'*;c\b3~LwD&xzø>S}#~{5-] \*Ll*EG NOdii}I