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 j- dt m HOL-SET_Protocol:threads=6elapsed=21.891cpu=89.816gc=2.148factor=4.107zXZִF! *]ŗXf1-q恈%vA?'GAq,$L;׺N'nH`dzAFp{Yz+k1 ; lن$6dߗwH}56:qr#vlc#~$,J{v}K0vF5""F r$2@$2:IlыkR2)Asign!Ό}1&R>/6V*K @d%>VzL>&fn7 q*_BJs"[_B;Q *=!YNJJQ^gsaV_[U'L!}q\_җ|TNH+ݚy9wk7+ Dc0cOkS^_zsHGB R?L`,A'H#@LOKllEQyY:WB~&;csVF-骲tV@ẢQQѿX*\QDneֵG£Oլ5wDHϤ $п ҷI:ZɄ6 ]m,|1*fqb ew ]LLbUgYZ7zXZִF! g]ŗXi%8|L@9x,+&N#c<ӹ3Vv^Vz>e?Q*r )%q]\voYv^ NaY+#ZJռnͷ@ Lr#e3\>NB)߼Usyf ɹ1Trn H~m==YZ`5͹.*_g%R=fR 𰘃fqWRh>PnL9]'>#jғч+[Ha(nރc1 z"/Zf4M8?a;2߀0hvkJQd93} h 0+6E׃ёePQO&'\r(z)l##r_Cxu|E*Ȉz?W"}<o枍#1YAe{,5\>d) W;#MVzT#LO-&P@ܭK+8u )0b.;֨v|[vt|k>^ [^>:Xj'Ջq~0zăBIFta+)意hS]vר^٬q!ԫ(>$!6ѭvŁQ"\_1%Gx"ג! Nu pp mH`yJƚ&Py~#۴/g/ 3#;qK-̴I9A/S_AP#Xr+gA-T`.$͟nAJ0_xHo:$`-m^[.ڲvdΥir~ҭ$ʋzSs#m70ͺ, `}5Kab_nzr<"?}+ͦ@p3Μ<5'g S:8 ],дztru# {mrPѱob3jbk9)(Sl x@jI`^8"10a 2YIjCp;NHKmG%:c 㡍AJcOf x1Qӥ^hA'1A8 iIڭLZX){UA<҆ EϫԪ658]˸ 0+dqe &[ٷ5vˏoAc%lNDk+<7LFѩVb33P)mV6s1k;N)㡰g) N9بw}~r?6hCddz =g}