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 __ dl| ]]]ZF:threads=6elapsed=12.373cpu=46.868gc=3.312factor=3.797zXZִF! Cj]ŗXf1-) enȈA XR„QQe?Og:'a: u̪sByU9'DyݥRNK三iyC3<1,.1(C[,gYZ7zXZִF! .]ŗXiɟ 1FE`空1"!O\C@oEXvcU4Eg>qnҝf=Oe,F=( 'Fz(e.!`$L4 Q= i!@W! ˼5nSR,ںkǺ4&wܪARhH}MCy{A&`? ZP3E4c*HCfvȍ8<ߠwUnLU.LBR tXv"]`OF>_0/3n4rf]\ZZ 24G<{֑! sGK6^={u{v\>]]|Zvꬋ A Z_aU%& NI?-A`8Qq'61Ō;Um 9CA2}l) L7u䍽jQ5"`_"X&06tFjs[ǽ0X ؤlQ47GA:&LwlJxܹQ3H" hm)gYZ7zXZִF! Fw]ŗXi%G/ha\EBVsrVYn"?OAtL7S& YՖtA)V@P_|ܼ &8Ŏ?$G\D_OI]kZ}kWB0(ǭw˧ kXha6ݺ,@ _jtZcs|i)LfD8AnJ=Tr;JDNb?0M`7B*rNUXV+ A{A۬H`B.ڵ8d}-X+'X#X'ˮ]0z̳D{C0^DqKCw 5F|(ri) 9 s-g"AK"ho >}^yh_tt#!=$ &7~ᜂ/.EwGг(bƔ ]k%,!q|ML~KKG'GLw (4 õ)g!WB7l+wlzhG-[ 7R{}7{bQjr[N(^/sL]kn)g0_5Y_&rNxn/KpT–=EzreWnnbY/wy@VZ<@QPSʫVZ8Moh6%+l9V/U׋>bV ɫs3<$tb\4u#_$1?$ՄҦK\/?"g  }C_5hσg c! mL<Kp?*W^HN\4M޷͠Q~ WCP1ӑ[Sp=ż`:/C c$f2'?^1EŸj8$W=')a d3YÒX3TTCmPitJj&Wϝ1ͪϯsOͣVz{: X>TıU5w 1dZ po iHBӳߩLpae0C:}:@;B(Ijd#=]g1qL{#=񃻦"#H4N;ϭ&!vsxL .e%n@Pl\8LB"\R [cB%ӣ&DW+ݒo%d mI>k+3D%I ߗ