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 B% <$ ]/ Generic_Join:threads=4elapsed=18.209cpu=64.796gc=1.900factor=3.567zXZִF! 0F]ŗXf[&ID+]kce Rm+v$)z)f ij Hr߻1M,`U1 :ç?\9f#:3WOXSm"=^tkbh+_uP\b_APl&#USe!LTLQl;<;لDj0bPG2ݵaECUDĽ_ƻ$\4JR8o4Y뱣2[Jwn"mkcBZR̻edu;=U7Ah;!v2Nݠ/hT>oSVѪ5hfѕ;nrZ'u8ܯANYjj)kU>_"U}73˧@]D>79ޘyqńH4gJ+"v;! vKTuH\"ly}"P@gp{/9( }+;_;qz1¹4 ~ZY? Nr(I {LEN( gї@D@Rh0a n.].bP|92‡]ŗXiɟ7^aόu&XL{qd3+,JQQghÌ MGy"m*&-r>XF| Mj0?G 3V(JՂHoˇ'} 6XO&9gYZ7zXZִF! ~]ŗXi%G̉Sb|m\Ø_U=?$!wy)|ޯASC_g5Qs{Q.olٱ>%3\(@#tS hc]H Y6wqR4T5wE%L3wp\^=?جӭuH$sُK>1 8WCl0drf`dEqfC;g~۫ߘꂳtaGL}ԚD|lJ*|5*>֝ m` No88P #^)`@vfL%ۙxBuEÝVw:ɪ,̖Wқޓ=߿RuW|46pfD ditl+\Hn wB*H^}s(2X3)Ń#E|$V T x1eJlFKbfMiұPP,͒0h$ikWp f9utİFkjM\.~`"gZ[i7b^e\||G$naͱ< 9A\ S(P<0N݂%)' f7} .e=3qax5 YNrw/J RRm%0}ZV ŝ By.r+;궶rJCA㪔jdRnEfmxB|JfZy  CyΗ{%a32d>2!UK?~pAtHBF\)4JbW•N,٦+(.)l$2a]0o̡Lؙ&㓰zpGH v2b,bH~~$"g ohߚ%SmA p:{$iO+I7aqQlYchQJ ج܇Yoa bx#(n!K,Qƶ$dwQQ ʙ`6 rї pPtnI7 $]*ڦ%Dr8Az-LQ]`Iy ]=d2wu!d0,?Il>eGɗ .!:x5Kϐ-zc*>\ :Z}|4G;(l4Ԙ|#Ljg_ pWI>Jc[[$.KU*WdI#^%F_ߪpSXlg*[c'9CY=U_@a$n#k7C9f@Y([.6X:+S=eFXWνGj ,. rI. W$ĺVI#WPς13ܯ gLOAC)|10˒0Tz2EaU gàt~-E{Zv)Ѩ)+gr}h(ăb/ֱYa@ XQz0xKC*uISiWn܈#ϫ5|Ui&eq`ӕ /.DIVьnD)phI3f2T;h|a!6jMAȽV`7H@ :;S5hSXثˀ¨}PRң Ycɶ9]N40 m`8)8i/*:ku M&?Tu.M|f{Jo!xˍő>>vŖ}C_ޖ ogo! Q;~Wz A&Cp+5l岓|K}KE}Uڙ]>y9n Oq Nsb]w<{Gjf_:3W$k?}\,"ԍ?¼TmG:5.[bHau i1t Gqb4oSK%oRo#~[+, iK<zEw[΍<,ӭJ~:JnNFE])ߝ,F6_e\F<9tm8~犆V &mu\&؋kdu'EkL(W&}ŚR},fn9 #3)zb7{5liu+~fo{I>%gYZ9a0ce2a7b01f17e5f6b200233bbb62fcc550b1d678a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 % Generic_Join