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 w9 $ m/ PSemigroupsConvolution:threads=2elapsed=20.721cpu=39.140gc=1.700factor=1.897zXZִF! %~I]ŗXf1-/6vR[2| Mꖯ)KqPfڪűJ:7gaȦ0;`}-uRX񨃝%D@3BہI yU%Sb&}ײjJs\5 ҔpN'^J4Xc#/yh v9cQm. mQII1V$\+j`(3nȱy5۔IA:`lZcפ%,iHl+btIYo [KB橈-ޓ"?G#>_HIG-@/ɹ,We+rXHJCaCI"*qUo@A8a)ܡ*aԉZ}ldc$k2<- HAħ\Y4:w_ iBlKzoF4Fbr=~Spjf' ͺD]JA/,P  vkav4TN~ $0R›Ð %鹼pmq3y9bLҎBGSEGLv>ç,"+hq)g20'z$2{'R6n#7<O! b^Ce*4OP{Mzkk֘h)y"y듸WZt:AP`IS= <|RjxŬɀo>N %/ש֬ [CF)Pu>W"RƝOl ːp0sl: dZ|k84+-0_J\p(ڧ!=yw{lR8\` 60,)dRYP< N6ΰ)l#}F^iZJvޒRE,D|D{?P; \o)VԘyާr┥p{1_Fe|/{(% S̡L_kNX+R !n DS)*?1b{C0欧 ! 6܅Ny9I`(30>p4emhaXR}a? H4jd5%/GWRVfuPSMv̶k ^%2CD2`\EtTu$>/5л=-')*?TтGW3938ݰySAZ&fԫ)@qE2)bZWZ=Cv߲fy׼?G grUrČY+|TQyygUbrlSHf'UL Eэ/t;ΙsKznv@^8|n&yһƤX V ,eތq4"3)+d3Ir"ض16N=Ʃ_ɽ}Qtl<-V"bf[PT%"b('NuI>yD)<@ԅ_ߒ 3ޝu\T-\y#̃5qʠGoyLXVbteDcN_ʔEݗ&>J-7ivbnd67(Z2qtp+X*:7av t; !+(\ "TCޥI)U-|n|،5 _EPR7s˾-'ϴ>tw&jM_]nA~e~+ ÅgYZ2ad6634a31e163df0abee1c86c764838eaab2f87 30231e377e175dafe1ac69cc60aa1af532596d55 3c9d198e5507f38679a5ca3242ae54ae561125fd 3ca9fbb90d335a4c7ba484e480aa6728eb0d92ac 6038f78e0c7845915a14be45e8bef12e0af663c7 82a5382b7215ea24887d8b9871f73191f8605095 b8f6f67b6d8fcc36514a70b455a09c340aebfbf9 de4d0574a219ea1041a374d568b9adf2ebdf10a6 eab7b337634cbf1638a425bb812ac973b9502482728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 9 PSemigroupsConvolution