SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ^+ l$L ] HOL-Analysis-ex:threads=2elapsed=40.333cpu=49.520gc=0.704factor=1.237zXZִF! m]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bzx =#eO)(OM.z} l5.3<ؚ=-a0%9`ǡK`Sx]"@8Q#Vͅ qcR M2҃!K#ǛMpzz1mkA(ʱ  *JLHI5\on^/t̞p㜗Q2ER喪|2V)+J.WfDk@$x aXA[ yF0BrU7V#la6]rA1 7wlp/Ց3ֹӯ ?!"`Z:Ӽ S2zڣV?7uq# ͻ:lɷDp*21*q M~<n޽R99JGԡKϮ.@;U^%Yk,hS-4M}&Πx6 Λ%W 6 h!}NM(`b[ (cQڙ]r~#F{dHv^ p4qGY:":^ T161*w%a}v\@Mz3u1I ~O5I1_H.:H)T/_ ԏؑL9ۭiy%Z@ƂG4^;t<6I뒿og3TEx\Vo3C'{&HEsb3[^i" F=xo "WYHD=?!O;~[D8y.$@*Ԙ>ecqVE*GJ0H)4|s$5ۋlj 5Mm7$9da<|DKE0OS6Rv龂/te-3DT諭i7ů*io SWc̗z7YJ>]aN~TQr}L[Џ \fOoW~^Woʾatj U8icCYHa^ΗAP:m d"/=l/manӕQBLsu$/ YJh ՟?sP m epɩؠ|epab*3W Fg0nnh$fPl)Ѫj%#MÜ_`ma_