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 l9 ,$l ]/ PSemigroupsConvolution:threads=4elapsed=20.812cpu=50.432gc=1.684factor=2.427zXZִF! 'b]ŗXf[&;yV2}yG\V s])Zjz].\eu[`uno& &rǀ3$4~K_ڡ} Hj><^-ϛ$Wb?I2 %،;>s]I$srhMhc~*Q-SiF9wˉ뤝Ul4tTi=[v#RJ-9dtb$ΐ6]ɤ8gs/Ma#mP.sGJah+ n=3!7ZETr@qN9QQJ0Ӑ~IT~ D8P_ݰRuRj̯HBTzՖ2.']aa`|MhbP<8 Nm,@y0) 3E깖I=2fm5C<絉xLJW D:ks=:䅈<8~\ s5%аLߵ[R-GN/}̯}kޕ2@5s,uL!g+դ!0 w;ʒx1 ic# W(ɴVge՞dhʼnUzr}`@iv 0+s@Ƀ%!P΃-% ^tiNgYZ7zXZִF! 8]ŗXiɟ\?^3 40)2XՇNIC& P& )g|VéN\_jpT9[/| HHaSjs#;sSݺgwI 1X=K4s\-w`^;+;SsS,~d*W֬`4荸lhN5PgcfgYZ7zXZִF! ^]ŗXi%GgT5& rtuB ;l#09㽺G.SP;# G%%%AUMRq#XA~BAS|kp\"H+K^G"QSL#aw`Pn ]\k|RylqZ0j^N⼷y9γzk^x# m)?֚0 `NfgsL^I VbE~Q.su4q7pl75_T2ѓ>XDX[_8JTRϳ1y-]+w-002v<)&wVCU]y$<X'&DhFMUʋguJ1=&w;+TYɛ;KSC3LX -L`kΤDT-^qGnR\|[";|$Xn$_viVu uNE _O(}p["ġ_ Rދ]Ax)ثmB=-Ttgc(;닅xŎ}gI@1u֖s,Ie0L* EE z^ٓ4 y- #>8lܐm6#yfMv(ɵwHn)d"|qa΄7}vL2_(MAa&4lQPlHNok:he5wk^6æ 2ѰJ})'j!&ƣKSc"oò ߮F"eJq Tdɍr + %2rAKs.E]OzbѥF`AX#}7Dѹ%iY:hYaM0Γ \Ûsoǁ9@HCDXHV(~,+v0-0t## ڀdYAԋ.XTdBbͦp)]HBC2n2Tl,Kn&l+Zpb{=K61KQХ$f0d6FeiTE0I-@'fQM@ٰ#~ c~xyog~ߡ8YEe>/whT9/vx]j0FJ\;D4g!62,r!kl*_,zo_ozKg )8E--XSג7nT{>r:I;AP.63~IH/+*΀0Lb՟4P qRRS$T4RAH±_kAegXZ-x=`jb5a_ǥ΀6ՃtX{HŔ [p*~ܜ[@'iRgSvw|ȶ9Pku 3¾L8߱BRL>TzMKG`Gfxx<?5/i+}kH{ra ϕYΦSFz_P$4MTr<6EkJLa9R!!FITL1RtRE($װygLT͘^W:{_35.ISDZ9f9Ks&WUlCibLFZ{Js|w*\Nj0WP3<ߖ@ /gYZ5c9c84d2c6e82fabf04353fc5448eef5707837fb1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 9 PSemigroupsConvolution