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  [1  ]% Stewart_Apollonius:threads=2elapsed=6.184cpu=7.884gc=0.088factor=1.277zXZִF! ,]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH2k |WXS Ɠklw=ůM.c^(Zg4GsuN4;^#Jāxy$HY raj3fϨ֡+L'Jl5^A ۢw;SE gYZ7zXZִF! %e]ŗXi%6o.'Y;/[ >A$ zHo'ח>zDxhiֹڎY45{_[<=һx[ğ6ڹl4*0{9^c }Lfa#%g.8 e/AZ!.豯*QsEbnHi+_~3.ڴ8O^a  T++Rgŏ#o"ǎ^ذMF1J^'Љ &Y&d&{ b*ь0K^J>$rY[rfcV)kaKՐQ05[x)tɷP(t袣yST7$"!B_GX45GHw7$tec)_EH:[CM]COΏFBE~7T—1pB5T?Y,W-)),kOM|J eo1&̲W{r#OC?'?b>TyW3ȖwgOQ4>jxN:lULc1NAw$:Ēm[Uة>46Q7:.}_o85ʬ:.R4a1vt<2K~XO憭y-W@013&XoLBW`JR{Ht?Js$|gYZca7041ac49ed82acd0f39f623a5334ce1995436be003033e0a1df248159cfae37f3521344e99dff4 e58c0b53d135d2468d83139943d3835239d94d2e 59bedaa090758dadb6cf61e44de79f384afda49e a74f7609bfd67dbd153c851e2bb135000e159cbf 747e333270518ce60c15dc34844eeecc95a83f48 1 Stewart_Apollonius