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  ; r>"i9д{l%SRs3R4cj0UQ`nej4sl m( !]n 64JYe5S-6BDS1AIKIkDem/0/k;7:/r. }V^JNyǞM"phXu+U8!'VS$)ϔlX0@bMj,[t3+vaY^3рy"pI3j/RW7?PWP9zv |St^.[2<a?ZұgYZ7zXZִF! E ]ŗXi%G̉S}P]Sp 7w `>ְ5Q'ZRPcgׄp$wF~S !"j] uwfqb} Qn)Z~t/q*X.u~FeVxč_5 /:\nO4Y~)22ZB.-,(^cn.A(08G.{7f/o1D.!?zK}$M&|  ?81m˂ N@1lDII/J|zX?/v~Q F^ tui[ @)zwFݶYVV (yЃ9J=/d]nS$rF3*8$qAsn=vTquH4j/0L5sRHBlȋ_Aj^_ſJ['~!Hbԏ 511LJ)$K'w.d;D*F{=덖^4ԸˎĀŐ>Z RUolMRH{xz§Iނ"ʠJ52й/O͞R KI)N>آ΁v"ogP|WV ķL` 9g'rDܡ)I`9ehS^ݲ!ʹL|w{1d5. m _ JT°"bzP>wZ#`Jwx`L^ȑ+{ϣhK8ZA1٠ӞJ j e]xӖc09"5MSl@0riqyxx{~_f0MeYު:SPӳ_aXU5`r8xrURPU5[x`/ -FS.e_qP;V?_B)ksΔ]7l7up7;bNMwkYhK+e:lĜX%SMY9kQ=UڔKB?SgT27P󊆑?%"hϋ];.N_leXxxMPPgJ'z#HDIq>fb&4A}6z~VCCz*YnQ2iR |7ƠNl?ߎG(BC@"j\lT!lmzDqIR@En_ُWoh $a~ 8k76`9$ qwLGoR2V [n&yw#v)nǹW(JXIF?dk%:4g%2Xn[F{JUA;@Gn^Ye™^BO- &'R ub6U`MI+ݪQ;:}>{/*^|3-ˡ>z _*mv4.pqW Vq '/mk $S~;Y)juڙ  97\sYX= v/;Dnf u @5Uӛ6uK78 F~Q|e> V;ŅLǎ_*EΝG 6]\Emw' -=YP%$?S>W{!;pzpa06+բr5&SŋVT35foUvu\_ #?Vd8yGMؔşnDb#c?PHny*\5.h0'BM}DϨyfZ7O /X\U^N.Z?BEe_P $s<ŨWﯦc9 b`߲댌-$~8>5x١j6]ˉdDyD~zqh巨扦>g dwGUU@ۢ1{.h$(տnPW 'RJN6m nzڋH_xD V 5CkyFJ agyMmq'Fdw6x7%BZ?s9=a $aҎ0|dpjW_S