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 Q d|| ] IOA:threads=6elapsed=7.202cpu=32.368gc=1.128factor=4.497zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K B;jų/9Y*]|@\O/'*7Sf|@zȅ<=ł=nAWB=U֋`;4LO`WEz6`۠>t}&bV.x&8R@5~N\PA^+s~+V`o҆ N b_ C}Pk~ TF93o+dgAZܦ0U햝`JЇ#{.,V[ެ״GmvTf2AJ:YOJpP_ĉkfxĿVުPg7O|Z AMʐO8X;#16_f#8m^Dͪ D<| 2e  Їa=" kl?m0tDuCfIgYZ7zXZִF! `w]ŗXiɟdN'LvH۹C<qWYzu3\jatigLW?F2SׇyFvcЀ'@ gKl"A@K]&$00p}܏ D(OQk`Ml'Gp2_ֱi Ϲ\Mey7!H|?WU6ȠX,5ɊnǏY/p A}] f[xT66 oT%|WbmOLZ 9іIc}5ܤFみױne"_ y#4sS9+؆Hv #_/\{/%vJ0 F[Zۅ[5 kiS|gYZ7zXZִF! )8]ŗXi%G1kH11xKE ^py9`IQK~\c4y7J@ /;Bm`*:mf3ZQ*A]r–N|<~) O@Ĥb)x'(3"Fbsq0:b8}sԜ{4tTTj/} Sپ,} [|aT@`8`ƠG D\2C2 m&W{qES> #<@cq.bE_1V\ WU<]w$[1?Pm)b1W.d!,gkS(颽!@ @+ذ mC 'pv-3mͬ+u$x(WKo|~^d[*:uMGd?P RWlGy˝ ?b@>): a>L{+8Ta)1b4G~"c\e9qZ4Iq eLilwB1?s|ؐ1f ٥혥r5@Lf-Y-0`(go) FT~><9u%#n"We7G-ᮢuc/\x'D|mNgγ VnF;NKɎxvS!b 7.r̆WQ42>EQH.cBg|v 1NC= I {lTqoC.*W̺ +bE6>1,IǤ֗j).lȊXWI\Wqj,or&Le>:j1;M|`:0 V `{ݷRϾ&FzY%{%"n=t,LY3ZX ׼b5̵7 ;8f %hud Qeaxw4oSSaQgYZffafc91a149a97cc86949c3555cec7d1927d26876a0262e54d292d7ccc0eaa27252a3e70aa6b574d 0b0e30dcc9976635e2910689b3c3e0d8c0a8d955 6ab4d55a3a37cceca2724a99b1df25366cbb3381  IOA