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 ''V/ T,  POPLmark-deBruijn:threads=2elapsed=23.896cpu=44.232gc=2.536factor=1.857zXZִF! %c]ŗXf1-/6vR[1u 3ܸ&S$'W'&ӗտF6|r5*Ez "%۝jfr1!zC1:X(|g_Kg؁FG#z,~,.MCe58)^ hx20 ˎ>큨$)4L\$]ߓ^Dh\!'(K[qI)$ŌFrXq{H3ʝ=gn{!I d"'xJI;-Zl%s45 9<Ou5VnN^6< g1رZDHW?AƛD7tJ8+A\;{=L;x&.UQ!c:?h^Ś^9-w8C] Rbr5 }j~shv]CUyrbK'WjeGW 9t4JLi6߯5]Ja+s#{6L ؂kE@3>  1cr Qm=a, FgYZ7zXZִF! |]ŗXi%6xmcSn,{³ >o'< A4[۲|< , ~3W^a6Rj0:LSgV`^kxNirۆrcJ_ݠ4谼UEv@cVwf(ddlJYAnD\e̩Tkg^p 8:= /oXig>}>D:FZE^7Og|E5 *pהAu/B<+<du ? $z9TM͸~s5p_GtYp%8pOu;Nڰ)2MuPD|zy@ !J, rhG?3;#b5,.(dY/*ScQ'yS9"H.\8I.7[1^n&_,%DgK#-|$W:{oHm 7J%j Rr^Yr3vEKd]S"-y:a4 3Ø^Yq ABcr^HHI.To|&,OʖopUr= :mj"Rc2<j<Fm`B$uR[N7YĄ:KX]ApԚ}kXv@.{/5J$4^hK'!pˌk& ^YDu{Jvq5=,Dž;?+6~b~^.]UT1%S{{lE6:q Bj_M˙5sq$w~ D0h(&vⓍy]̰e tYN'WmP @ß4Ȝvz H&bJH*\LT.4* bvb4yWW msI !mذur`6uUFK:v K4L~qAΈ9H*mb^D%Ӟt0*7pwWn#NC.R$*!;3-П:{K 5q}͖ɰ[uvne`}h+$I{LΈPҫJBK|v#M5..Uo>O9~"H34{$]1$PAܶr*a/JD( 04)6 |% 5&RGG"?kpZfm E)oR*K"CM,֢|gP