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 QQ,9 ,| ]/ PSemigroupsConvolution:threads=2elapsed=20.399cpu=38.572gc=1.920factor=1.897zXZִF! " ]ŗXf1-/6vR[2| Mꖯ)KqPfڪűJ:7gaȊ^YJ39sbZS#b2Zg\g LQ~fCAX6q@͎ xF-9$O#J=L>={ |hmײ7-zʊsN@΃Й#A1L)p@KJLty )baҧsa $qCû 6:qհS+&Qi'$3Zf]{Il_>t :WTqCdD_&Wv72Y_j ٞZϰx\/+J* +J\PKPI2#Ǒւ!'=t BөөX@MZ-b#W#/lT({0ƝIN*2{^RDR7Gev,שQ% ;W}gO <,yo`C|xX A::s!t+b~x_?} \Y$>. \٠vj v ~j.4}o(%Z uf܊&4xhb"mT6|Y= lQy˛hCBL _W5I(7:j=j.(Fw֯70'3sNf w]ZIuD67~*nchְ',alYWGZ'6Ž(m'ptN gYZ7zXZִF! ql6]ŗXi%>g}]IS^ τU攋8E%+{#,q4ҽ&PLGAy 3%DԻm;!1nO݅O D/+o 8zsx)I6#jM~;E|0@lHhRܴuڿDKHtYݣ$Z{~9h#EL::v=c\cN i0{4+߳H(\;E_(+%%<)vGYS M)F;<7_zNhsYt< z2kYn_sL;6_"~j`^w׭6Yf񼦎wzPp]"a`\ -G\L*óӗZ_vsºJ,UmE br”x슻JtW.gn;Itv-6|dH QU /}T`с*S_^(ϧ@848UpC. \$}?.qR/+|@:+!r&)lяsM&膃Z%\kCx@X:i1GX [чa0xeS[2+Lo=RygO 7 $6QPo]~LRv| + !/x:6dȁJ?5G ^8 Պ~V Usկ/^q jA ??@pҵ(p1>R5\7q(8f2FhÓWB1KhP| @q39+@ٽnIX'JCW>QF}`tC#\dti1TP{,o;ޱ.e?T.оTn`5#O&prE?:r]1eUbA]xEQBB<49Zul{hhnIKT $#ap)gc,h3'ý&|\sQ{!xlCGےqPɤGa:V?gR8U 8/i [<*Q k~Pp:qS,(Λɰ]&ǿοoY.בkF&|ou3|U9i4!*+KG Ǐw 6xgko,!쀙 UN5ođ1P?Q ZhE[s (;αgYZb20e81668a613c11848270050ebbac5bb28d009c767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 9 PSemigroupsConvolution