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 ,- \\ ]S]Relation_Algebra:threads=4elapsed=20.911cpu=67.152gc=2.604factor=3.217zXZִF! #,g]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8U mh6I0ěZzُ"5:RX{HU)**s_7qq}g}z=ĵX7fpV9L) x)בvȢ-~󯬪dW„zOnQfZ V<>ޑhnVNOU͍M8:G46DN` gA0Ð CǚwKؒ=~ym*EmDr[ꖮJ:8J)%L)lb%"Skc*,kG"#jMxî}I 6gx~ 6p\0Xlr"Rz#lҡ?Hػ<zNr)=@sLz@F^G"gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%֡[9Lrj*#iLh]G=;fb )u54lb{VST!wE8>ޓhNb!9Jz+9L*Y&J)@;wHOzm6*J&z sy > Y#ηvwPтטogNj&w#pӱgYZ7zXZִF! ]ŗXi%Ebc[ rq4,A{ iYW{qG ӧKLb>O\gN& ~c VZʌn4d!C6+ z!`~^0n~fE LX@ChTBKmX_j8Ҡ苕u۰HUvi:IVUw52òُdV)k\J}B4#cm LTM-׊x"dp:`3փWFr&X&jNOMs9{~}(=>MQC%{ɰo|mV&T3Y&!4֚? :a GeրClLI_Bs6À˗9Y|P'3h |~<$ýX|PpTVe12$UVR0I1(wC+¯f$)iC $p»f=ý%&H*" $&čuƥFu;DńYij#LF;sWR`Ub'1Aŭ0BMnv*q0Ocf]8ZaڀD9駙 Ȑթzf K5;EpxY4m"fxya.yB-e֚ IG1f;Z)R?O:d]g7o(b j6GG`s{(ВV,A  8 iO+U4}ld>P+nqIAMԼDY̊X;5?[u tsѐD4| Fa_A5D &(AJI,W_PxG>^X çwt0= `mJu/+,XԈbl.e]Pw~:ciyNp-^0[gxK_ X#[?Dpw3וe1Xdq7p9DVpu3bI<ڌ͵ @SD*{(ODFqJڗOtPP'TKMWjgk9}}<˥W La鍹ǥIWhbϥ۷KytRpOԬ,,j<\( z/ia[LgYZe7022c6e3c188a17d3b084a3bbf7e8dfe2da900aeb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 2f732709a157935127ea6979a79cd0ba51778e0e 8cc4919033af835a19929242aaea87ba8987b3b01e3ab3bc2498e89d7579e9594bc4a1cce87892a0 - Relation_Algebra