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 h9 ,| ]/ PSemigroupsConvolution:threads=4elapsed=21.028cpu=51.624gc=1.736factor=2.467zXZִF! &~]ŗXf[&;yV2}wӨ]wk{)\'i{އk0GØ]bI?ŔRA豖_-.$E$p V fF3 Zfk@,L?ΔeD 'g|eғ#0CKwHE3DHL]&Kņ4GD+C%\".OǪH bj /IOn[B~%.1d]ru9N5$ێf1KFLOb^DBl -A^U14,>5[ ,1K\n QEwT`T\<#JUj(#Pۍ~*t\B'vMgN7@Mit/70i'eiLDek=ʝ'ן F2LA13kPY#cJR@ųsJ> F9%_WdڵGpv`jrU{j,g1M/XYD@>CLET-hk-}nJf> 2̥<|Nv>75!+W~Uo̯9h:z d𹣰 >Ƞ~ۣ -'1CBKb/TrBu(Ukkj@\l 's8#-j'Eʢ%u);LCH>hW~6tz, _73 y%0C:nRgάt| jڇ~+iEIVo |a,56p+0ݯ~ iQY4n}58g9߫`^oggU)9gÅ. ib]ZStLQgYZ7zXZִF! 8]ŗXiɟ\?^3 40)2XՇNIC& P19 5,?^"R =WrZ]}9xCɧg7E:]g} NKYP>GCġh&! /5#&Jf'IK3B(@-uq y,IhCQ|CB  [G/[K4@)hEW8'"Y zBFio2(5(8wZG!V >kNKf"OH=2\`죀IZm2]?.}n=T1Jr!3Y)m̹ZKCV.1 GFV' BSVP+$c@YMnUkriLb"p>/= bTgEz`_sza7O\{nup6kilB@I :L݇LR2k"J3_>ɒ U-L]Yᗂ& g"Y`T%5'sU\[5Z(ZY㗽u*9V 4u;҂zp~f}^\S+zp XU}1s۞!űpA 4Qwt6[;<29tA,yp}.'dick=?1%Q*KO:Voto/9pdSq/ bb~_2v?45WM[ gȨh:QM@kߟ%xWX>\7B(fOjOXknC܇ @!3Of*džG TЛ{/Nbq,n o-IŌo:T^=D-/˵&˵6.X׃)O}2h6M K[;OS¢0\sNȑUଁtrP'F 7*4Fi iH-krKU6# P!2Bh)!Sh:NY^`[)Ku0 <~E[}RS6w_ҿ[3H[4LZ|#f,:QrCW6%zw ҞMPVTDQ/M*UBL$_PoAJ*24=s͒a_*~yrq~ Bv&j:!K>tl_Cߣ@j6!JL\'QvC $BT]#[zzX$I r~MSu^@udD=CM~֬~@׮tUMyHGrrU'tD!f*yE {A*Bg\s:m@(Ӻ* xԦo x~xYq~G&܎ctl}30&vE`\!yn ΰ޲ ;>Vfzm`N"yw]v N>Dt u8a4`KgΩSP3@--(^ElI9No1ӢjB8l'K(h9aZEcuUEPExL%~.r)NnaP_vMmX}Lt}Ƨ ncbCV uNNQ_pn`ŧ9 gkBG ñgYZ1e9b0330d60adc8cebfeb703dbad5df4073de68c4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 9 PSemigroupsConvolution