SQLite format 3@ .  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 ]/]HOLCF:threads=4elapsed=16.463cpu=43.768gc=2.200factor=2.667zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{M<Ě\8}Ƥ?;)0i؜BȭBUxR%i8,)c*2K)-pxŹzF[< -z!⣮`71oy0^zHw^=ĀȣݿSwOeU1kj_NB3<k8S$X 2͑-/4H:mm+wXmJp%l.D*zsz֑T2=f^-/;{al}%V W> /)5I:YU6[wx[QL&k =x*`Hfifd(|a㲤"g{"/q i{8gp:$d `_?(v$'V=hpU#QzXSR" bb!E%\O?gYZ7zXZִF! `]ŗXiɟ>Ӈɇ9S2]ʅB1 3 ]߽N '|˄:u0Rz:c*aؖ;lBBxc?fڵs{9oGqn T$YI^[=F{$?۫3%;-Z$ʹ7_I-s_MC^JR:`pwd~Fylr#»v)b+VR@LU9PEP%O|?8vXS4ֺ2 tC0OVXԝ&3WL8x4M [n7ܓ -/ȱ^e"[BBLN4SA/MHǗ!Hw&QY!&,"9#D/ I|㏌L- 5i,*hCZ@uӔh5$Tc4a]Rl}S5f( D?.Ci a[9r9Ш!ɳalw>OF6Uxm0g-Iw,. &c)~?aUp[ɽ΄lCJKou`f xf%IGfQ}w8`m,YФ gYZ7zXZִF! }]ŗXi%BA{p `w;>iHPS)u) 9ɇ5(E*7Q~5 `@OM`R#MTo51m(k$$2똘hҿ`[>vȗh|\9 `Iɍ,^rގ P`ĕT"r9^N͐SBK-8KAȚ6kIo7_ox^*3"et&*qY7m5E$Dj_ƌe'R]`&;И |61<+=y7qx!KՌd^̄50,%*!.[*z^9 %Z4!uOݖSm:Eǒ!ͽa !iT Ux.hڀjs]R-P$QM~gW눯Kw܉T:" #}G8վ$].(,{ڑڦb deVFv1eO}>&f޾# ɧiG1hpSz"iѱfƎ,M ׫^r#Zx'ծtyTspOL9?=nά;̩Y~k틤{H0u,I4nf=H]vdjC_HF4rlngι/>V:۰Uvh[=7r'ٖpn7#B; D_X $$ : ?7hB[!{A) ~ge#8}o{5?`Ս0~F #H,W0x X#J_|)^cͻ[D5^x+v1@ab=ȰR'~U큐Uzy8vҨ|OEFCUti;K\yQo(=.;t&`t] R