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 u% t %/ FOL_Harrison:threads=2elapsed=11.437cpu=18.712gc=0.556factor=1.647zXZִF! xq]ŗXf1-q恈͐7ӺV #`91knTyڧ?"}ËSU{0(7F%3yR,xӂP 'F8FgKnh)zŞ2av<( .wD hQ~fT`->[􀖛3n~0r9)-ش6 8e-JlL6R4C"ՄBp먨O͆&.Pcy3 i*-X[aSkHrɂou[|?;AuT&`fo|6"宠lld{fUzu18& 3ƱgYZ7zXZִF! ?G]ŗXi%6k  \}٤νefYQCZ+76p3[ 9Ņy][Onr*_:gm\[%x$ e{=8A ''-[!Lea)zqZ ڏy1E\+^])s ^ƕnV(z磱^26rj>oCY7EZI-*A~b)*U7$*"/ii&;ɦu AX3X",EB.VŰJ,tn!]/Op-+%|?ZZtT)Fr$c2.wӻMh24>G.ҘP3CݥQ4_KHGi.^I񤇙3b5 7/ۦMI":p%=3nwZv6KP ;u5+w6LפFEm% LN1 ($}5r" El0|DS5myDjlMށ.F&b?I .dX\ڍ8m#]Ys" \zS0EIxA?y ޅ#Tuo{ju RJ/[hm&t_lՒKJX"Њo8~Buaj = VS8}B15orHv5C8mVtH*̝*pOjVI@%}pfBc[j X .P3PFNWpDa KQ%@Da>eIؐFс$6'Ta5 W S%ѥ9yM#(|Ϭ0Bq'2Vr5D<%p?|v/[n?Fnl~WO>gYZ2416511848c69b845f7c8a4ec82eefea0fd138c9 c08c0d5d4601fb33f1b6cf9f7f814c612221dae7 c7864d452fb7be488479a993f5068e3a5ece73da daafd816af788235165bdb8cfd09c393597c7cd6 f0fce7eeae1ffa41a6f0691e21062958b47031cce4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb % FOL_Harrison