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 d- lT ]S]Relation_Algebra:threads=4elapsed=21.198cpu=66.624gc=2.588factor=3.147zXZִF! -]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8U kLpikڱxw1g15Z#[?]>w/ ~J~AZD(Gb'Q넝cJѰʐ"l[03AP]PQŢVTOsa1Z+ C]}n;c: kH^O3F?7 "e:;~پ`b6jBb ObjGPK=W# oզS4Ss$*yfŵ5QVNK/ǘ^vخ4HC~!^a4Rx$w]Z &Ӧi( ! t SOu:^n6"c͇|^6(ݰғ9NfE]Lba/6\Ka".B[sI$X^&Tgjjiq>՟pIKű%LȦ'/BL% D;Ba!Zd'24-;c(k$ivmIXPό~S$w,kZCϜE=c5ㅍcP4.` ſL2UR;D j}C_OMjEqU$yVOR^(oX/Ww4fԮ* gMhiJ7hxr,|M ,ځA:FWE5gYZ7zXZִF! ;]ŗXi%L RP7vVx ԽtXdcGI6H٠/ʘ҈:[N|3oT#;ES$LP ʠBKV!*ͽ`zؽAَ_3/˧r-Ob[3ܦ?#`iSkSd2 #2<-S@v& )583kCJ, -U/#Bxnc %Ϻ'u6 8,4WZuzrU1xFx'z;SsXFP+)G\(׵ DRµFLrW86ٕȱpKLQ/E$WxвF"3⺦FX9-juL,DOPsiUўqS;0jvCu/w RtlvO=ELx}ȈT՟[gv at)^C&H%7^NsasXxS]Jf!6b^bHYZ>)l 22,5\ T\C1P{ePXyKWpސdfyD29jWx|Aڳ;3 O33)# 2ЈBlb~G@7G#S>G{K'9M+mͬ,+tɁKV0B Ц/ e#EX 5%gZRK,4 ǁ{jyhm@bbU.5+UW2@b!HoZ0).E !F,O&yG)׋Iu_LUйHX$EC= \;U]Eąjt ONM]_VWd8T(BF\U[&.{KHm\VbIrA k:yjl[yWRD1 =Gj\o#YCj-f <+:r5IL7XΈ1X&mNPj BldUWe+1`AH+H%sD|t ̞\NX8Ux7e{&^W$7:JsBa4&W5LC. 311w[n4לc&G[ǡ,TPv]k@W IɲŘ+͟N  ӓ]3tCRf>^?4'7r{hrjraNRIi),Mft>k8BU}*|0ݜݜȕƚuy @h?)즞ec}L_n3l'4=0}n{{`̯I_'~kޫ0+Tڹn(_=Z H va)#tyEeٜy;9DZ`{9x"1R`,%}^}LBLƄ:DdtwJz ؖJcM=ȵ8c^“\iS_ Gto@4&+`Awn 0q,VM("y1ʡs+0GiY3ObfމDNb%x?UaB͔'3/#]NikUǠ(:Ѕw#Xg1 t@d^CtƬЎN6gYZ596c52164d692fec1b5677374ea3961315330e41d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 0b9c642baf939d258dfd45d0549daedc3df6d63e f2ec9f25db4526777609edee75f7497a593423bec04de43f2a80996dbe9a506e7d98dd1c703fe927 - Relation_Algebra