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 Z% L<$ ]/ Generic_Join:threads=4elapsed=18.497cpu=65.304gc=1.884factor=3.537zXZִF! 1#_]ŗXf[&ID+]kce Rm+v$)z)f ij ='|=lOΓ;|(QxV Eت`Dji_#?pVV;"J"&,Kkv#>#f5WKQKε@0=Z!؈%' yqɣOj?};Ԫ7ph6%`>$C鉨[[ zJ3(h kxg߭a *؅aq?׍Z84*a*"0-wEli(q[HD ]PK4&[n=D`-m"њGv)ٰu͓0,+ӏо~ + Kۓœw]6ҢPl:C +.ڈf &&k)ٱXy]/E%hI1Yy 0>(i68J'2PuFj,&뫚iaSS{^iWuZKuSIt͒þ؈.`e2$B5@w씸PSF-`v,v}?hd,iģt w[QێMned`i!, !9(blV"s0kL7Pb\:J >ƐVBFG{z9dO/)JҀ1{Moba 6/:f|![i bx1\o)nzIp߇ۖ3ɬRqsY$g"押UφCC Ǩu/AY7鳳'H3(Y7F9M*8ʔA;Q" Hm kd#kDvCD蹻c  PW;й&(}Ȟ"jOxzUbN!:#`5бTheCErƦ΍]wPEt%?LtlƀU\678RۢyeH`%#wqw>Kվ}eԽ2KZPlķ-#EVnQ3a* i[DK/ނ$"OhkT =xe6f[b*gYZ7zXZִF! >]ŗXiɟ7^aόu&XL{qd:YRh@3BdW`#F( ÁwV߷,uQ~Y2~a|FbNC+Wp't@Ek.UloWǫq$gYZ7zXZִF! ]ŗXi%Gc/U`1ԥ#KL} H+-8#`Dv02h_\nyA߀S<\GL4T|`) ޽U\]_=uZ.%MB"{ -}-~[ [o$]67P̩_A>޽nsYW8Z[aMzm^߳𽘌\ ~dW7dzznL!LaSHLjTkSljNڽrkh& jLyO4@tgq@ӭ-]8B[dF`V<5H@mOK޼4[¿|8. ed YF+p S5 ƲzN!R{b ! q`=P,NliPPƙ@b%!ElSW6Rd-~(%]-x ;,Kwm<[b(dssֽp=H{icXۛA$k(bpFDI,Rs5LLߔ&`)aҚ]4ɏsyi:&Zdk`Xpkk9*yk޲j]E)+oCJ7*M08td?o);O=|)7Z B6 dV ;rqTY*-VOtDex6(-1d,O\hDL;R<9Ǖ]_-)Ė% 9 !1<%ovm/g EEʪ mklEM<= =5=dYF >bmz'}fuQV*Y"ߎZj+:Hd9_ @X}i$ Wx?V>BvBKl\̼7)#9G܁<8!ܥtNґ`+Z =NqT@,S+m1D`HȬ-Uٱ1өzC^P\(qާOT{BHp(Wi.ǟԘĄ BqVXβd]$# $2-Wstg-p~wn K%_șC<oGg:Z +5 Nrtɂ2jߧ;waMZ_s\lTE>(Gs^]R'_yJC:4XDm yWKr8nQ{(NeRFr N@[] 2yX숍=pDh`,!jiO LNss6@߼iqDL`Y67y(ἯWm.9jtW)n߭Q7Rj{ܞy>Z;TKQy{]ϋ*Q& ZgXQx%ÿ $ǀX=ޱ-*d(8L]2:CP}LQ{Ź9ݎ lg <Uw&۲ΐ("9PT=VTiADP%}[v3zfjhLM>*޶Xa):J+Y8cQfz SBսh DH 7VPX~r7ĸ񤣝YlT0?ʛƓFjh5^sL S]霭X]$5L@"85nrHFK#Ak?6$:mʗGUAq% n ߐh?cm[v;f`Um&߲JGfqեdɺ'0\&Dd[Ѯ {HEe㾿X!]T9❸|}hJi?.'cX>e̠=|dRAD.Ac1Me|֫LP TN%6-ۆJ9KBPrSIp Fkp_9,X6u+&rjvbVJ2F4'EٽRrZ s $ϠϷ:V{ 4smJ"8?:]{W[u {IML5\7)5#AN&1qun,+lg}`߮'-&gYZ66ea2416b902ade6388e28d63fded476b6bcd99f1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 % Generic_Join