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 9 <4$ ]/ PSemigroupsConvolution:threads=4elapsed=22.563cpu=53.200gc=1.772factor=2.367zXZִF! )]ŗXf[&;yV2}wӨ]wk{)\'i{އk0G_N+s}!D]VT ?D!jŜԡ$]׫ l_iw;fU@ne@i2k/^fٮ@ skbdsrVN<TM ή?y-zRi/IXr Sp Np%bۛc^4| .$|RJGZ@OŖό Vm;)Q5:J;Zʮv@<b_n ކET9y(nCЄe~<F\qU\V֕S$sf:ry[ĂQ.a~ҽruS.K;lK!! ϟ]I&S$HY%SsLMlSӢ$*mĕ8wcx8[fPӂ?Vh/f_e =b^< S6+R gYZ7zXZִF! 8]ŗXiɟ\?^3 40)2XՇNIC& P-2[9{`ftC0κҚ`3\*Wqg ><%Yo xf2 4&=+Gt Uf᱘*+U,C)5CEK yV_cϟ䔞<;𽄑 F#zon ?f`{Zdd1\3gYZ7zXZִF!  ]ŗXi%L ať.@&y-t X`6*c>.)~4| %q^}ԃYWa`͍ )A;k8 [ vry_R-d+ fG~ϵ[O-7-˽F,,FUd)L[RETXFsiJY}pKǾ=3gX V4_z4}a7."vEdpGC iʉppmU$1beǔJ <(.G1l!oJ̈*mnB g/7;58'L9#U5 xv}N<,3e僿ل#`sĿٵWs9lg9 C!c>sWƎ\_RˏTw^Eb®AEJX)D]Pۚph{LUrcCm ?/,q?4 nRbY e!Imw "mNFZJ5J{OKGeNV?m׬ *S{} ,Զ.ot/ɕlc%;6@R/}%ڂ+!›sTHV: 2yӤJDFyuDgwpz;>%*FͶԣXA;(C,b#i m\0]rKDyԡPg2 VA'"5PrQqODLmdz-adtʊCfz2^m5" a+ m̥{Wk FHV;~HtWb^~0:"F(A멖d+kX#GY|N xƇ'-HMyޯimXa.nL"/w&}i)V Jp+0w&^n5)p ߰y-,b'Yco J~Lo1c{MzE{Yc$"?,v_T>dLmr(M ,zkISaڧn0壴ρҩJK7)PVbډԣnYo_*g^+Oh3&Y׬<º8uz`J}a0^&`"_tbL$?2P~D>okb6]//Z KȺͲ4$3z2ʆm{nztYoxNҴWmK 8{dؤn,5&ł_$ 2AUxHǩpZR`Ip=/h38{ЮA3*v}$סh-뫍*W' ns؂%YχD2jjJWdZ8@%o í iy≅݀IH?c;z0#?KCwWhODT:)\l[ ZhB!*YnN陃HDfvs f_ -߯-9A!;ft=֠줓].|!cu.iiuS]_-|7sFnsy_^Wց̀^ߐOǪj6sB*LFMɳ4~˚!3#;UПR<~?7fz oЏ7eƋ+0|'7܂ݣN3Al(iy^nK1J,VUỾГ5(KNKH;@ją+=ۛO- gYZe7e608526a2df5923a77b2e6c4a4ec2a7f03a0ddd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 9 PSemigroupsConvolution