SQLite format 3@ . YYQ77Atableisabelle_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, "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 BQ , ]/ CryptoBasedCompositionalProperties:threads=2elapsed=13.249cpu=22.048gc=0.632factor=1.667zXZִF! ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R&WɬZmU 8MĘ[ i>CT+'_IfB]Ω5>S%HwkxVj 9LqdvI4/uh#Ad6w ehw -~Z`w'Z9I s,GiU-P~'Au++2.69ŢQz@]Z1!{tKaE$Evs^c,`x95xյ(vc] _ ט|pX!Fi kuZgYZ7zXZִF! FAG]ŗXi%6f-LսESMF{a V_;yz\-8. P{Ƶqwpw.y01dHpL dlϤEo8};D1f5|  6 y}{5 #\\׀_ :6)h0 >dVmk93<*rk\+:jC[˘= H"y:g){A ӿ>P0[tqi`#uhNec7$_4>OKF4dhUdZuJI!ק`;]*ʁ &) FXzٰ5\ |s#{r;Nب{"gF/h\f帍we+Z[}f 4J (H6$QiG?\ڷ6:fH;ŒNgYZ4c139c9f2e67eb863042f0379654f13200c7fafd0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 %Q CryptoBasedCompositionalProperties