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  !  ]/ Prog_Prove:threads=2elapsed=6.307cpu=12.148gc=0.864factor=1.937zXZִF! 4]ŗXf1-hg3㶌 8UA5kGc,SnW^.kjF`X~dcWlW 7$7b7L+[/ÓKG8GȄ/xn'24-~' vmJU<YjQ˲󸮁q3jIiE2 ݮD0Ǥ{OewQNDvL+Z(a*_Km 8͞gYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȵ ySCo7Q!,|qF6+am aMNd=l(β2O,[QӴ!>$%B"'UqCr~&)I~87>|Ɩ1p(|NN8jVk8[WgYZ7zXZִF! e]ŗXi%;>)m2sB),{\KpOgx$vJw(8όIDH\/9mM5uyGFIQZ\MYXgio0Tk%}:uV%2cƧ%&zh- 7KŤ7"ˣQpBS;#QHXS{q}?VeuiGplp/Xmzс@=/k4[m$/䘛k18(#R7C:,4ЎXøp6vK|s*Bv<ᇑ0}V  = ݀zې5VsF*ufI8jՒע+'`bg[p!s2i/"^l B4cEd֗$#t-gCItެܝtƀU6tnWKZ>wjk '3[`b{=[,pƩeL U[B APODbNZh}+}v3p,Dʠ|èJU%?܎*OUi%O}‹A!JрQ20еx'2C(X].RQlkHּO5ttAg,\LP:y.];$<gYZf3c302b93ba086dbfe1815c96ae62cb8e2ad9d97ec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769d  ! Prog_Prove