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 ~~ dl ]S CCS:threads=4elapsed=14.371cpu=45.732gc=1.048factor=3.187zXZִF! WC]ŗXf[&:)V<2c_/:`5=^QO1κpj\M ^R+.W!d W5n{Dbհiz~kN'Cաev8ٙ*kes㰷H:GHʟXIwStV¢>$bGH1O>+<( ,4v"U#5!䌷榱c{Cvl2#2;+ƪMxXTR㏲`pB#jr20NFb8k]i-'Uyzc0ӈ }(5#BUMi^yx2?RFk0 RFnn)R&3&@>⍫- V5Kp1 ]%}H_Н5+S(N onJTX _13KV^P:Mi:aJ7sg "B%4wOƲ[v?ux3pNY gYZ7zXZִF! **]ŗXiɟAyԳbɚ-> oqށwfE1Kd96~/&DXg;y_a~+ h1o\X WhCMdUNJQWe(  ︎"X'c`@-,< %:ju7f*'wF[;߅S3$`STOi9]cuo*=T24 }er۳)V,:6}q뺵+>{^lRWK: { agYZ7zXZִF! l0]ŗXi%B .#&Zctse_,&ChOLRrqg { 䒐BNT֖nHzK|Cy?r4<4 A*+=>ͅxtogį1 (FÎWT9`$yW< G<G~Z1^ƥ/T/?ԏgI \lCUۂ.:)Gl"JbYleai[DŔtuЎL^z(ʵ^c$O^} ^irOgamIA]ޭ zsPu)a9 #BYe5EK7dB#Vuc*Z.j=UKkC m /KwzJ/^M؁Lu<":d^ʩ.#]zfE?aIYPu2DS"t%)^4"{@2fEcyFXowlV*Q`jvWvnlcB"Zx!7zL{8O}=PDu?];Z0SvBg&hybG?' 1l [Ȕg4>R0G-Ӊqʸ$ d6ۇKdT=gQlyT_Zb,~NL)'?J۬#Po2cTM1:H;06]ՖʵK= TAnT˶kn>VN~Tљm7q]GJw&}[-J-+xܜƧ\''\9 tw M]7Qf->MS,~Jɹ#AM{pAT~%-0 Rr#b "=|'Zg)biCr K6laNPXxzl衩ΫtݭuL;_J~ABUEj)^"'e)~ūc =W&G>l$Bl{ 4ۧ1z&9weR-{oPu`?H0N + ,ʻ3"_@Z;%!QX!LjUIW?[AqP:X7"QC 98: _dS2$O,FOQ`[劶HZZ,DF> FC_V`?q '~{8]A-sLUL&6-# {nE51Erd$ 3rh$lǙ9RU%4gO[ID0q==3E6ٺ#Zp)Wߦg̱gYZc24f12c836d21e4d0bb9ddef9155b5c118ef487ec3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 3cefdd7d5b19f94d51276ec3f97d3476889c1eec  CCS