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  L L1?L4D ]/ Lifting_Definition_Option:threads=2elapsed=2.478cpu=2.768gc=0.000factor=1.127zXZִF! ]ŗXf1-/6vRZdPR6 L_עKNpP\61&d~*'6%)`Lwdg> Wi!# Y)Аznjyk[}ΦYLKvǹ V 铿~~9WAARp ļ*5gYZ7zXZִF! pV]ŗXiɟ @\Œó2Q~YڤNi8K8pt2D;c}Ӫj2c(p䖞" @1Orq}YZ7zXZִF! 0]ŗXi%92m/_xa.NW` c V ctɯg{@BwMA 1yRp S߉pEu Y;:201i4^#4#~O/+ژPЉ;IQiε=_h=cٽw+8:?7wR* ~ƜY+ОQZwY>)k/4r U<݊'Yf%u1l"UJ#v"nV V , ppA6{kSkGC` 7EPKn38ԎG_mn$FaYPĘk<"wlyq)YjztS`d0i `D @ žuAx݅oW|Z w.j|_1lh]ϗ{L#yؾ7@ų"|c `+IGtA6e/ͼ?2-c=nc.zSj,C`kӗyƍpAƵG1\sX52=2tgxgYZ54c8ed01e23d0f48eb7969a282545874cb18e4150dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a ? Lifting_Definition_Option