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 P' \44 ] Myhill-Nerode:threads=2elapsed=36.240cpu=58.144gc=2.432factor=1.607zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫp 0>!})Cpaw3-akgxI݈F`Qe\ d(TLn z>jycL&6GFc x(rjݬ9ڙSoud<_/X'pBaOÅl=} zvk!iX#o@UPeHU^HCT'>ՓqQ\TNNY L~JکB%ChHunJ 4"=Ĥթ"< ' Myhill-Nerode   ' "I62xAhwEK[ 嵔]@dj O緖(udѱݖ0JQP&=G ͲdS=zbY+Af$e8MzS$[v Ns}701&Q ?F0,,މ0 [(F`E ]u"3~N*µx)ʅ2\Ub}ޚ<dE97^z@!AO_'#ӑ[I&[g(>mc/eQ87=ȕ8 C( P[aN[?9U!YhI#7/_=(U4r)R .%g;f1Beey_c.}t=t4`ȟHRaY+ՋG'Ʌ j٤xN38jHg;7'u_ڛ/6kxyqb}TW{rH%K> 07u֔CkBS^Xb9?s~ct=[>'k~\gYPb=Oţ5vMgYZ7zXZִF! N]ŗXiɟCrhi^IxDY?Av|4ska\Qћ/(RU7 d}Jw/;VKӖچզBl1dvV&0"`5\@8v'{R؉jhyep a-6]4S~h˭Q3Y@\Cs N?s}+ΒF wZ1  ^ȔW : ~Nu짦D f;N< rn4j'.u>.kYm&<WB!#r[3X0A:aUAxwTN-3b kM>\10I h7#P5c7n$T3rjt7.$a#Iu@Ր? }^Kk Pz p.#?̺ 4rSՀ/eNv۴[CT*,Y3*bAkWDZxI%jfr%ABx{5uL[P)C Q h[Z7Lk+_I8o7ᘘ Ddz.9`G:kݷʯ7~Lfh*vɄFOҞj7,(ʶ0{OڋX;_mM /l/ߜCfE -)쌁LaǂX^fil|bR׃B6D=>>/ ʇJ+2ZNW>( vqd^4.X+e)#WEEXkg~⑑ `:Y8Kk"KQ<Ƒvm~i|wmr8]@!s+k <CuB'"Qw r"bT7Pò\rrU[4"qW.2[;M! Dcq< L[T.YO8 4ha|Nm3  p/k,g!|Nn:<* ! ;Sg&L~ jHB}ݫ՞Y*F{7vA}R©Zp&gV.zp`/2n5f4ŜEY]/Ti.FЗU-nJ!SsJ@c@nk=d98{n1 ޓRG,0%~u]+u28$ݤ;Z1 h:#/^mN۸Q{SJ15z fWJS~>(Fa 6&H*6yScBhxlfH"<°e@oYLWmW&ÒFa8ȵזwĞ/$ ƹ̱gYZ2aede2ee9ef1d2817aa39e71e26f8ffb2bd76bf3665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01