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  ! !\' 4t ]/ HotelKeyCards:threads=2elapsed=6.303cpu=12.360gc=0.324factor=1.967zXZִF! ]ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /kvoGp58kN( <;/f'㭊M%0>msW(P'*4I_鱾v[1IH!plSqCHIrQ"?,(TbJrlVZYV-%LL 5×X$< D]|oC'WHa` ݠ/}7zNII9E;ua,SP.i('v~29v{@kvcRGdAib1+qK ClFړ߷T b2GH"H-?dy/gYZ7zXZִF! ']ŗXi%60n9i&`<יU}*' {dpnЛ 6aA!2} *C90[2Kf%4 ;g'voF';èSFFr -h(vp$E3;0Wmq GIvǾ ppg#$ hjeƉC L;-[Hb1NxP6Z {)oʒ:QPk-xq]Hnoa9XRQbuYѫRނٌ$k(V$3@ӘLo:.H*?byWM.d!- W}BEG +B- fÇXw~rxū ~SD6*H0UWHFWLֽs_j]!Ub9bXΙ}p.A}2M+=p̾%=9RRP+W1AQ.Q.i>DbZ͗Z埞~B.}8J]^n'Q'7+P0AAa|ޙ7>B{v=/yjH^hG