SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info t)T< %/ Open_Induction:threads=2elapsed=2.257cpu=4.304gc=0.176factor=1.917zXZִF! n]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ Puz˙453{o#z%Ht{mj'tJ2!JS0qE)>i'!q9A4J/hNWr繌#n-~ELix #LQo ?w"6kcc)mjc𨪬l Ӽm~82AyhT\rRN:n}I5&wqpmL_pn3?O GnbGUqx*1Z4+@ķRꮍ ) Open_InductionooG@%=TzR?j"+d3rYs3IUZ4=Gluڲ6J7ԫ.푲`c_x&XgYZ7zXZִF! ]ŗXi%B׆h*ȗ~c@J 3%ntFY2@m{饴*B{u^hqF3'A`+JŹ8($Hsb;Tl<.UHg,!B[!)HF_ !_)jL3*jG|3y`;3>v@:,P4/L'\U-͍H#&dP dbXw_?ɉxX2 WM@rRr eZ[Ɩ.Wސ.|sJvD`ryZҟTI ~bK=*E,\|ꊋۼXZ Tq^TV샫mZ>--gN;,ΐ$&zf8q,w9I1x${mvj)a1%W%0C<Ӊ/H{YJw1:A8"t7禾0"J<9m wm5Oək1)SgYZ5b77bfe746fb969ca5ddcd17d1e46b0b332699ba 5b7b599f942cb56b129db8b22cf251e66d0a1886 8d3d8e2b1d4ea8df79736c16a4854f21fbb7844c 921aac8706d4bc6323b06423414d9bb796c776d6 daa711f4eb8fcacc54c6ae5cd0eb081cfa8b0f97d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295