SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  </t$L ]/ Consensus_Refined:threads=4elapsed=28.316cpu=107.764gc=4.168factor=3.817zXZִF! Et]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFxm|&Bc5ݐhl:Vhч Ԧhj\j'WK$Gݿ*G.)RN5k%Y6c+Y~s[dG#ae:AyÝ(U{ AX F $W&Kr'wlOkp\K f AՑb5g_P<@/TrY6,PVѻgB[G͑hC.m".W/ٞrf"NcX{qFNha@hT-n^ / Consensus_Refined  x7%4aBfA_?[k$Ee.% ԛ͕83%]],@pXH{cS@glip4U9r2OoB"i?}~ӝbXro&.>#,Z^͐e%uN-09]SEk:"s5yc\NN/#|\]$T4$U_"K ܣƱq˟#E:k_,`3NtRK$e~͑49 ^*W\#G& {/TĨJBȼFeoGU0@VZKB-ZNjSa*^WX2 CGreEv_jFwq?& idN|EY(hǒbe*$+-t^|j gBڪf/JExN"U@]ӗޞb 5j'bzΎ. TC\@#ƔoO|/MlH~8BD4az߈%ɆiʽWf3>dz{i}F\9D[b1J-47H|"dw( :ʧf < _U*`@׿5Y}'+c:eƫxM n~(4 .%*h#֋*v'gYZ7zXZִF! 5]ŗXiɟy)BcTH/n Oxsf1_"~EC|}.zRQ*i ݖ!G,s7tB_a&l|`VB/Ҷ` K} MN%>%N#cizIBɦ&/d5U+Rf-[ǃfmؼIj !Ԝ;q:\/12g<ֿf&"gfx5t=[mpd GsM42&2EMI%߾H(76ͦh6;Z*]<* _tߢrEVn93n>!%UJJ3c \I<{*͠bwKV77 јy 泇&f0>"ecqMp`~dtKf2ðW`(!nrHf10̤̌V smA A9RyKlr.؊}8=h0!SxyOu|Cx=!FJG] b42LG%]տyH\ϖ?0= [E†` ݒQUfłwo삥o)Ul$aI>Jq.d }I02ggYZ7zXZִF! ࠂ ]]ŗXi%B4Tu\m %N&эS49]^_sq4T`^2Cw&A܃sSd3yHo/V=rHQ0۝#أb1y8)jij+݈}UiZP;P F/xּŖn) TMYznן݄eMI&a!+>NͅӤnOвkmRjM]h h'x+6.1cTIBnDx6<EOsM-4b5)zZe_FC jzΡ Gy)+IA8eJ.Q#2wRKFPxydos k0) ,\96Q):5Wɢ12M:vVV@P?#& b\s"ꮎG![3h|4<sՋbZfUP0l{,еQ6aw+Ll\ e=4YEޱF0 |BqHae{ֆVpT@?36oSqL~ӳ\t/ Y94 =SKg-ӈq2)WXqY1x2=Ҽ Fyap5Dj~ P9++:v['Stt[8zEOjL%+scf[G97=j1hn6fClTx#jDdRW)zuń]t00c'Q 6n&YkJm)Fy}%mv%[#qwu#4ֻI:|{ U FYt<ۥ$ $k=agPo0zuWoA {33y\ADftO}q 2)J zو*+֌^z,6|Z ^vw!ְՌwo?\yD兂zZE?:*%Ww*O@>$en3|4uUCcO"Ci~{xgʎ6 ^pgMVޗِ&0+iSnkT}}.3`0wpB4߁ NP 0.Q5y1T?kh b=3JBF^^21 AwNMIЄ4lq㢯,Ͷ8L냡QX"|Px6TtC{6^7#μ3:l51S['&{0j[_VOTVRm  ZLR+{t*4F=û] Lyhq5gP]%t!WK !2qNCYz&j\q h~Y!e6A*҄$c!NHfZJ>S. H ~tM'E3OM>h@wi*r%O[JasDFkbeqV<:NS?]BoT4@F&mX_^CO@_5'aNå\&zk(,9*mzJk SnJ0'Je0Vz{>Z2\"pK)d?ɫ4CAw| zX}?"4Sz/~” 7+L2kk̚ ,*e#]T6Y+>5NAe8c92cCzw\5D8Kp>G7q!rF veӫEfT"Gͷ/ҮF NY" 7Fdά)l` ̥D_m`r31@GxzX5fkۧɀuwRcGX{^X):ΣDxb&߷T,p;Avy\GLCd50mQ'BxqbRofJ_gYZ06583005df950b8c6e8e2a1dda8f9ed342a923909cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d