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 H- T, ]S]Relation_Algebra:threads=2elapsed=25.245cpu=48.840gc=2.392factor=1.937zXZִF! ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci+b.ֵMqѷWU0 AeїkOѲDss[SJxBmJ ›he YYkjsZ Gxb;]~ea&=Sߘ!IjAM gk 裪3PѮnMa ȵO]r4*W b`+k+ߊIM.IyzT|60eBńAP~-`nl}% _n% ~X9;QTB8V4ox,I(R2] VRS e S޺&ܝJ% Q;y}J}V%jޯ.'pD_ۑ }Рf`նӠ.,9-ܐ"mK'́#9b2?7@2LK5qfw\vjaW_9l%Ø8Xni(=Lfhq68U2pZ{ IYΏRBPytJ>>DBz gVGoՓ;jbƃzb)_-I}{i`Sq@ 5NUgrhI-! dG`-`dUv1E#%OJf ,#{k f_rx!웸Rbc}BMm'%(k f =c])بqAJ)7^*oHy@*po2n9;gYZ7zXZִF! O]ŗXi%;33>t!;װ3f@t/ͫ\x/r.Ȑa^ r2805ZzUoIX9^kMFYscgX78H"}yt/ _*vKh7<<7\Ӈ{:l'$nȔ~yRq;$3QH=DYW RDIk9S$9oZuagNLC)IVkT|}_m9Љ_)OѠ<%Ix?a(BtsYX^AXAD":޲1 Gܧ"g{c`dr}жAZ+|&N嫛it*r kl,sk*pP?N`կ42g&Jq^ҝrhQ}YgtjhGTzu8A@yuP,)Zn.ojBbo˫f. $u~C~rJ+5Мu2l\|&zJb0ɖA))гor$M$ g:&aC mP#2'q̋e拉I'{iI 6ޣ1#s%JE_ev[>J7"K1y<1SgH2Y^(!k-8tёGԗc9b zkLEP&]d uWeZ#IPj}C?Lg+)"p5u#Z/N^sE'(-Nf䠹]kjD["quT`FCr؆2'45x`0KO2t# )mʣ#>O$o?Қ@ߝZAAbk<^_dX6`S^-&1yZyv*cʜ;kx儝?fL~T@YΈ+5jnJDw=do+Ղ„ElBoncj\0h 羚"ŧid|{Pda+4f\oDYhJxJadDVF+ 7t1 &4˛6bgʦo?!G#ɒO4|ɆF2g汦P-5Z3הa hc<y\_ l*BCCNuq\](|E @dWbTb<\~H"#.}!E/tWS.=,4NXۿf(*ofj|t UA͚2۞Lԍ<ʡdYcvlx"R?u6׹tmgBzJLPf)8?p fċe$v{2`vjm*`IBW Sʙ ~tp##Q c Vwt`eh[>oqtE%0)!FK׍1䖧~5Q*OHu/Qq{cUFwNWǒz.(mx6I,OUG47'XTDa<?XxEGU6ak:nUƾS!gYZd218fe2eac6b56af91d3668f069b5e453d9c25f4665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 8e753d6d7b3a7e7a36c26f3fd0ccf15f88686c6c 24d29f4e123102232566bdf78ceb7ed11a23afa65d240361bb37abaa9d43d40507aea0f374bea6f0 - Relation_Algebra