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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info k;L4 ]]Stone_Relation_Algebras:threads=2elapsed=56.147cpu=102.956gc=4.308factor=1.837zXZ ִF ! C]] ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQTGKXdRˆ d00kӑ?ɾvH?} iB5S_0jn S@̎`;6qf"ve .|) ,u^Ie O+B*_.U-OG*bQvBE8jw9vM~dz7M]ecensgmRj`۪z)15(MUQ,&zȕ&ЍkKCFNU&2UN( uOfm!aWY×tꟃMnБl"%jՊ[Ѭ_w(6xLi3S *ɣOBN&2oꦅ>4_8ThkvJ~ucRiJy:N^?,91A'i6~ZC 5i<-4ΖJN5;.}QnSTl`"}[A_Yb{$o9Y+45 U]m`[̾\!OC4D6 I%=TldlȝH_(kYz;q,n4ݸPSG4?zT*6Le= M۰mC5B,?K^VO`< _LjvEcfC|B8@p./#75Z^H#WCՁ'Pl9\kHN(ŸcV{I&XMAՋ٨/Ee'4@~jmZqf~b;xXF@2HFUZCQQ{oU <tj.mi Ͷ@^NBVI֖4LyaF~W>g8?3;#[xre(*>lf,wkeٴ3*$i~rYm|]UȏD/ti,Fh H#qPZ\'`~``75mh_,% ZAGLlL^/vҳ֥5D*lq]"-#XhU=0^X.k+dlAHE% 'JH o! )Ɲ5(q l,9 d]g YZ7zXZ ִF ! 4 ] ŗXiɟ3:WX2V^M '7xwB.]Y1(Z9X#ڑi1 ; Stone_Relation_Algebras i0/Ēm> 0x,=ymZjF"?+}d`VYOs z}B| Vv`D2-XXPLju+p;]zGZ:7O1F [>ގ;XR pD'1 EJyg YZ7zXZ ִF ! A] ŗXi%>g}3xv/2ojF_"i9S5bKܪn1tHݟz0`ÁuRo Jk( +(-fef6]tQC'Bg)Y}tl0Cu O:|fdr&0=̐"Ssv