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 s94T wS Stuttering_Equivalence:threads=2elapsed=3.842cpu=7.152gc=0.236factor=1.867zX 9 Stuttering_EquivalenceZִF! !)]ŗXf1-/6vR[] 9*%fk^"i -$#(O#DƈMɺeH >rѳlGZI.9tP#G($,_v\r9yeݑxLFaibuY$u^'(h?0mX#)GH 'w 'VpղDS()Ɇ /o~)u*UVfɎ10NC&)]}fEZ ]LΛ!u]6\h|G0Փ^>ưx}Mv^6KLEF+Vg˶BAP qlE`W<;0J % `UPQz.zjw;e쁇l%RX-՚';nF}*w{d9蠨 ր`+%\~ꚴL'iVx:iz@GOLlʝ%D-+2s8`H&ơ.s a5.s6IBM+cNvΉ2 H.Ŝ)ؔ^&%]^:,7=TQ˔w9Ǫz7b&tq\_w*u Uuɥ,s@Ek7_lNNoor5s$-XGimb2ᗗr+}'A'