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 -$ ] HOL-SET_Protocol:threads=6elapsed=23.224cpu=103.528gc=1.884factor=4.467zXZִF! +]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;5En~Ňa8rfI, ;sJ;Bk|1_к=by)|x5932ub;¤qa훰`oPо l L-V!++YE88o[Af ېcI 0#@8&eOlXFK5\}inޱ - HOL-SET_Protocol  0>l]ޙ?lR݅ qB7TD'C}棤k1nDm@7Wt C2%ѽ:yw&G2!b^ܮ/jNS2L |0Zь1~zmmQ2tr3rM B⹷Eɩ +?>3xzfI[򭙒Q&,ؤ3d6̵ިE5WorJmJy;D4wa:7/ZlPRIhIƀni\٤ף$h SD;,3J=1Z|pC4J {,!:X%@%hDiZy>_MW4z*SI, ?6*[hd4ͥecv0Q<(jppާM_ [Jn?IA^#&aNqr1>NR>-fVngiI-^$(p۠)AxyFK{EPQz&oeeM-h1cGBGgdRp /`=nz9tER:d "E;7rs%A{5jpAD q(+WogYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxTc0GbR)o}QVnjuIg0ߥ&TE'/$}>]P]3䟕OzOl}FmLGu>@~afE1|C/wFY[zkPq"=k؊gYZ7zXZִF! ]ŗXi%ES3lrSĜ|'+_$V⇺A;ª(݀ 7#%shc̛ 䪗^格񪛡ʹ+5z *葡6P=4JOh s锩feǻ"oZ,p6̂5wVOy:4b*aujjﱿK|%S Wo4cdU&Cp=1k%`+mk0;(](^**h4Ё=UnoC hN'XxFasr\ V1.7I]Q;L3e"Ⱦp+[o!6m[n]fHN%v0Y.|St2Z}xrJ xg 4hEBzT"H <2jHz6@jt R%;q !A]Lm&w[L^)}lMx`*t;egB#_vI9Vt Sܙ )Lccl_d㳖D~kٶH3H7O򀸌cVHKL06 Mb]Ʃfp[AU-HAm5TC\gg=qDN*NY_#ܬ@oKDY° +_r$ϲ63>&\{Whq]Sk ˳cqvD":`=p󺐑@h[vk@쓃`X}5 >64V27VeW a@XEc?κN/1T K줂epvqϔ+]ˏUd?x2p[W.m( !EPUP8CŴcuqE_?"ЬuZ;h< m UY`dBG]FҞrՁg ,[hFRS%Z0t)kהTz2h\?t~5Z>v7 !ݱ}4z9!-0q7I0_}Nƅw#@x2W\52 DkVϏhA@']"@қm;ϋ ?)qF~:fdwDHzb⋊t^~;*.0(֕ظ2;jn{|nS1٬u{įR $,44EzQҼϾ}8V9RUKCB- Z#:hYpQ D22S&2n) k(r\*t MϳFO ݬ[Um1_YZeztC:'YeiFR2N߭qWAI G4D@|CymveWZ`Ue䝎 k>./t;A"ؗAWe*Wv?$0m䯰jh&3)KqDLi׈X(G4`,(3#\m2H3/ߞzKhsivZH7}. W>oGY1Ώq]0BH[CžFMptq־)zᴻ}jd!Daj˵?kz -0p*0?ûG0q,)yCGC^1}d*X