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 49 t,, ]/ PSemigroupsConvolution:threads=4elapsed=23.342cpu=53.696gc=1.820factor=2.307zXZִF! &cs]ŗXf[&;yV2}wӨ]wk{)\'i{އk0GØ]bI?ŔRA豖?FAlG#7xxǢXgqmrStoX}RLw?x9HoӃloqN>;CT&iI*/L40m/K:7`cW5kCΕ*%|!hN> :3Ţ3x?i,HAz~%Rxްyx.^L6LZK%/С(;X|FGuώl(ԟ_gyAR) SVnYih;UK/6 _Eiٍ*rng}VxL54? WT$W n:7~оi`Eb Ffk>ڵ*sx0L gYZ7zXZִF! 8]ŗXiɟ\?^3 40)2XՇNIC& Pe5 '3]g72W%(FB2|-6 7VPpDrSD∬0Dv++x@c/BY:JH hʉ`#8ZF>L`RS K33U!]̓J gYZ7zXZִF! KO]ŗXi%Eb⬗u<S.eH5d˂$RXVec53n q% Hr7[MWy9( 1 ~W TwdF&0Eݮ010[%U$Yi+2(̶`U=gFTϞM6{npx(^wݶ6\Ĵw[niETσWN0"ۘ#6J㓋Y%j ymJ;L`` ΅ces\2˰Yt @AL }G(wҾvr=Vi-M}bgړ*bru`lK:ak&FgӜou7W`|tcSsHr[Km2쵚3?dV/Ddr ١x3SrYy"! q^7鍞h]w]nٖU"vV'vph~p(aMȏuZV!0\3'!4<G'?9=AS&D`"->AןiH΍u DS78y=%$P*2\` qe5'VU׈  sb/q-j]#!C\"6auMwD8?Ȁ*˂0S޿x}iPKmGwƝW׼kneK LZZ(i]Jo^:g/S[.Rzo^h7h' rg =/2nd`{ mYK*q="CUV0-d0 lbkv~`3SONnyS 0/ Nu%EhMjڞS|;KmWw;K6C޿e!Py{7CGC3UF +?/bRٞ옝jfeM gVT-j'akkV-˕l P/Y쬋_*m.UyD%L7?*eRRCBWw >!=$KcySW=|BGHE]cB8^46?+'-"tOyikx5S'٧m {\8NyU=(PqЪ?V'rY}Z\, An;&"uJ_YKOߪ̢Myc?E+Hk.moYvHn2MAex`'S@myKLF̲\AgYZcc916118105ab3563370be24316e0c791703f2ca87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 9 PSemigroupsConvolution