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 AA<7 4$ c% HOL-Quotient_Examples:threads=6elapsed=26.613cpu=43.536gc=2.200factor=1.647zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?E'#ݚxZ~'\ UOt] . xiztၻy~[nxݡܳ*-my;A09h}Gܕp~O}MiQd|~]AGY]LۼYH@$E@h$剋w*c؏u5+t`#J}0Q7ô%4!7|]uf&Xbmo-eѣ7 ;֙Oql=-WԱgYZ7zXZִF! }]ŗXi%6I7,%d|BLgǙ&xTZCԅ`y?hM$K3~3pG(4y$;"#?Ln?I9L.vtma}qpC-4|chꅍmsoN52hĉ޾"1*>n)Dl@sQreX9c%ɩ:~ ^"I-v`޼ӂ>LwoD$y=:;߮B%>Nv[a6IL(I`8E\X ۳DSxk1|v_3FCgx}Z K.7eAղnxx|~~4\4L "@իXhUCr 8 [XSfL@O5؊݁אŏ(̑5#Z٠ яn;k02[Rgu!Ԍ]Nɾnh.:+ }in.zvnCȁCwWGs5Z S4(  |e-2 І6$-{bW"Ϲ C|? 1E'ܦ/sw&݅nSݶC~;%-Ys؜uɲ+ABamqrf