SQLite format 3@ .  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 X9 t,t ]/ PSemigroupsConvolution:threads=4elapsed=20.251cpu=51.204gc=1.980factor=2.537zXZִF! (]ŗXf[&;yV2}wӨ]wk{)\'i{އk0G_N+s}!D]VS@پKޭjf_tHΨ0*;;Pr5EL>Nĺq=TG4<2yݗ~Tؽ|ɉcc q[KfT5>Y+ZЯ6'+"gBg4sNyo)IG8 DHYTJvPxڠĕ I:R=ʯ3*bK$4Uyg%~`#В7 '$P\+{ϘhHݏLJ {C}ɚ>\p4R\-Uza%;E+S$]1J#zͷuQBs kaN]Zvocx&jIS ~OCGU3BhtԷz7P*3~@ÏSƪnjz+JJ1;|mW0P| -o Oۜ=ꎿfc[ pl_DΥLqP}qbJTt-NwL5{C*1ϑ;( eF=F_y^lWA2BD3:柘i ;O~*7%۟֊Il+mF&_Q&S/ϔB:.*:crj K(WZ!A~ЇVREԾ ֎{sHݳ1OhT~a2dXЛ\YJV_IsN&є*|/=ʡ+?~X5ous>j%l'w|ݛ6#Jo@la=Ȃjz#qT_FT4h瘭l)'YQ,]gYZ7zXZִF! 7]ŗXiɟ\?^3 40)2XՇNIC& PU': -_R$uYAL#aWX&;?a[J6+old=aD?@=>i`MZ|j$"?['qP$Eo_/ؐ&W@a1 %gYZ7zXZִF! ^4]ŗXi%B O7G;=xt^!,tIѮXvh%n"sd?C[]6AdBxP=v֊T/]Wr# ltUV+ =N2 ,0œ`Eev3ƮZH\ʔi,@s+Ko[QP+iPllA?rUj{ed(5K!87lKon;U?I6"*zy\#j@,N_~hEBݪ]/|"gӕ_-R| ҟV| 3 %בZ78B@tI0jpͦNg4[)}t$}^X[ %pR>:q3}4Rۨ >1]4suzwM'#O߬2[H[bP<h>:/sWߎZQW 5#qJU+G('h5|$gEz@?*kMEb?ca0>j'UT;_^|(DmG L+e[=3T2Y/ 6ި34;mw%Y`äD>ge0E¼<Br"!&gэB7xOD[)L>v/Ɂe6~逻X%d k>*z:?sfKh h唢Zٴ$9 ?(政10vRnryC2If~9"-\^ 07i &U=w,fI`U"ZBhQ ,9p wd^*ќZ&Tn֠ .f ζ*ǃINNtn5bd 1'n[=$7mɕ ڨ71Tߕ/!xM_MJn G1lBfihr_N qG= 4߈($Oyc6Ɖ0M1} `&k>ꂤadkɶY[}$=,m[dREѢuqSFYXΒ{rP =`|뺊lH^&H+(`RCF f8jo/LF7* [^ THT6^}mGY%SS0瑃2!LA<ǧ;ڲ*{#n垏7t0vL*2w|;24quiP]]|bRD6ڷ֌ڑVn<0.s'd QzLSx2uk^͜>^nr&,o%`ܻy9DLi_N⎎IQꍯzAl 3ZAѭ'ث2oeom8&*; Ղ;xZ>Oa?IW;{ 8o7VhZYg:+󬬵B6=F}"vCtCàkV qu _Eu7HQmq;YkWC)ez#@$;LzQjIC`b j!*EfdZDVw)Rvl?W-\2DqZ)Hβ+(Sӥ17'< uY1g{EFGV]܃#Rǜy"5O'/Plr7ˁ_qk|!Csj ]\!/#̣@/Oq1nWAo< $XE|m+:y^#{'N?xsHwcp8r5rcYEGb[}S^|6 #h2XQBGK,a8فzUG7Fš0f" :,ňXskgnZa1N\ѱ+ d-%raBfn(LqpPO@ߖPgYZ8404296d4ab98bad6a6c3bd2dd293385dc15eae5c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a 9 PSemigroupsConvolution