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  j\4 ]] Sequents:threads=2elapsed=3.637cpu=7.036gc=0.128factor=1.937zXZִF! ]ŗXf1-yx,#K[Ah |ҪayXxD2'FaV(}ОA9\L*SzxA_hy2xcهoʹl ؎h\~,?ƗZQ@ "']9`P6\'HRY^|b=Wⱏ(0ƣEEGz$x=H/21)SgYZ7zXZִF! ]ŗXiɟBv l82X}Wg!<܄!uΌ۔gj%əx#Uڣ!@=sL3 acҾj/O'}*;)6܀4?yGk6 *7X6%N䩂݀Η@;׍C偱x@.DLJ8K(,Y{G]1yŏgYZ7zXZִF! T]ŗXi%;u!k80EJ=Odw7ZV 4Yn. 15Ź-"?\<)tmyN>I{^6 nE+`u˹v fRtb_ׁ]V+`I!Fg甖q>ft8ܜ̃AiK/w( ϱt&2"tm+≟ٯ]63 D3Ui[)'QU>==,PQ'vm!ZFa>5?bJ;qD_>\^S97,ܨӟhR͝p^.ڊ$g G5曤 z? %`6[(5EO!I.bB\ \y}@vt?qD'V[ ^QMɷhJ,`/Y$^|zih#ƤPZ} 6pTrEBثp!!j"v^6ّfp a[hM=gvF$qDw6ԱHI~t|l(e[ v2AŻ(0Q̸${mM )wbrgYZb14c6403bd64bfc24aa79493505810904242ff9d3e7cae349853bb3f654071d127673716b1e97131   Sequents