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  ;- |4d ] HOL-SET_Protocol:threads=2elapsed=58.987cpu=98.972gc=2.924factor=1.687zXZִF! ,]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaŴYƾ&)JB*0ˬh0*Ql@. hDcXڨM,~I~V-j鎕n*fIE0(@ ʧx)i>/ nGe&6&,5xXT$.(14*iOuDDʘa#Y0 i OzHre/ƫC5QwcLD#/R Y*8 Q&i 0EPA)xP`;C c* 6#\ A4sOVw%Ju!up &U > RI ]ŗXi%;3qtч 16 ?{d -M˭îPI^gO?`eՊ~NXC gfF#eMup9Tcp-!93356*'X vF\w`~q- ]g|>xCcBL{@N5I6!fLJȍ,RAVOrh&CxAZޯfCB˦j?*:+}㝮Yh!4DHY }j!v7#Z*Vp 2DY5py"OcO%0+qa4s] ǢnՇTb)T˂"%-;MVII.1>(mc|hu+^h$е7UjWhV~þkG@dd'0|1G>>x 1r# e;~U ̖,zlMZ^t 5oG=;[USG{tAS.]}+S@:ӟ<ԥ ݎ1)K${;Տ0/6t:VOD6K^GO$8: fQ=6ҍ? )]BJ PȺ,վ.Dy8e{q(e8o\<4d~o1"}v }=Yً5Tftd*K8RNu"aC-~?:;W4ఋa-%d,i7΀ޭo9y9A4&j8E׸I <_Oø S\Nw8i?{dMu Q1ivW47Q;*6PzǨ܀ysb&Ob=2w\7R<$-vxϚ,}DjThmk,S{;V"05]ȣ6ahΜ5s.qӬ\9]9Mr-Gnc*gO֖i`9 Zӣv]Z3ݩp~?Cl'AyaO`SzR|T pTo*9:778J 2%P KY[ZVoA+AhY>8 +xM!ɏXدYb$j>Oai-V|ffZ`z[O~ЮMJ0^O,1N R.4aZoLnDkuHkG|{ 1s\ &5@A_aMHymzh#C-0|=\O&;sXv%3V/7:t{3Kma^i@~ WbΓ}_r}e ϥbaw%#~{v;U`I7'dps+2?f`i=EpB?PfiINj}}m~qcs-U?'F,\׽A>ӹ˷^XurJx9^H, $Y!s-$ vp`K"&-2 HTt g'B{}X=h>; Y٢eĦCu(m-k`~>S#&X3 R ~'N w U&bǹo&(T%wOA֍I.6㽏ǵʢ'홹!΂Ec-FJêBkCzޔ1ޤ0fakPqkI8e@Ap@m}rw1lGt{A;g?6B Mb0]Qڅ4M!ix,0d@ձA^#WzU1^0X[|hIBzM+!&[n+*soۯŠVf1#.'Sڎ4d jˑxlm+D2FPw0FKnG!cH ~Qn[I[$v39sPf?oFޒӛyddoJ[uYUb$O<#1AXJ!tL<tWҭCYK!Tl {؃+0w%JNg~|E/pvn~vm]}8%gɶKp9'~k.Ƭdy:9SQAA'VqP*eŀj WeOɤ5d[fACܐ{h^7W +WHL]0gq>@MH:dT5Q@ڍEzsrkBY jW")<Ν)HO BώpkXDUj:"p? ~[$vyrCM8~.|cpߩLDPI|I1cV&U2X\<~zHTtI A=~s'jw7+ z!}aokñYic.|6m ;1fNT-IDFM߷ uS[qʥ(*$`.BVJf+Fg.Ӣ ub!#P̶1RfG{b?>+)|$Bl#%i9~"#SDIO7Z6j0<W>O?#Džyt.l $͏:,^A\>BWQbME11E_ֳr~XB)g 7kCǍMZWͅj±aHtċE)mwF-r[bn~'OiC\&:` jU|L%LW Ūa9GLVƶkIY+h4\XYAdf“ri,gy% ?f"H[⊗ XǑz\Rw}7=s/?%42ٻb.8`6Qd6oS*Я²07Z/d]ZHv.ս97$̎"+lEXlkqgYZ2480c85e9f429dcdab0307853a7213ccbc91123661532b7245075d4ea33812447b32dabbeba07b4a 3994299fe9a4f467e063bd0b975546ec5a4970e5 8f4ec66b19b03b756b2e7c2505a372d748ca1c2d