SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 II49 \T ]/ PSemigroupsConvolution:threads=2elapsed=20.012cpu=37.660gc=1.824factor=1.887zXZִF! !;&]ŗXf[&;yV2}wӨ]wk{)\'i{އk0H8-ɪV`|n4 p}Ђ(z?BN98ݷCPP&=1 Q,(͔14st].pXul3/$ c2ŰY=wAI8۷@A QI1 U/ӧ?RDQ#-WA>f4(܆^Fy&N9x n4&<Kiwm|֪e<3 SCB(BdF}6) ,+&]ܖ+)BG`:=3HpDF-82a!5S`7G6>XHs3WzF.35ϦnvfN^ו>=y;WOUѼ.<ox[L+E-wS wred/C? 86YfbwAr!A_⦶0/d!"_vr 5XO_::#{/DBN*ꙿZ{jRݻ[2G$JJ]9$eѬ'ʅ{`B0+MQC5uC݊>h-&\y+U1q@*L9읁F_#y))p-= N8 uُFy1s̡܅!Mc98l`YuI?:JO7('z|뱌Db/'gQ@M=K>C5)~62'BN64gYZ7zXZִF! 7]ŗXiɟ\?^3 40)2XՇNIC& PM)HQg4OI)|UUy&]ʓS%s*]o&-!.Z/t_#rT*'% $cFSB׫5$t2zldmDX'2Te1 9.Ҙ(SԠ1\-=L>-4Pj/gYZ7zXZִF! n"]ŗXi%>gOLEQe:? j6[Oطs jO arV!fIUУy?JոH*;JC Fk:qd4wHo!x^b?Ē$7+LJaq?CTGl$J ہ?A:^,hQҥ,>" ¿Xc6(w9j 5jua 8QҨ2!q(V1=Rf0`%~ZQD8>TlFvXMFQ49Ѵ7#K,g]'aw9"DZǜOUYOgzlVĿ\<}}Vw-')4&I`Lӓp÷xk|3 *=#0c_Lc*-1FyM|WXgr $X+`v4Օъ}uppw9Յ^)/4.y#l ~DY M=|nGUc@ǁ'pfo"uѾ> I>)1u٨!jOfh.?FK /wkG>H6wDLFyFygW&T.KW^U5=kHJf@1'nSډ2 !9Bs-Q]O9+]ԔčXQ}t {yAq3S #&̔cǔu`5 1[i 7");sGq]/gMJ>u7!:62@U`g[Lww }-oPYlMW/v%tcǤ#Q%ZgɯA`^ջkJh"|rxan10[: uvgYZ2eeb82626ffe46dec3e839679c17a1e0aac8a9a90779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 9 PSemigroupsConvolution