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 1 ,D ]% Stream_Fusion_Code:threads=4elapsed=12.176cpu=36.940gc=1.192factor=3.037zXZִF! %+N]ŗXf[&R g0Fw[e0Ozt=3 az E0YIYLf,%cvMZ5W-hxJʛ񲲂5K!z>_s &cҲ=Io+8dha(Yeۆ XHDO䂠)5B)lc,t+>KDK~1H$FL82ws׌V/E$<Ҷɮ9Xyc5P;GELR\rZH\U~eY7#6Ro| $X+8 P|-M4tcwEbx&"çw :_|5ak /UWZUI8c\BG^G/[˗ Uq4A/≸ž|1dC/Τ@fycnBv*Bl&+Xh:~*0%t ̽Dă~c_H܃_kbY:A>ͻ bǓG?KׇS|FXW-=G׉2tӷÿ}4=qb&1܏#_J$ߵǏ Vm lG^48u١q#sar͢p[46ֽDiX+- 2>z8I|33$ c I>u೸ ^3q mV{EfF5]SYqnUܪپUg= @LNX);ܷT\\ΈyDLvbUp^F[4` ;\J2zgYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+ہODعSвUwJ=:|N\22YTy#( `˭uЁ[ʄH6=_Pr7Aݕs01PqgYZ7zXZִF! []ŗXi%G> BGX )u}dc u46ᅮ̔0$,|VXR~\7_őbMU@тY8˕:1M_z3y|y8@vmy'Lo8@A&jqvv?j/Qk`bws,t@cwqy$c5qujd՝zg6Pѽl[j./3Ck ϴ+m}NG7S[;/C!gI̔UUI$b{/1) 8 GBEiL<=ycƁ^?th}3`/PCFE`CHBEB ]c HxBQ`$OrCrqi+SlUT̞G JY$+YEMEv+/;Z~$-M !=meZ]쪁e&Wܩ1ȷq̸On1J֣{ANg ^ѓaXY7Jk9R"/09Jz>z-x6 8ϻ|[b S"aJI.X