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  s D4t ]/ ZF-ex:threads=2elapsed=10.861cpu=15.624gc=0.512factor=1.447zXZִF!  ]ŗXf1-W(TA)GdJ pgD3?֯12w[n`D+Ћ˺7=;aR Ael΁L{7If&X(eyh'&,kWPr¬RGY%\Zn}>ϲ}')zɜFQ p# `fcCD{ M ߘ1[*l 1l2q1l +!9gYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\zj1 k~ &Ww~nTFoӒXvG5_ e=diTC @S4b hCDahbT&`@W޻7}]pӝzظ=RCA1& +ʋzE$pn{iߩ&yѝ{ք7IԾvX|l$K Fm?*.ŤN/I.BT/y 4Oϐ5#,OIQ B_I̹=uC, `ǽ"v.ڽ['wȞXJ(#t$Pl:s0,9WExcmP`DtlP H ^M8 DF6Bn!,E/2gt9]{qaU u Ut>* 1F°5FbkaXƻ=XħZyf>(sAmf3v1g)92q tD dk0Px}I 4Xf.χI6U(G"u15!| %fmϬN"x"BSdǵG-A<9VK+HeNib(􇷖Ӕ+MqX 'u)qKg;5X`0aklkgYZef7e6a9c34507ef801ef6b8dae237776e03f927898dd477b080148668828b0f67c6e8a1d9708b3f3 2bd24ce6076c349b4ed706e0100c71124252a530  ZF-ex