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  ~544  Free-Boolean-Algebra:threads=2elapsed=1.065cpu=1.764gc=0.000factor=1.667zXZִF! R]ŗXf1-/6vRZR@:>SyR+HwcLYE݉^2 }202>|9L!ö #d苂i .}3| uƅN2fsq]?|/ !{2 hh&'qx:"*A=ɶ-AMv$*вӷi)*@2qbxtG[X+Pi~8[XhL.Y#mƏlRM{j8bR5PzOCKno,z?N O-HsgYZ7zXZִF! ]ŗXi% A,ydvB1XRHs',5bn$x}V"0906MP1LV=Qx&J!.lC*مj)<7y[TR!I!2&2MaByVnivȎ)/g`yu0檭曹F1n#_γqQNmG{lxr-cLe. 'GGGW96J4:z/ŤoFغ^O2f $Ӛ Xƻ_܂1A2_ \*?jiFט$"lƮz <*5W.`D1'>H^]uF)GCny>2wzϸ OLQFecI[b[ RRԆY'U3AgT&q 0ŝ ױgYZ604e0cfa691479812da4652aff7aee1c24f64a3e e79a50293a173d35c3f5bd1ae1071e4a6f757ac4 ee7f67872e9c58a155bab549f35199e43a6d3519728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 5 Free-Boolean-Algebra