SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 m/ PSemigroupsConvolution:threads=2elapsed=23.140cpu=43.640gc=1.768factor=1.897zXZִF! (]ŗXf1-/6vR[2| Mꖯ)KqPfڪűJ:7gaȦ0;`}-uRX񨃝%D@3WB#⺟4^şL2prZD[2U^#|xFdjwb0>a`ׅ^~!FJ y2 y_%!Ճ3wv\4 """::V)gD}ݶxm}Q F_mKj]kD9cgLTO9xc#~b>e&[{tF,ۀ<>A|W͑G5xWz:WR,e :dd}ѩ哆| %çk6րڢkWH$տiw?7#E02^(즑?6|4%":#Z;M!mF)2E/N@#M!W3S VfߠT):Pu9i !KM)*`vF, $5rl^1Qⵈʡ.dF)l)/r^ ;~zu-eVGCǠGi~04/6y'n$DuVD%q;5&k+<=(x푴 R#Co֢{k1c&44kyy$Dhf|cdp-@b֩+w%x˜l}og;=w: y [سPiWC3xנշx|7 l|Le-ق Ds10T6kGShĦdaAZ*iW{̣X#I*7k0=J=A @ u +fN+ˀgI=c+r ^{x:f^y4*6{][jpc`\j96)hrl5ˁZ^(gu1}^eJab=m RQkm8 TA@g`u9hC|r=U#BO)E0b )CTa `'u[-)IDn-{݌pȖvVhF 5gYZ2ad6634a31e163df0abee1c86c764838eaab2f87 30231e377e175dafe1ac69cc60aa1af532596d55 3c9d198e5507f38679a5ca3242ae54ae561125fd 3ca9fbb90d335a4c7ba484e480aa6728eb0d92ac 6038f78e0c7845915a14be45e8bef12e0af663c7 82a5382b7215ea24887d8b9871f73191f8605095 b8f6f67b6d8fcc36514a70b455a09c340aebfbf9 de4d0574a219ea1041a374d568b9adf2ebdf10a6 eab7b337634cbf1638a425bb812ac973b95024820ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 9 PSemigroupsConvolution