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 yy9 <, ]/ PSemigroupsConvolution:threads=4elapsed=18.629cpu=45.196gc=1.616factor=2.437zXZִF! %=W]ŗXf[&;yV2}wӨ]wk{)\'i{އk0GØ]bI?ŔRA豖>6\jl2]4p:OnwKR\1a Dns$gD 0uxH\@]cuG2QLѲ59C<')KK 3Mu`9%l{Ս(A,{y"[zi=\KRD$"MLQ'e RucgR"_=:zTЮ6pm3ps?S|>_&u~Y] fXh4GO@PNk{k[6io >co7ĊP$bd}vOWRL2sXuvBD6 I@ u[>n)8ZX M\4{qq%pwU&HȚ&ϴ!z>H}𙙟9)g=q{XhJu{_gYZ7zXZִF! 7]ŗXiɟ\?^3 40)2XՇNIC& PMD5Ӛ=Y(C x3VN'_UF_$L~K4<*:ʷ)|>nRW_e dr峸nAF%kCC < )棼Ko d1W`I╀I>[dWjygYZ7zXZִF! ]ŗXi%ES3HfdHs9t\؇U|faFę^F8 uYZ=Ė;&s:z5ynJ:P Iz%}  S?okJ~V=#4R)CCۛW3_iv:$ˉr e8j.Ҹvx?+9>ƚH1$ ^hǯ#u)G7_Iazv_ K,OÀۼkMno: -bO\p qX[Xّ85yCK?> ݵW(gޮM0v hMDEu:pvxiφI8HrK‚⺭]VٝhH?!L Wx=H*A7OhֹdG?V?s9@d贅fz_m*HSz=Gk҅)9\SЀ  $b cy+zϺG$º\ X^Ŀf5ǑCN5"mTRA0ڋWU&nL7Zr<fKve3?>=σr [9IiYwhOV ZyH6 g4tǎ?E'B::oR@Y66 ]3SK+vzkI礸S aqg_JjNupmvg.4t,9_&,MݐU{<^Y妆5xx_<ח҄竘vQe,|[(SS?fW[OjdSHitzaG E!8:Y!,AQ-KjC %5Jwٌ\8mJ}#b~Z[' A灯U2ɟGyGxOS6OgӭqT4l1;0u٬+uEB;>/~(<6u}!6M! [9:XBNa$hv1=i=اyKo"&T0d#ϝ _eƨe?1ms9y6XkPEhw&ƭ,5=N w K' bU_3u8}&g7B35zǓWHa,Z8H%݀+ GZ.w 6?'OY?C' !ֺR9(+?7spĥL)aj߼3Upp߳Ē/t%18uXI*pAAuM(L/eDDX9ٓ CY ?uC~NcܟP> Vhv'"H.[n#msD8I%`f?$UR3OfV9/IQRIRִjCi,Xg%vumAh g;dt{Ka\7ǒ敶d_R)ɟjG3`"P-jĜgYZ558699b3fd483e27c8a0b98bf512b44593d27c4176b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 9 PSemigroupsConvolution