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 ;Dl S/]Cauchy:threads=2elapsed=2.859cpu=5.456gc=0.116factor=1.917zXZִF! &]ŗXf1-/6vRZy_[&~ZD2[o$¢'CR ~G´;9tAS   CauchyKHu*f/c:X_ux쾉4 .άP" Ő1jq&E墕GavQ>i~LdgYZ7zXZִF! G.]ŗXi%zxH% L$f'XR+3lH<HG-.oHsEyJ7L `*EMLFglDJb1O|:+]^]Ő6-XƔ9.% edL>BUY]`'xpUKRN`<%Yv^Ԡ"8G˒^3C>Kg6%@Bb(| Q -'M^`Ň_zBxS/Qyv Y#^DiHIwBbHKW(,8#\OgRr݃>bu~ خuMPᬂO}/_%-_ 8Xxe& H~ @&"ֻNPK`$kr H&}K5)6|*AjisYY/2OOur*5EiTãܳyIQP0IR/ @BW'8a\Α+8߭t:z!d0ptaKL q.gYZ91b9d46e1716b2a13e1d47472570929925dea7cc 9eed8fc1f6c54686843ffb969de40b88bede13a3 a714b90a4ae3b6d0b534fa55ba75aed3d50776a2 d89fd00a601201ee7e3a7dd13c2b6bc868536dd5c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d396cdd943b3ed7d80736d08692c7bfb08c6c4dc00