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 (' t4L ] Myhill-Nerode:threads=2elapsed=37.448cpu=59.176gc=2.820factor=1.587zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫff6 :ޯ47{]e, k9a/D+C glyP{qv0of5'vUknq86o毖uUSlAmDXºPN/'z`J'9 mxp ;̊#?xr8.a}-S=d'5#Q 뗏r*HX|JqOcʖ,Sݥ6UzP%) =_=%2yBf"0=X&\oN ' Myhill-Nerode  '?$Ǘmh_< SMh%.B4{q0tz$"8`=-/.Ƈy{27Ʌa层 d׺B(^Kw [>^ o'.v 0h:y!쉊xj^(j@i@=qs͸;B4^oQo~QwDѺ2f!ϧzv+=@ٛy RiݎцZe؅]9 *^PU.iLȿ\le|bs :|n"!P*KLsuMXG3CmXb/q.sPbׅF^}=X*4P@vȣ!CmmAm˝5-Z/8m˛ |f{yOCřN{ͤሀuG0#?^ W.]ap٢p/ q9-~o5!oC<0wSchcAV'z85C}q(wː-N0q:3g)ϛ6>q77撐gYZ7zXZִF! N]ŗXiɟCrhi^IxDY?Av|3 &CU9Gigų&>v2H:}w~?Z TlJ1\ei_"{ 7ց Cܥk4E6cw"gZH (Oc˴`N С?搲(u<$[a7¦T#D bTq״E{R){⿹FgZԦ2b-+m?ڤ)S?C{  tubIĽvrL#‡9C35ު}7nd.7w`@5Gً=ztABrL@ U7x%.r,m&dU l(Xs?V.,FlVS1ѽe53G '94xq4dYo%õFWaK˹l0I$缉A4'xvE5H%XOg7F-W2q%2gYZ7zXZִF! ]ŗXi%>gE@Q9d?ĹWŔp^&uv|2@,i&o3+iukW{ 78+$lP[foJtE|)ǂ|Y@URGT+*|)I<4#M_-@iRWqҚ4Ȭq(kadBrٔO i,v{#!|'ܘ E>? :($u&eAmQW+s<ꌓ/С Ǵ*.p`9yR `UAEV 7_\bIE *- fc_79u[@ jk i=iciV,˾0Im,fQY h+*eJ=h Dې9A ޺GS!Can-q[X-,XMƻe|ZY9㡿xtDĕ(:JPy#a݈NHt6~3J0b5&*t!:zc(_ M RD&1U'i:o(PΓ}w+B]ݡzN`EcQ(_ϽD1}(F2RHǐ_{Pq$9)~<׋ic>Mw W |e1x/`CU{p~EXCV&ʭcLrΣd#Vox0Q,H1"0Hɲsx5_iVTY DxhcTao#k#V+nF30Ւ3>jzЅs#p,`!h>yIqL^[1A7oGWcwYo:6ftn_z[I7"|qEk#rnZvs#F. ׂ۬O#6)Iʰ`wSG:} Ռ2#PFɯB!аMo-|oCXծCA)Y5sΉ6@I)I(' )>eѥX]s#ƶ@WsQnC<լuSa0 w/Ejd VM! }klx+kq0+ &s oJK^;ܘ8/Kؐ;$_̱! !K~=D /(nO؎XE:1mV݋n/LHltMAd"&m:z^xQG l5Z/mP9Ph3-f&S=_e Q]eٵPWP̵bJP1騴s&F(OBv*>hBܡCIݲ7Jz^1}p_3`FF!SΠC<xW 6qlI$M9BLhƺnb= 6w͖E#^?aa3W*>2 Ux˭Mx7ƳndvD:M`U\LϨtu<݇Vi_ޯnfSbZ:mY HgGt&.}x,FDB#9*Z:p9OI[>W0< $qo5b/`Uם|7l`8`= `26F+GNYBMY%$ "i@ONs*m5FHi(Yl~.rr.{ 9F4gYZ2aede2ee9ef1d2817aa39e71e26f8ffb2bd76bf3665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b