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 ,- L ] HOL-SET_Protocol:threads=6elapsed=24.077cpu=109.112gc=2.464factor=4.537zXZִF! ,8]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;.VX.!o|0.%n&\1z(SÿwJ01rY4zy2J mR y[|RJaPڨWUSX)9D_,X=)bv}6pڷm)0}gDMdia r|t`LO4|MvyAڴV2} (TVОL*r$W6ub@:kS /DF׻) puk - HOL-SET_Protocol  p"\1ޫ> t,Ng_)k@0zp?gt ZYI+9i\|m(\&z&!`C T)-Ng$P\zO\;ǀyLY=챁Cƣ2qpCs纻) 3hvk˵iOh51Ou2azTC !fHji]R:kVKh\dpʓ>Xq8W,#PT $Z.sљ&78'1Y޼%4/>n=K56UKm6CT?!wޓ4 v_l c`/|. :L AcVyɬFwC#*r'TTc§ۉ gyD L,$KYI tQ6£}4ˇ˖ /UO F,! 2Dau]f$0|S!*]k{X'~uaK3#=#}Ϲ>tzB_NAI!>.V5ؖ2vAux3gK| Aݾ,|#%<̳-ۭ:鸞(Y{?!uެ 'WLXQgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTtFVj/8B*6rVc8!IT9>=s@;վosxhRB aorշI7#I H{=jޡLy7ӍXTqh-~{S $( ֺRCn {I5 ՒAxNG{ &`uȻS i7fz6<OXvhoڐ\іg$px\A:yGX7;g9g /c]hjEٲU3KH-}vm@pB;KrۑK9X's# v,ӵNS1iqs=J76[q%/ hrAm Fd.h)9rk2SA&j gꁮn@6hi%uaD'yS],E V.epZMPiSWp;VҺ 5eN ID,[xeR_u^ 뗫 ۅI)^5@6ic_4KxYRs cunUC냟XC"~o6.KQ9M q Ӓ#KJ/\l]2{Z-ƚBgA>+͵9X&MFx&82}*UA z<^}ɧ+ PyđZoDbS]/S/p/bcdn ӈ4,b쉀͸w]FɅ 禞O`Q7,+nV2h'!,{Ś%wi9כ u}K@A=Ŏ38 { ۈz4#"J%=!j\>(В'+ʲ3{%szX^[t x Ww*=Y""Ճl'/[:kf҈> | ۑrb=JDk~QeZ_31(n&'' scpͤ Lm_6p"opE5{ 1g ]<0cj!"l&FfCZqtt3}S п{JԇM2]\z%ɴӭ%,lT?8 CWQ؈ȯ=A#+4fOK6մ_)4] 1;{̚Z,-aYdI75ć7cfYBgj_< 5gd{ SQ_cID_q"._xI:d֚ Gu߿bW[o45c፛zt,[Q9,)b^gq]-x)}QP5 e[QNQ2Momᚿ=.;yVXc=(/@d&Evc,RY!#wRlKԕA? I")O:ϮY[$:HRצ48@-XڃVv[C\CG`{'g$j$],d@u:^ 㫃UJ %e5'ijiO#cpݭ3q^tVid pm_΀MFdc<挹z) t̬V BzEmݶ;flh $ޕPM8J$} ˙ E+ OBNroa9&TUKQ*c.pdzcOÙ#26MLpըt6y ɢOS < U! fc|Tb*J\}2S# $P@Gs.^?̑a.(E5<~Lʢ W~s/'m|Y%LoM y Z=U\f#{ԌG7o6b͜mC{~Yd{3 {ǥ`c6gYZ269190f433492a752881425839131fad48ffb8721c6f2074cd6cdf579a3d3ee0e0c3866542d97adf dc5a1495e230b9fed28df216f9bc9b8936ded4f2 1417cf81634704ab62dd990387c7bf733191a6e3