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  M4l ]/ CYK:threads=2elapsed=5.141cpu=9.584gc=0.520factor=1.867zXZִF! ]ŗXf1-/6vRZy/``$%'Yx3zK_"z4:|&@DZOG ½`9:"T1FȢ!c N߹Lc]rbu>Rk 4˅ž- Ѱ5 JϾ?' &HyleNqqzNOBfI#uib\rh.ѾaA8bpIcQ-jE84V6 p5L&S6:*x|` .DZgYZ7zXZִF! # ]ŗXi%6$ !㽱 K+ظ ?<'DD9~qY<;i ԍDѯ8KY4hؒ82뜫:Nn$1/x\9JScK6'l9y .@ٖ>O[ h2v.7T }<$ĚZs.͘XMaR-Ű(ْ4۞ķ; {5Ţ}βg3:"q2}Z`~є(-C=@&~_;X$&Z[wت Iً? _g -,M(EmJF26˛|}yBVFy. jLJ;NJ|E94m4Ywm8be'nM ?;=r67_akveYX H\sqI#+U 1>+87vy7>W: ٗvK8fI^n 1 `*d&)7h7)] `Ƙ,һ50NiFPl0߸`>#Q9!O/nqԍzSM7m :p8o}j#C>$"-vd:G)f[?2I8/T?i4%hUѬupMbT kh}}XUFKbαgYZf44123a687325ae8e7b50efdf25cf04c478815c072476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5  CYK