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 - d\< ]/ ZF-Constructible:threads=2elapsed=16.343cpu=30.844gc=5.476factor=1.897zXZִF! a]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό}j""@Z?Ad! amfp띍w; !E9?T߬:DtCQ5\rx0v<3ɤ!.)t2/DB!/gC$.86TR>"ڔsbG/Z4@KL}kMo0TɞĈZޢ G1a'+5^D6+nTqY17XY4y ebq*W3gAKrH tJҔj-W>b@dL .ץG&!1 -B@۪YL R;2n6Dk}S_%:Kycu ul%ST"T-te;NEXZN/&l'$0u`F-Q܉AWpLϢ/ pbX:=ᐶv4V=$}CFECkiw0* X@ԷWEto큶BBIGJg}I HH`Q` QT-e)XVy.Pؖ>9ܖg}N*g:ouL{sȒl N].;,),BA;o }ԄY ͮJ8.ea_xUi!yH\e"9#6a=QwM9o&=چb fz+1 sY/SDEpq8cIpktlv-vļY&b~7&HcCٺϽH; }x"-ǏXL;3Yn DϯM'U d, ;>~<Ֆk|^}OVLcި%|q.q<]͠1zx*)Yv1$0),p"IWkhKD<:6fc7n(ȫ tVԨ_=)bIy_D+h׌G%(!<|-%#[Ƃ:,7@kEbg# `Xfl$$ 39