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  > >?,d ] Lorenz_C1:threads=2elapsed=0.756cpu=1.316gc=0.000factor=1.747zXZִF! l]ŗXf1-/6vR[$ l0Ie1 ڔ8e N |gq WͱЗ,Ĺ׍I| neЖhp" m 2i<흶iI>o^4%WU! $Tٝx kz<͟n#agYZ7zXZִF! G>]ŗXiɟǕ,,1q~Ԉ@m4~:q9F?JK4͝\+KWn3`KJһZkeYsX;Ve჻KiWVXM$Ay(KR'5<ٖn <gYZ8aa91dfb9cac68dfc0b910b3a82dcdd0c7508436d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2 9fe3060e6d9c4b605443a0ef7d8a98d49ef7bf5d b6ce49cc6a7a39b1e365425d93624975de102dfb 98ffb2d8bfa2cb3d622edaefc2ee8e74b39cb662 644d381d79436fb30c4163d5e4402dd6992a12c8 b26dcf397d75830a13a293e4243dd2f023d55bcc   Lorenz_C1