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 9 ,, ]/ PSemigroupsConvolution:threads=4elapsed=20.632cpu=50.384gc=1.784factor=2.447zXZִF! 's]ŗXf[&;yV2}wӨ]wk{)\'i{އk0G_N+s}!D]VZ}xz3>p:){HYֳ'*Kj!aTHϡ@Jx^g9R!GǭyIZ9Pocc0-ZQyO R`*2Mq6!uSIK NQ`K!'Re$srϱ m v+fu0@7vr]Gr$;Xdp.,VpWֶ#KQ*0 \H {l?&u @h5ҹl|rB ~lۦ'+tI0?vTrv9S߶̲&%YgZڏxAQh !Kib Fl=A5nիqH$II 'Xk+2cWi*=&4Y3ɇɂΩ5"^ ͒ *9"u9uV.>vߣ!ߴ4T RZΐ.C-!y5d/G\MP܂T4nܠM;}/Kb/p!ZXx{)3aՂ*=WسI@۾ ݍަ:VNif=6X xj|GXˇT8Ѱ.pnOʟc{x S{p [oΨlQṖ<#sڑ\Ogby lVcݶ wIB 8ȷ؝Ѹcͧ=r{[X>- ]h8حֻܑ圤ߨ5 >Z^ LMpk %Wĩ: BA"{,d%('>mF10I]Ț\Y"Uh Yk}KT4n` iK!AwD%KM!7ߧ&C}@2sُ` j !cLí|qlumMZ%ǧ1[q;N&BnM9rQ /D $SI ߙNhˊ[h/BK WXG~ 5g`!Q+\_<""\] &Vߜ*-*m(UJ@.aMS_K kf}!N/ׯcP}Yݰ I h -~/}}|kB_]equwhxAg$ϰ|_6'J9I-1#ҵXkw!]i`Ivu DsV{=emПڲJ"tV3h|[h46Ԟe~2wTtħ^܄6@f6~59cStA mƴvvrܚQj'm9ﯢ$Ho %k1QLna0z8QF(.0毜:X 9b\m@$Le ⃖dUAY˞?˭sxp"8#0 )"0(22~!6u~@wj]bq. <~Pn Ɯ5ZY m?.櫔{gSU#l\'eVV6>$PiW89E=ձ6څuբ/]u X❠gѷks&B~2dM|< ]h{,ޅd$Rsz[_}bk9說 QJ` Gd*nQ-/IS!sTJl*~$hR: tRbf͡5%KgYZb48cf9d8942cef4a48fc6847b0357d1d375f6f7d78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 9 PSemigroupsConvolution