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  H H55 Dl % Lower_Semicontinuous:threads=2elapsed=8.004cpu=14.044gc=0.284factor=1.757zXZִF! ]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&Wn7޴E7 n.^‡W+M0)@v+> 2faXB޴;r<U>XΏ5gӆL Y?xᠩ@j/d ZA p@QF.7%P3frE&g&syVyb>Ӛ9kDل:(&/'#g0zRv{6Dl"d s?}-sk$G=E#"[& EO!Cv>w2o}> `cU#?~FôO@ x\Heymz9+q%m`t c >qKD+zk ϭAwH0r2@{–"ecL5Z UGIn6]G@H`X*cɡx=&i':w'/ c_2&z?/GU TDv?Q9vMF~k[]-%ᝦP2Rzω +_$~iTR)Ct@%ji"q.pNyS?L_