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 NN/9 Kt*C}hdg-8jR^r5ӁmTvK:V2*=77_Qn,Ǻcd6Ά$*IE͊b XdY΍UFH#r|@^yyGI)*/=BApe9 )u8<#%,[@A~g2)<3 $A ]/e+ W>?z.dEmkJ׳UUlVocNB \ya[!dN sRqmŴVռM-lۙ7'i=hVf$7ltlPZgYZ7zXZִF! x m]ŗXi%6K-Xb6LJ^ N0oYj! a5o)X!<[D9Ąwz~e;UǑ& 񊡖~6E!@Z#54_[ nӯr$;/%[V6ےOQOF7HY,4DÂMYdXb 2}r/ƷCtK…$[֑6vL;\ T]8Bd=~XbNvP'˸)\E<-75"vYkV0@ܴi357Znދ}U\uEzfpCďb^ꇝŠžf# mq&Nm>{Ԩfř\fIz岔[Ap!6"V)̑2}_6 z|DP MT0H4Jsno !w"m,u-Ph]̚\̾3в`pDP|IKs!qz}e:п3,J ~[ 2h:\AK d]$^6<3f<9D,ot^ּ;ןAZd9fRvsúպ0L]d5cԩCyQʹO朒+#dKN+[=J]sTBJ"}|TĨ:w,%j?#%: ̗Wk paH24VJq0LI:;# >iF-<΀;?1w-ֆrcfM'\>bWdbn.Pbazy\ Q`2#K*TY8}4  R¹*S9777}6F+B aη<,|Gv9/%sv NQ_fđ-+c#U#!7i.E[,c:Z2[ZQ8Li_`-҉k=Ps4oY3 9j)F]#hidYy*˿Kg/q~ L%E|ā$~jI77si3wEP}/Y!4)%[W >Y_u5}>B8-4 w]LVS_\06*zrjnzX CpfIg޲=ͨhDX]/fjlY$r VM o@G|uhYZvBF':" ŕgi6Dvtm}+V1!fBk欘DdÁfDrfpY9̴ppAᧂdI`FW?K.XB\EDB6~bO0+"Fix_X; 1o^0QƐ:\̖Emȿнa:&-c,e *]>О X+踤FR7;ŦHVO>kQ8{_8>֙aUpU!uewu>Z=} Gn'F_}eoajQc{ W n* gYZ30231e377e175dafe1ac69cc60aa1af532596d55 3c9d198e5507f38679a5ca3242ae54ae561125fd 3ca9fbb90d335a4c7ba484e480aa6728eb0d92ac 6b318b9b47fc519c66e5348e2be97a9041ded992 82a5382b7215ea24887d8b9871f73191f8605095 b8f6f67b6d8fcc36514a70b455a09c340aebfbf9 de4d0574a219ea1041a374d568b9adf2ebdf10a6 eab7b337634cbf1638a425bb812ac973b9502482 fe6bcb898bc42a500501cc050fc44e82fb39b395238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c 9 PSemigroupsConvolution