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 II47 Tt c% HOL-Quotient_Examples:threads=6elapsed=24.805cpu=43.252gc=2.116factor=1.747zXZִF! v]ŗXf1-q恈N/|p~p%+)</80WkLa B wg($ۃ׿>OH@dXx advKŁscI@K UQ2ַ:w6Q-x&" <(ZI[r%zqH-I=LIhZid(:Rk9<&Dw AFV1~o7^A8̙QveF?m4Y6)u@)MT֞( 4-G\$R^|@P*[3vu:1i){L(sEq A{W[oV;a'C.B&ڬ$~yݛgD# n2:jt73mSP`0b,/қd1f s(3B+=h⽬' jospT8[Th@U$[=^;=>C7Z_}k>яhrշ\Eӈ]v $pt9Jx'< N8֑ޢD?e>N(@fGL /aLkU;} _@ww.rXH%M<EaŸ]*f](pu ( 2Qlw,T`.3+΁"9+EYA69'cofSL9gn${%WBS_Oli+H!P\q] &89~S%OGWqq/G1w?돲J~b(BPw?`ELǓ{u)?7(? /todXRLՑX@k(fCr;jw)"$ auJ0n5spG_M!eWOcfG4dbU}Bpdko'UG5rw}ez/g-ԍYl#RZf%Β2R pnS95 tś'IɤO:xF[ToWqbU˥*nJ4k_m,^@~!&-׸[aOq=)Dh<W҇3f,|Hu6wsW !7~I[pN 6Mh0347i]y "?΂i|u|\J >I&)5b