SQLite format 3@ .;  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 l- Tt ]S]Relation_Algebra:threads=4elapsed=17.706cpu=55.084gc=2.212factor=3.117zXZִF! >]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8Ut V'wVjg M= \u .{K$o{0.WLghpQTXVJr1ϸJE4WTH΂m4O;$ԓ*їQq\ $lrBKΎՎD&/֐U뉄ha>$xw1`M? Gハ֦! 7MoEhE>58u(xAW&`|İ&q]tK%6-e6VyUK;o OPzHD^Z!`Nxu9^E?m6euFEm>:Yw8Tϓ+NG_T*]ƣjvO`a.M!vNۄK`?T &E&^&9Â&#hD.,Ayoٽiٍ -:ΒQ"d200/vziĸc/1<6P{`P]XPQk6MZ"o""C/-5S7Y9b:qtX2i܈9VXZtR}4j*!ױF:¶E, 2^!͹G]p2<Ŭn"g3$; ^H6r0b]QacC4Elĭ.kڠ b۔6T$ .M;J@#%^R8%t.e{ ãZwL||l՘?)A1kgYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%։B N&m8=3^U &1X5jX ofzyRl.bf:u\#M+D"N$`Ӛ4 QP  v iB+̥4axbn(jԌ{u0nT{ J7D"T,xXP 4G&V]angYZ7zXZִF! x2]ŗXi%I oĞe r!ϘAD^ _i^ 8QŅb"}mW U^O.w!B.ǷD+io"Wf.جadR`7B]1: ) @!D-#)7(7׿d=<;PY_ǏlSW"9Dž fH.>5%MBq1ybc Ej S2 v:ɫ*هY"zL+ۓ=gRW&>V.e63q1_"/7ZgچieBxwFU x$)3)dաm i}FG ^ߎ(LUi1H7MA&}] pEԷr︍`T:"BXgE.-f QIl{R|}ѠLu*$VP'݃A ^6ڵ p4|nɟMWF$/⡶Ĥ<٣)pWdnq,F=P ·(²if 2\]XUʂvhG7Z5%_@>&Ĵ‡ V@^ixRI;ȇ XҀ"#P<)ǠnJm`0ߛ1".p/m.A34aF^`GnH7=%Q[J"bQݎkmꑛ"m]?ُPzg(Ӵ0&#IS}ƪ (rnMaPs CsM.G&k*K@1 oUw^kVƟgU w܍x M!6[Q:j",nR7ĄL{Iws][a%;a2`&Mh7<][+Ww-Fo:Zd.+@Tm 20zW.:mttS6sJmgF+e1 e>{w+oJ{*Pz ]ʇ)c񅠭tQ5b*a99Y$)9{V=Xif @|/YlظSm`}s[[Ur0&#&5a9(]e9\ \A^xŠpl$ھ,wy"g82C]|G_;1UWau7/}UjMg~ԊeW.o^sxC) A,/I rT06C83iכܶUnXnc?:66\' kxcF6h?ugYZ80b29c87b6a0cfa54405bc28ec4617d93122cad45a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 c768feaf5051971a9b6cf376a47d06930d9d3a97 de0e0019d264dd91a7a8f6ae8006873ccbec1fa443de8750196dd69b19f9bd286d2f4e92a5555201 - Relation_Algebra