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< ]]Regular-Sets:threads=2elapsed=52.851cpu=84.344gc=3.672factor=1.607zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'ǖ m_Ǐ;R<ePrC"ŧ8F*|)̝1K"H<)`h+Uo7I'ιv!rlDe{̂=VE }kvl{k1ZtfIIEd&C5N;P{MV,Dv}=K]1oŃp3lhG(\ȢS[*}bTR`rǷMS4ޖ̪)l-<|ݵ=)|WZSU\3/Z[ 뵆eܣ8;QR]̬կǀ{@mF 9zs֢ % Regular-Sets  Li68ӫ82o̓@1@[ TKda0| {סxTGvWT6cK<H/Dw('Iqv,#]gֲ/ޝ^M`S?̎f+z*b(?lpU1OB`Y [3 E&dGf(vkSpU1A^Aļ hkIkBWRDҺK!xpk߼{'haQV+E9R)6$tl/KwgYZ7zXZִF! ]ŗXiɟi&w<$мI*0a)/~9"]73 *-Y !)DGÈ9ôGrl+Զ#_zHkA\mU_;iɏ>.af׳ݶˡ[@ Ήu_Z8b:W%-fBbBQ -y'.]CΛ !Fㆥ0.p%S9\Sc'ab9]tQSW ۢgYZ7zXZִF! L W]ŗXi%>gFN0*^߸  ̿P`HRW=nIڐA/L\ٯD3NxکZr1ѵq 6Ī<6H[̶v"@ GLikL_<_6H2F7Mқ4kQ)%u2B (X;hCkta^tʸnKΠhێMX%AB\hGĉQ _kՕQ C]o0_) U3gU4[輅[~`nZӑ6gJm of㇫1u~$_ E1ǰ &. r*K Tѐ˳MG_Jنf捲e{<@7Evhy7e*݃~ű/& (FKG)L9{k*ë%K˭^$ZMX-'շ ~).Au z%lE]I&s lX$mk AI$ mOiƺ[܌=?hO$« O#h颶C$#o*͆4Q~]PJʥ~ v}lHZ}ߌ߮e'zWiN_mw;0XEEN &/~0?ӟr%DT)Cr xEޘqgM ʼcI : .+_LTlJ$<$#\* .C^@G[])utޒi̞;c{Ƈb82nê1n+$R *\w1S z6{{BP:UTsah8b$_udc=m%Gtω/Ny6(s`5hOђZ,cS{bÎsCbã;a^陮:4mOm~9g|I}zZ>{4\y21@d, ޝdb~96|e Hk#mE l_̳㐹xe! &谍jۖ9*iQ/ :<ڝ$[ײNp̦jPʎ lK8/LtX"E]" @`o+1ܽzː @*eyRg|xBBv2kڽɡl 3=3yRޟFqWvf/aZ-< FlyIy!lxCCLv3A-( ̪mo3%BCYYUO,YT{ښDe`:RS & 7ϣݷû;A9 6pȑ[U$VP<ƘlΞSީ~2mh=vu jJT@q,E 6Ӱ -BY 9y\!5FYJ񘇙\K- Jeh6Saí6s莅 8B,?Cm R_.w#΅]:!+PƶN%bZ1yvtd>,JT/s) S(Z%5{'{t)dQ(i̽Ǻ(X^W UܱjeYD蒥:x~-ZL2  hcԶnG^O.dS!Wmkm1g/}nhau;9zeZ$cBk2dQ Ld7乷/6_+7^F ?4(?bc!B@ gHEaxt2"{fum $;;yT++KsɯwU2y7HmoF*]uˠ9ΰO = c]x8dC6K]΄ 9O7n^S^Qզd[, TaYlcq6!>3g30_{l!Q2 $;<0͔ڀgYZ2c569b3a69826a266b66766334e61eb0487ab410767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0d4ed28c147bf33845c89a0e873ac812630434e59