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 ff9 ,L m/ PSemigroupsConvolution:threads=2elapsed=24.175cpu=45.524gc=1.720factor=1.887zXZִF! (]ŗXf1-/6vR[2| Mꖯ)KqPfڪűJ:7gaȊ^YJ39sbZS#b2pPDlȒG[(`MSPyVe: !!K%]9%CƟ) 06ʔJ;&Kw'^0tAHuvKuvw"R1auI/`PM0.= m"3/Jt(TUr0][N uvQsJfHƳ(s[V%҉" 3Ɖ7 Hȡ` Isޤc؉(nZl);"҈01$]_4 (p[Y17>5I_4WN˔BY9zU`3{B-qp+Hz*Xk|.K .&LXoQy39bToMxyy炸xã?8Z34d Cټ7;%0eX' `0gq4R&8z}^=0㗃 `if?.,Cl3 rV9& RI)2ij0* +@gz shTa=A0NQ +Z/C8B.5~xZXA3nPI Y~^D<1'&A Qj>P=b=}EӃkM1+RkkEgNXIŒ)ڟI(6%zJ[x"ascYրDfE݊D;ԦI:IsgGw?IvPmP;5a({SG< MbMp9Qɯa@owA4,U 5*t%cD/Gd8[,7&<Mױ~&uB#(`|]?n[8,7V/ qI=z;ժ=H/p$NHX[Δ; vcrkK lEH FXΟx>a@H*Sm CUoqo0\2X@h 5J!DEyAQktE釭H = ;d~*]#&_Ǔ !(Ug0Oa/T_R1pF(- ąt)`AK%}n7]K)0BJ1hxr}c9k>??dwنL4h٘\L?R˜?R88gْuWAEٯ>Vl5@vh_ +80?&]&ъhR;9ݪM,_zQ|/5mSIiئ!|`#stYfXb1[&G^؀ .A _?cN@gv\>ٻ 8-ށ%8!NWm!-֓zB+Ũ`]VKHKӸ.W;8U)h&tAvq0:A;reu芌9gɃ=eZXgzmصOap+p6M0\E$ Zc , aUUa\v\J9 Iwߎů7E ZՀzl, \š~T<^,$;MZT3Oj-vPt{ P{O|qV|F/)tA6'Y?+g*T}$iW\ρ& $T*r`~Z%U[Ƴ. dfݛjƜژ(E