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   4\l ]]IOA:threads=2elapsed=17.608cpu=33.316gc=1.612factor=1.897zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)9Hz32^Ddƒ?tqYpà ^TLcO.c3Ϗʬ9IpMZB6 9„?N: gID\v O[(OS"ڜqꓷp|^WJwfZ`YhͳTwqʋĝ_gYZ7zXZִF! `f]ŗXiɟdNjnrAcZJF?T ?]8<!94jqwkna< -L LQy DGDG#cOж_Ĝځ>SjNN%F(7Usz&SwÖm^Φ1ٲu޴ޞYyN =vF[>~ʱr `)@[kBu=9&ŗT/ȿ`T1"!Ň5Tk1{ _( 9dy Ahz[*"R1T`RU|)NBN)zK' x|6Y`Tll}0cғ'[s+o 8Ľp\Tu no~spRԀ fH=)*Ƈl-f9`E!9|/( Aa1 X[B&~LJ6{%l>z {aL5GԷ5 7Ai>Nz>BU n4x))]us+5'f\2I|Kܜ\Ο1x~ؘ{'0;l ?+iwͰ 1);FߌMdWTvzx6SQGQ6)ktw