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 9! \, ] HOL-Induct:threads=2elapsed=16.768cpu=31.852gc=5.404factor=1.907zXZִF! L]ŗXf1-q恈4?/*b#)gQq:#irnqIRG!U_͢BU`kn)l !03E W6r17D%hcw nNamBUګ+ y#_Ґ`LܘwzT&>e t}3q Ay/mЄE|W:RF$nŕ}P=w՚u$ W|z:'X y G׆X[RX׋3GfeII'9x:o-pI6 ׯF}1l3s &PW ZSby0%Ք&98. bD =9;ȕ;;O'b z%3mN\~ p^B #|P3b˪OJg.kgYZ7zXZִF! A]ŗXiɟ1Ml3`L"Ψx ZVAqy֎ȈQ=H&x]Fb2F1:өdW績EG}}Wۮ,,rL4\Y8ӹeC ==# 5iscy9Uvhӌylt9VZ j\m8]Wo 0?D8G Ƅh{C>8L?+꼤4R*b"jw,G5Q̎]b'J6F%MӼ){\V 옣JԈ G1gYZ7zXZִF! TO]ŗXi%;t2 ke넷Bш=r ܙ@wEfOun[fKDj&FJ`P7y1 8ΘIOh6*;F0Ğ6JAHV 善"ɩ1M agYZ68a658958c975b5f36860f1b4b44d77a166b58205854d6758689c83aab18dd02aba520db4dc6bf79 c08feb1745cb050bd06411837cf1536009c8c293 7c1de0903040091d1e09c534ba1ac732accfb268  ! HOL-Induct