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 EE89 $ ]/ PSemigroupsConvolution:threads=4elapsed=20.652cpu=49.356gc=1.572factor=2.397zXZִF! &>]ŗXf[&;yV2}yG\V s])Zjz].\eu[`unh Ix#:.Q@Y!'-InOzU=YAobvػt];HOsQ|=4sŎߠhޫws4_V]i+ct1PNcnC8~"D/B$Ƿmm`,`aW mzM*1DU?(G3SFdv*FI#W[Mg"0 5 uV3uT6;Ff*T=6 If/JUHܔ46D+\_pjC:n z |01I14`DdUSt^-_'_w!U8?NvI@ EAv? > HCdv2Hl%;twS-Lڟ6m; 9P^ =o\zi )З {6(zm?Oc\L>.t)DuVDdUSRIz!d]O 5hNutS@wDțC-X2raB VلmE s;9gFK_OD u=YʳU. \{bҀΣi.dL8w&;w%QKK۶jg)͵R#VA,W ]3sk}K.9aKhF8,1D>܍T) ;]" "O>$ bȦPQ ۰G'@1p-/EF@2;L8'gYZ7zXZִF! 8]ŗXiɟ\?^3 40)2XՇNIC& P)8d \9cK.Vػ>0f-24g]7IP5c4eNm@=(ĊۢKHR1-_'8H|}2ye28fUB&sb6^|WF{BQKf/JܛcgYZ7zXZִF! ]ŗXi%G>࿆*Jk3CW'QVC}VDWǍ/+ ѫν]?!9]&@xUp\^]kʽ&=ĸhE_d*Y. +Z[ +q&m!sjiS}H}Bagsljvski.B>_G¦{I{:"}<“Cwc##jMA6S*(>7ݺN~DZks7w?R93gwE$?;gc: k^+Q֦4/@u”NExN:=! us?S@xI(p+Ny&|^$ۿÀ+n)2wZ:k͜ + >S>W}q_^A(%5G(VإދNý_fm@.n}τL}˼]~UawHUڎ[<1*g`IՃd; SWq)8DF?>;=Zi[KT aW[)T[p'hyYV#ԃp3 %JnDHS$aҒ=fmcY B^6^8hљRkS.(shwQ5"ӵrc+f!8`GU$mI3؊k <}٘s9Da0*B[Ҙ9؜q<&u1^+olФ YaY ֣Qj9 6bfЉ{P'*^{r~xvEi;~?p'w} #1t4"' ,*$w.IQ&Tշ`I\Ql+=СE9T{+ U5}d#< "ͫ4a {ao6Iʊ8Q$. mT0kHߊ(A@=C)NWnMO/;HG)\ )IzaCb2LsZgn1B^r,KH{bh3lRGz<,b/%0%v[PY{Ż8}a3z#466|? d?n$ohd?ZN/Ҍ b*Ff9*{!}3XOτB ߔr;ڰl xjzˏȼC8UV͹qkN}ЂB')ctE0!ܬ 2eoG\Uғ/CVƺ Y^ldx`21ZGB؇ʓJ>k}u^ êf'Z\_y`Ξ4qd|6^XAvGY1h14~^F㳽U &J9OUsX,<_K-JE%qkNg"3sN-r;,B?Y*AɉSYZ\8oذ \iϲ; ZFgBP,3ٖF9 BuRcgE-mjM Ѫ9VVk9[4*QrA!S i<'GDufy2Neq1L+P+gYZe211bee941bfc858fa0713ed002584f33c46831d4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 9 PSemigroupsConvolution