SQLite format 3@ .0:  B --?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 `' <$ ] Myhill-Nerode:threads=4elapsed=26.327cpu=71.240gc=2.224factor=2.717zXZִF! ]ŗXf[&=.c7턞JPiƍ,r%FE<#MΙC79[֫(@T ~O*s`' VscT*$ Pwp:]8iĩ35J̎1 sb<ᑲshgw;~)u C+%2yl{xwzqqcD>q0+Q`J˾80xP>ffD\[qzX>]U;x[; D4}ԥ_&J%By0:aTwԖn})aYԫӷi^vuKU_K^"n*e Pg6 ' Myhill-Nerode  +,Rb =wVTn(rxm oz8+S2yȽ"~w z:s﷞Mk;|W-V H7^i(^e:ިp/<ÏS?PSoM)O5 v:$qRYy|75@A]ý;I@ը`ֵr8SYB*Wj0!P&A5Y5DeևljZ֙ՔA6|oH̔!L2)9{,>$hx17'qnzԋ(0ȼA5 / @^&nfUi ˖7U8Xwn?[+Myy.rf.r+7ֺt[!4BCȄh MD-+ߓi %P"ކT-.4Xe!wڵ#,//Tf*:8`Ng@XUwѧM# ZO$ G8'y֬M@;wͥ亖D`RwXs2Z9KҜ72SK!&а=E gĊe>ecS>ۻ*3a< gP{" }9VgYZ7zXZִF! P]ŗXiɟ㶵fL4i=J|92ms;ә_t6Yq; ?>aHjˇYl߾z,͚D@eNAj=_ ج#;o Dz/%8cBX#>@0I)Y?sfI;f[SpOm\wN)̮ U}$-Rq<%J%"ҜT7'$>ԬIV " G(OH'#ujhOz"H+GRyzI] &qN ב5CZr"U?O[Y\1*o/0Kq_ET`(Be7GaWRLjPs*J5W/figOP:f" :vukP/@]¥m {N}aB\p^51q9Ȗ P#iRփ Dһ444½ 5,9&u]:q?6uQ1XE#gYZ7zXZִF! ]ŗXi%B(Ktk-BzzsZ$W']!ɂ!6 ]L81ІXԦIi"k37Q8sx1}o9M[ʜv9FLrצaptFgHؙOa LǨ/]f74bd4HrYy4xf#O P= ۹ddϦ+D}>sLIMASstj:l2dZ{|Eb@vK}/\|%生- }hO`X2vB/QFNEup6ׂ F7]i!Q t1 s@ Yi1&qD» GmGSX_~N0vG.v$dsM3c@M<zwUYz҇ƻm$Cl*Xu,vuSld̗r􇑸2GbFȀMeVE}$WX{Zl#ߴ[1PaVhS ֪ a?)8@qr?J`=-p. F"ш~ NwS(P"rU5tfä\'W%B<1mR "2TStoH9"sCQ,I~D/r9x$en&ʍ)Jh=J^˿cD 'dFۀ{h_jO).<7o8(S< tDLPvNjz O<ˉzl Կf 3 ZY"K:p2_x(W'ayrL J)Fr1g(Dv+(]Pמa6Nߘo%\%pańmEJ@LQR67nׁ}nXa8=zH_\_=8 ^\u.+ ENCץja&*e"UA {fXz#iqQ2GzE>qt3uqtwyhRHdXiuG1iZYd(RmAniMg ^WySuVV@@{)F#M F^*h2|`Ť (.) "[Z SBn!w_%bӊ[G]nj0S&LQ@l+pfݶ]njB=H^HX&_k!cO|vӻPggN 8RNxRP5$[RDL"+1)U9Em3CF0,G:3U*0\lw`zJ(I SMlZx@e~0ta8z-@ 5jsH=OSL.@.{R]d(g'd wæ$1|xT:K~v?G(m%@ qchlH$%SǍn2@8b?rn{!2$1dTڑހ{;> oAzЋyXpt%!ͺGٵ4FWvI V@M:"#!Ij昱~z懮K2 zZBg405=fLp@㏉f-52ęr :쳫pY+1" " n׹g VN,&ջ13{׆Xж 9VP*CU/%Ȏ#=ӆaS3z`*4hQ푃]'펁==P#>^ =]3>I+e)aK>1*ӥLF;ϠŘpn:Ri osԲ}!hP\Q^$f-~d)ͳMeaSyTJy;ʥմߪ0A@,qB݇+=ZVQ.2&2 u#%x[OV:fj#Ӵ ) ͤ