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 \- T\ ]S]Relation_Algebra:threads=4elapsed=21.888cpu=65.548gc=2.272factor=2.997zXZִF! "Sa]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8UֳPH{3k d[?q/;WN|V/?X} 'c#so+,Xb`|30|yP:4nj8fMYVΥ-sK%ɇ챺4G; Whe@{"}d^6cn?R 052tiS˥2SREEx**53!sǍKCK۾zKl+^T/x`K>icrm_2w7_!҆Ҋnw4Y:l 7Nvbʏf݈>|p$Z~m ^ vaqߺM °e,mBvJaa̍ƝKPO B 8#\,P9ə&.6OP0݄eGsQLCB^`a CPiǶ4Ab 8!k# XF7Jff%ݸAe@ӑGgH!MlԤ*]B"9Es|4Y!5/^ ]#o}pAj̵~%k+V))F)1kE:{/[YeFU@=q]rEh{N׉d=G0[N$\lM?O֝m![ wIP#n(1~B!ҕ3q]nϠl$-@` ;LJ "YBۘIu40NAcz#٨+6hԤj5i{mptXrZ+}=ux@1RqkeDh ;gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%'5?eǢIA@Í677+SL)2 +.sV O[QOl`Bi=jjV h׿yX+o5n ~ZDat=λv4? ̡wMܢ=׸)TQUgYZ7zXZִF! v]ŗXi%ES3f WhCKiӏ ݔ*r eP& Q6I[ Ӯ)I 2#]_D:h^骫_KpKa/EY]⥭Omg˔6̤z2#f=˴PeI<~#tߟa,+SmioP-\'e}9тWC$aHuҷ'="zL wԑu)c$b;gkUT=dx [U6_dX5{Ǥ8ȭ a)A_S/ /ΐyIp5Wj7{-#PFb.9 ߢd0#+t0#鏲ha:[JCzR]Y v^^ t48%}*m AoL : qt-a歙k6!2& 0UFK_*Kc#w+œ1"iMS$@rqc~gGAzJs"Hy^4p ʃ}Gre$Ч`;O90MZxbaLxTFI y媌"ō#DMZds #_R !ݿ Sloى1N@q o3MJ^s1>WjDϵ ?Mgq_FC%?I Hcv fH90]>8רͫM?夤7!g.k D4؅!L11| `KC؁G7DěXxj-"> _|-C2z&noػ.N̸/ե8TgXO"o๩P1wbv%|o G+A|U1%r rIYN+uk`8D'= v4Hh`P!mV \r0?4\s.PWnes+?%T2mQ5%rR:Rt~y{+O(dP f)cӐf? Vq5ԁdRw1Q,8RN.~|P("N7]hGJ$,b;QĉAPmѹjTB[-t#\T"ʃ>uY琝&KJiNcOAѷ 'z]PtV*C o[Un,#$=OuVe+e4|Ax?kHS4+X3l|1naHg]ۚd3t5" TYja~* s&\J7E[(Ǵskz9 ' sp,-hC.D*XJT)\x,ܾ_nf,欍vϯJςh9IOP%  BtiԌuӟx!NLG 2Yh\L3CNIޛu/ JR)5]}l1( ǚPIgYZb7985d9efd2bfd8beca98ab8938d2628a2dfe9d276b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 eceb96f25f951fcb080d5ed4a865d467b7a66839 456530952ddcceb58c189137c489e6e85cb268215420ce69705c3f37a49c0e469002c3abf8d860e0 - Relation_Algebra