SQLite format 3@  .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  ^ ^p |4 ]] SML:threads=4elapsed=0.013cpu=0.016gc=0.0007zXZִF! @;]ŗXiɟղ >{jk^pz$o'B4lM^zWA}YZ7zXZִF! T]ŗXi%N ^F}m*'0fC,YpTx!G*:)z$C]*thq]M6iNO4$PxL$_u8{ FPU[^/;⒍HͲJ։]g(4UCI;0xV6*>曘\`ll룹vR@#pד߱c2G&ozuz4nn*Źvk<RT3aXeN\3dL$>_o 0;:~IkÊۍwR Pp/IGB/'`YEX&z,C ;Ɗ=0Ps7pAyI$_cA{ fcH%^41t̷U~RkN7yft/?wI%q`p٦Yp1MYc e%"(`b; "ؤL<J6|4KF No{-h*З ƿb.m"&+KߝO 7v>8s=̌#ʌ(nr\/O"4x-䫍SxM+,\(GbR\ۺǶ_y-JVI.ę>ダ_Vr1!?:%fYt/)\ I7w0qk3ƘfnhEz '-#4 DoM3Weׂ'o?Ъyim ܑ#) 6n$g/9f_3U}cc K{Á'{F슳?*Y ;O6FY +`l_X@ɗ×_Bh 葇ļ_ lV7B{[⬾ c3DXN* !2 G. _"x1?gx|PϹiqъ,IdBJ1f׬hON! 6 βz !2tE+c=J}Yt0qǴбD16h$LrxuT=HDu)LPM@R- VPɇFnЬfq6a }\䪏ͯkO}6UP5f}LcZAfF1 +|S;,Zyta.M b~]4~lq"iV\IMbIiWe-(Ċ1K[33-2 ֔oF^"jYz;ڄUtPn~v% Rdq)8^R#ik]:P%xJ!y.D v P*'T q2I2*!> O KH*2Ndr>eL%!wm/2<}e).Op$`ʎJB?H"H{l൑@" ש 5Z\xqfK^e-L9eʘA)mksԙ~᭧h-Gtx 1'voZ !HJg "%'SMLSML.ExamplesPIDE/messages %#SMLSML.ExamplesPIDE/markup)%7 SMLSML.Examplesdocument/Examples.tex   8 8.%# $SMLSML.ExamplesPIDE/markup7zXZִF! lJ] !M젗OFN>*>曘\`ll룹vR@#pד߱c2G&ozuz4nn*Źvk<RT3aXeN\3dL$>_o 0;:~IkÊۍwR Pp/IGB/'`YEX&z,C ;Ɗ=0Ps7pAyI$_cA{ fcH%^41t̷U~RkN7yft/?wI%q`p٦Yp1MYc e%"(`b; "ؤL<J6|4KF No{-h*З ƿb.m"&+KߝO 7v>8s=̌#ʌ(nr\/O"4x-䫍SxM+,\(GbR\ۺǶ_y-JVI.ę>ダ_Vr1!?:%fYt/)\ I7w0qk3ƘfnhEz '-#4 DoM3Weׂ'o?Ъyim ܑ#) 6n$g/9f_3U}cc K{Á'{F슳?*Y ;O6FY +`l_X@ɗ×_Bh 葇ļ_ lV7B{[⬾ c3DXN* !2 G. _"x1?gx|PϹiqъ,IdBJ1f׬hON! 6 βz !2tE+c=J}Yt0qǴбD16h$LrxuT=HDu)LPM@R- VPɇFnЬfq6a }\䪏ͯkO}6UP5f}LcZAfF1 +|S;,Zyta.M b~]4~lq"iV\IMbIiWe-(Ċ1K[33-2 ֔oF^"jYz;ڄUtPn~v% Rdq)8^R#ik]:P%xJ!y.D v P*'T q2I2*!> O KH*2Ndr>eL%!wm/2<}e).Op$`ʎJB?H"H{l൑@" ש 5Z\xqfK^e-L9eʘA)mksԙ~᭧h-Gtx 1'voZ !HJgYZ ]] %' SMLSML.ExamplesPIDE/messages7zXZִF! ~<]·Iq n[:|&[zJ2V{]pw/llY93,LXnkp+`QBЙ{cþ :CeRFOYﱯbb->Y٩JhLĀ)+ d :rx2) jN1b3[t[[Y7}cWԈ?uV>>:yTjz'7v7-qfeOz[bZl.| R#@Tff Y+-¾qn{\P _Hl\~D٘?s)ҡ(";a`REsk9sibљ!eI}~86%0FvPH-@v+ǕW,c[lWE˃p)%c2I6zB {iܩ$ײAw;žJtD.u1dAjBǷ2GSMgfՎ]J6ˇ<̪92f$#H m;bcOa?=YD43( .5ts=+PAr=C__9Z Aܶv '`Ŏ/<[̢Tئ<w7]ՔfVV(*);`VCK|G}*P@meI֬E$e/s~OMSn]3mZ_?*fR(TI'%\(EV$eN$hVv}˦Tdۈ4zv>#|e Y{ө2{0T9Ratý>%J֕Tf {3A!΢4qK1P>Du_קݪruwjlԌ"@a&.If 3Y2OŘyE=`-`yNƍHdDM Q"WXOƋE? vqUZa̪Qa{c`#{j'=b$$wK^ Ӣ|\ud%VJ'̢Qym1RXUSskw^QnWߙCuwɳdZ7%i:ϟtw$[!-ygCWpfIp8A{ /^'S-¬;4tƯB |Rqa)__akI3