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   DD< ]/ BNF_CC:threads=4elapsed=13.197cpu=43.824gc=2.788factor=3.327zXZִF! #]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq"ܑ72ΙuǩG/4lGl󐩝n,~PcVPq^錒7&R0j|`LtP7k`95J%9hh^ BmWhkmjspd'S>mɅA##0._jX fI,u'FfY㡚pR5JgE|V(Nr#fZS2)pdr}ͬ 2iFlBeB hkΎW>6/8"F)4%4,ZS%?҂[lEL< 4Y$|NW 7ISQ7Y%cYyp'-'ch@xSO7{DVv(`}J&n$(0Ab~бf߳LtNCOkisy6/XC{</s.L~]݉ĔۥpYc83@4MokUy`oL =xĔ_vhsR,M3@9{T1 hM o! C:%o:Ճ@tZD3uxg@eDQE>+Y^$BBu1wFoqa,a .DTo *~ntHkaKoen$_gYZ7zXZִF! ]ŗXiɟ74p1=MHzڰDbnheڶϢ"HƮ|(?5.g9fl M\E>ubNV#X6tMvf{rW2yo s @dB\:\VOH 7ꠉi{Xu}] an}ޝΜܟeG{\kh&vW8A YCOw)XS+ZQ^Zd l{~buBрc슟|| xԀ2;2=yu !7sUd(7v,43 4]=ahOs /է?b cױ(H+}Fgb!zP?pG,+R8Eg;Eǝp`w>w.}y$ LF*U#xD 6W[É5Fӳ6H&t34 a3SDO QZJWMKeiZͼ`'F@gKuuN,]g&L6U/wf7Ѥ7R+l'`}zЫ⮈o NI +7%{ngK\Y튚?xM@NЦ:VudHB*#ۈni'է`ۍEbWV=dAbg697M/'OE"dFo"Nzl#T(35Sd2q̘yJ랣ʒZ6?BU\y4}¾z~H W1s8}^?gO~wGLFD,-^ DȾ+ɣ1q?r UVG{V$3 t]J7pƏux[B0IR)*UGB>Fݒ/={b"@kvst7|ȬpmKM;/gxٟ 4QJ Qxw1'`(Ba}c~ƿ[qeYO֘RmH;/ SgkSBQRGwj/ɺQˤ~gc. Tc(|_q;JAe}ľ(?O JcYڝyVIb)G3!sVW(Z"Z spi8I3ߩ,0r/(,:F^z&UtZ2Ӎ~V7{̙܆, o8~\57EO0Nځ,'Nw1.`W N..7*aYy$;Q7N0O;3̒fZ); ~ -eEɎ V`{H"^8nví}C88}VbP*YHpzY7Y niaM[.\.SMҀQ sF eV6& x5|Va"|cj1>Ўw˃q ,EfH9y_.i , /.y7~44udV̬;ҝ.sʟ׺Q|\{1 ;gi~]՞dTjOaYVavbښXЬ\xޫ/ (WpJ hBLgYZb2da267baced1f1b39aeb6aea9ded3787a847c691795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89   BNF_CC