SQLite format 3@ .;  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 99D9 ,, ]/ PSemigroupsConvolution:threads=4elapsed=20.714cpu=50.004gc=1.712factor=2.417zXZִF! &]ŗXf[&;yV2}wӨ]wk{)\'i{އk0GØ]bI?ŔRA豖U]`h U3s]2j_ڛ ϲ\HsX19kaaMٛP%c+=;~Zs@쎘U%IMy6e38l+mTT 6]%almFM'8Q21qGgqm.#Y?R}))!> ZSj{k.$f GR:Ŝ,Z{Aoca/f5Cܙ ji˥=Q.8~;5S(G6T2LBӀݞ1y*iI8ɑFBmU3C_ _|4%^ʝOSC˹x=hWo i\'&>cй8Dj 0 av%s $VXN1FF rdڇ͔WdLS [e4ȤX2d!<`Zg(Yd"c_v5P t0B 7}pF9ʇerjRc.d,M̀\~"2b\YZl"}ѐ@rj4hsMbUG@/CK:NI&ĕB20jb)䌛7gM9Vp+d'$j#70IL-KfaE*fGq K.0#8WcB LVLܫDu#r4ϣX *'骒NAlߕ ec>d {S:t_%l fY[}R8 EN#(g/ڬx1ՆMggYZ7zXZִF! 8]ŗXiɟ\?^3 40)2XՇNIC& P0P*aEG+Wh.to:V}'(y>[ִO)]&hj$d130l$a_eVc$ф9SO^|ZwiF CD_Z9gڹּW`!!8Zda 2  gYZ7zXZִF! ]ŗXi%I oĤRF:Iɺ)+TQ3iؠEIyn@|gP_=[TJ q<ǞPN-'ٽ@j7ų'k^=8fSL}mkA!!~Ǡ*mkO ՕҐֿ{/^n:1bLOT83V[t~u.Hh& Z B;d?At+昌YR3AV`3;"OA6BY/;o)}KfSz f]KQntYDp9hՌϮ)XGIOs}`ve[aC`5-4dBGl)w{>YzlL~=!NkT mkق\ZMV8A.\<&eoITWV0 c AOVs5S'gͱS~%Q4{%l/ @(\>V gJM,N[؆X[u@6)ӮzՖ$dJ% 8z4dH؆K9i>Cl4&'{ޜ!&ӌpJ}K.G88'\+ib{4? obAf֨iIH]g[! __| Ps/Yc*UBIV ̯mR `b2̠5W+ t5]uȱ;(5JOHp/pr44yX.+ܧnDIK >zUY<Ȫq:He=%ڂE3*1G 4.쬿WC{*0`Ӷ?LDbVtd:xP09;l-r-l4cB"| 0a=Zݚ5 sVUbF?LOz bj.?$UN&M =S"B8lΘ̷Bm0E_E[n%L|󶂖Ǯ;A] Zq:Qb)}eY|bYd{TsJՓ .vx#x- -HAqF ɗXS/0vstH_A;ܣ3N&N!~y`7 k=Z¹N#8^̅_ z&H=3JtrKgYZc1e51213e1dd50edda31780654b853e9626fb2875a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 9 PSemigroupsConvolution