SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info X=LD w HOL-Quickcheck_Benchmark:threads=6elapsed=227.957cpu=1102.548gc=92.860factor=4.847zXZ ִF ! _ ] ŗXf1-ĚEM@ٚ|3 5 !8-^mE;MR 3nIO˼^7fm?/+BiwuuvA94\;E7PV,g#P)w'-A\vjV}*W%zF>4y[=J1}lpBD}GhGm<=o{;P i?2,SEs{P]BKFlo{q_luZv !55~Ռșq \-Hr%w{#7 ^!V[UoM2*(' "0^A;%zNJ }@*8ӭi w0㥊f;[ wU.\ؠSǞߨ*tF5GgBod20u)'Dm]`/̋`K'*;3NW&}%vg)>NTQoouJigs :bnOgQl -cɈuS ( sg YZ7zXZ ִF ! 9Y] ŗXi%6CV`n:j /C1<4=w(P1j6f2yY+$S̏gZPk FfY.ve#]'{/Q/8(a*?WiZX#(+|4i.!jUN+Y=QnSR)99WS݁JQXkϝyA=,KVʇC;5pd1n4Wx|L8X냍=LT); Gu:9p,L*|e$M)kĢv>50lG"t'9!#09vG^ SEKǥ^ +;=>E*FZ-l9,ۣ[慫]H8 il`ܖgg鷰橲S*>%\ k hϕY9TG 8 A5o* Z/-AJ4lU総_AKN