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 - L4T ] HOL-SET_Protocol:threads=6elapsed=20.884cpu=91.408gc=2.260factor=4.387zXZִF! *1]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaЯ(zCSse~^2L?=DXb#WY{X4[b#O'f5ehD@SG$kEEUsrH@ǂ@Y$D-G3$%Y"xLi٬AAZT=k?!6V&x͝dZQT-V \u \38Sɫ!+$|j( \LBbK(ٮy)֫$ԢV⒒a.VJ$ޞA5H),T1ƁBk=2;J<8ˌ,R,GsUu+Slzti[_ 34[q{x[S/ԥq. 4ܓb?/Qo<-4Vhay6<%u㑀-GnCZfsX3Ny+]W m2+lgn38,qdZ')w~R3#oՖ lQ>JeA Wk_Ɖ*ާSQv#)7M=@]~kF>* v8/Ji#ФUE^h'|##f݂߼jNNZ -&ԇL_Dz@;+NRW|v=T Z+t+$?@3|0ů.: ɠ/Yz]b#i ?C]ڮrjU dHM=>DZAzb |]}řR/fG)o# 4_>̞K!IM{}. ? CpFBDu>{qr5!d߼k-&|BzDۗ>}*e,ii TϱgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTc"Cu uZ,ä<6ɀUIM'ɥ -,kCʹ4tU;rD<06e 5鲰P. >n1 ݊N=4?51c*c,Bh}#E RrsçsNDSa2vr=7Ot$gYZ7zXZִF! e]ŗXi%>n=Kcp.XI9iiU7{т>1AQa%<~.HjCv/0Vp3̋>LC>a]oXX;>vCE<7pv,(u> Nml&Ĝ?5siP5,XY Q:oαIb'ڰ &ZL n 0QL~FᶓH_t[QrBZA4.gcDy OFaPE=5q8;{X c6o4fglw 2[{kL#WysjcBpN͗9v#HF[E6!b-#1 8KXZ9R 49 QlDpթ݃ n(Z%0g Wb E _qjn& ؙ m~7C}H$Fe5VV}r<8?0⟥^a2ˈ[ǔ߇h& \-nZf_պ2k0{x@X Bz#JQyS`쟚NE?f7=Js$;\Gdߢy0i)" ĠGդ Ƴ +6bX.X%3GдDƉeE*MB9ױvtD0nw{\Y./^f``ӈCyls-> ] o N'v*S-.CsF2<uW{%Щ-w:1v hx ]ov/qC·϶@B9{q po*LfƋ i4~jZ)zAE-av%Y"+zlH0 X-m?9 U1_+i^ .YRkSzr>xyC9p2k$~  D~lx bs TEΨ,*`sETC3 _% ]7)6,6 O%sp;THۅ,Ô$:ͰO2u1. ~;Hm*dZ=ĴsT5: a|(zZ],!\2"E ^ h2vg<_nIo2[w:gD/bbAp*Do|}pS7P@M%sSqnj}3Nb,m(\W:ЃhsF'HT׉uy(wD) ρUm^n􅯭\fplɨt2)J; '4s#}@5#)2PaCAPq܌ր6g}F]CH~v)" Y;/Gp$۟dlA=Mg{:.tA}w5+֙^ CM}A/$uGVc| X2u\0,]A]^`_iDsn]Σe=Fo)2V#ƀŎA'Mc (ȡ1A 'Ϗwy&".STUs:,)zXȾ9<^ÐI˹3I_84/p Vb6o@[iZu"_42s|Ktj$;rV94gYZacebe8b448d3b77b5aa75521d1ca9ed7674eb610d10e51eaf97bcfb5a974b5a9660b4a9c4ab71c42 bec8f12658c329051cdd3196b3789cc67865eb91 d46f6cbfbe33b03ec31bdad15bb33b4fd14af6e4 - HOL-SET_Protocol