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  z z?tt S/ Lifting_Definition_Option:threads=2elapsed=2.631cpu=3.252gc=0.000factor=1.247zXZִF! ]ŗXf1-/6vRZdPR6 L_עKNpP\61&d~*'6%)`Lwdg> Wi!# Y)А툢 !lٙ{L ~;VG~:^tAw>u2aQB 4`Wd9a2/(U Y60uHgYZ7zXZִF! ]ŗXi%6ב 7Fd 4E. 5DMD4Oax2N66 A֠Z#-6sr"_(rZ׎sg3)BB1akC4ѣNvmlp[ݕO'H{Qee=<%k ´Ǐ` kcJh@툐Qf:Gm!RW):[^Lq5h7I?D[o9xrյB)@ZT&R-8x6ο0n-h?oY-o:㖈\G5N<8g;rf^&R Zg,ZޒȲ̦pCcDUIg1FU¼/<[Y6%b}!6g6;p2BCC{ùtQkLpo]f"]WuU?1\(=LZ='3U\.@.YG^h po57{]f)vgYZ635498f98c69487f013703ffdb9caedc0fdb832a 7fe7d57e3e198edd83a2d382ef65f4104752bd8b 8818f259d173d4e233934b3274c267c7f059cf3d b0e51eab0c8d3dbf8b27d2a9502223abea2ab39d238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 ? Lifting_Definition_Option