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 rr 7 L ]]Abstract_Completeness:threads=2elapsed=8.072cpu=13.980gc=0.720factor=1.737zXZִF! f]]ŗXf1-/6vRZyغgЕgQ,n0 w{YK-L2l 7^+6IM\ܔ!yĉHF\±O~eel@l{Z4᚞JkdJt/6{AN;xM'Os|c'ucY5IHݫ<; J&)3ؗ8nh;lSbLG ۭS#I:нIvR' LNP佛鿋`tFpE##^ J1A_԰f[ F (z[#2c;rR.yчܱgYZ7zXZִF! ]ŗXiɟlAC,YflӅn] 6X, R'd*XBᵎWw vǶ^d{&xFXsPZ>z"iJ41N33ǃFUڿC"-)cڼi'GCv|oyNq%R[\UΧ.Pn(Zo8$1UBgYZ7zXZִF! 3z}]ŗXi%;ŮÆ02!jPoPzg/Hh ,.R0*\Bv%ZI:7z-.P3-\=8 <2%mTlSAx!7)|<K Zl=𬙢W~K:<"ԚNC)ޕDA`[R4FH&C%%2*,a^#;x~- .}l'̋ѮX5#:mFAMEat h[^}{?4_*>& ~B?|Y->b,RKtC7 ^mm$wTW,]wL,ŲTs̕sW`+J(;2ȳ\a he4\=й0D$aǗ]bg|Sbxx:)m_0#CrLJT#li_ș$c:0 *ӏ-1qY-Q sξZo]~0*l9(Hꓤܦ@&n&dt Gk)n3>4aObFsyG2ɵ#pkZ N6 'g>4N(!r AlmjWJBkKsF$hV7_|[=Fӻ]:!U/-~ǬqHE3L"bs`~fu &QL,EPc +;~_J%'W5{?\Y"+DBh~{fri!VgYZ5f4de4303a94f199cf8fd2dc7249db8620f712ca79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa484b66a5edefedd50f3ab385d584daa75b425e9ad3 7 Abstract_Completeness