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 FF77 T\ ]]Abstract_Completeness:threads=2elapsed=8.116cpu=13.896gc=0.692factor=1.717zXZִF! fb]ŗXf1-/6vRZyغgЕgQ,n0 w{YK-L2l 7^+6IM\ܔ!yĉHF\±]KgaM:3l~d Ƭ M S*iMu8iӘ+@v_tRq[ylAH{ 170({L%%gYZ7zXZִF! ]ŗXiɟlAC,YflӅn] 6X, x%mԫ/gb.t{&+¨ 4):*KG7ε^ŘUv$W)[[.MU|…z3PZU N_ad7hMRGy@Q$ͤ1UBgYZ7zXZִF! 5]ŗXi%9*]+mt~&0nxR,|]㤎Jz܅l&J %9qQ+',Y3B(7gʧ1I)eXV0lSnVԄ1ţH/ |8 /x ،j\ v'Q>荕J.!vV¢\5NWLB[䤹oMqU+OξXf/x񐳪iHK=pfl3K 0 |6eyLmH^xyѵ",6(#4)ǟq$n]VQ-ٛ y[U) Lܫ"KCLMX**G"A?N_j@Dؘm2>#w%!s%ŷ_%QO ¡2AwKjuQꌣet JDn+Φ:I D?u6?%::2pR?SB?_-%Z&z;S{%:Cf6k 6CfŖ_3c7c~e pѤ?`dZ5TiT!FEnCM l= Yms4)uwc㧝1!6\u;b;?+*Lv[zg nfm:UӳY8+N.f[*Dny #B㶏hN%a& mT<⁵y=z\w.H䤰Ks;Kv02Jy ugB2e> kgYZ60bf781c9b9bd727a555f9bb9d9df72bb7bd1e50325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 78d36a4647f0ad2dbd736c70a612f4f7fd4926ad5014fdb73bb53e8b3d9b2aac6b909806c90c1c42 7 Abstract_Completeness