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 4' \$ ] Myhill-Nerode:threads=2elapsed=34.731cpu=60.228gc=2.696factor=1.737zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫ5WN~U͏dExj,x׮FaR'WK񆍤E54,%ct?H&܁xİh%N~„0=vʶ!q(6uhQs|Ϳ4&k9oc8a!Ȕ(^"V*RΈN'qfM)!Swi;Rɚ3uʅ_MxdP1&h&yd~]hP˴IܗJ ' Myhill-Nerode  SFw4*>EZIx݁|u`H:5/q'naG+ΫGk:q#Քȥ⤒Y'LL_(A;uHZ[fx0QX^g(R]Z|'mt*s;$veF3~+Í[[P)2w#"5y@]ӟ?~5:@>(<ZR%c<#E<Tbʰ|6>˽kqmt3T@FWPB@0~ٔq8i?P[<:n ]ÏY$9<K-/ոGZq -&D'\gktRrR7FgK2!5N1{urZ\sĆՋWd5OP?W|b uB}Bl 7=wfoLZ.i^QQF! Zto1iU֎/s\2 :PË)JK{$Wbꊏj\վ nM-<>sgMHȃ"FTij̵ RGU5o:zgYZ7zXZִF! N ]ŗXiɟCrhi^IxDY?Av|4t+{fI co;YYMutt #lUsBKNQPNCƍ+ӈ z c8H`aez7/[#PlN"IAs,}(j c"YQ|(7!bLT2w|Ja Ya*8.G(dl_`[ 'Xb̫fj\]kJ; |qtD@Qc~ǩ}]׏h-TѕZ D,`+HFoĘS @yY@4O_LkE{, \T˸ %zqx')$Oy, eӠP< ;WY `"Gu 1l@*MQz:Yh E6I]Yn|Uעrv'sf?նF5زVۏY(Y|gYZ7zXZִF! @]ŗXi%>gr-xMRt?qB;PG`0n?|q]'3FwY\lӐ0Rg6ΰSF\m%eQvW/tzX5ߙlU͵.[/ 5W: QG'12OvsaN"Hff|hZrw :@Ga- @30! ߭~xSV{"p(Bl$/@+_@ 0Ls'gnZI#i˘BnPtm Do,"!a'*Y*dW\.-jT-Ĭ&_a)㎾ I87b# epH^Nr 9$`qS1bͳo}܁,:ɹ؀!80bXHcXk.YQh1Z~'TOQ3dpE[fJR+]˂[p%4de죍'9vWzkݽ3ǻ\o83b Af_נ~ݛv :n<SÅɃ& S>+p'|o}?NDģIB(J0t[ %^ D$ &mv30I s .bG4le5Gotu뼫&"c*:o/ʪ݉`|/?qK\پ=+-upoU!h&tާec{I G *{y$t$?f,4 Inu~L7&pCe6~F8s[J3)8X7Xy2˚o01wbuųþQmG4<@pǐV1;<^o GhbG3Alf& OEt(MTE&,R<@Lx*w+lܿP,.}%+)% {3MS;?@kk9cch;:UY2l}˭WҰAYV"ƣ)ef'gy|'7^`̨w􍆬糳rꖿ &Xs d\PȢ6 R.u[d $M-W:0.:!z}U>3)>DsIl@pL eb/wT[~>28;Go~ЬZgs]KWc7֩=BJ1X1 A%ot9e*"% Ԇݕ| DÇcZVgtb]?J'T?6<YCv:!Ụ*:hֿ*ݘ$EV`˚lw&gYZ70fda667ea7bb50eef2843a98a7f494fc7a8638c97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9