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 ] HOL-Hahn_Banach:threads=2elapsed=3.995cpu=7.648gc=0.208factor=1.917zXZִF! T]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'QzqhIIP4 ۀiy{4 fVVVg-b"ϣCԴ7]SͿ漏b}1r35 ivEU%ƒ 5o+۟u'sv)؝gZt3N`RQ&URL5gM1lT؇D^=f?lq F:.K[ (U;)gYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļTN =Qo雏 9?(ꨠ??'\PjŨ C+"N?OiEYU9BqyɎJǿjjT9uefhթ`?rLKɚ+=#M$բ_gbR2@ɂʜ}0۵iMV5(@lwBa9tIRk-ױgYZ7zXZִF! %R]ŗXi%96U\;=x麊jIRtt<'fmHrHW=ؒt="ׇƯD>*:|=EH!CRuIo?j059]:"{JE3ɽ7XNpN NMl䜳ݑ}9~qWWCc#98M/7}B=tV-pU._]zkBW0!l_u%j^Y85?.GbӫE 3,n T[zHi3 O?RGVT=*רgߓ L֩?ԣG|1T%B΃" "ׄQU1^Dg!h_p'R%˖U A'f?#XiHYK`P2;m<ؼRtF(> >dГN*$T OݩKYWy.qxR¨#=xq=0a݉“r4u$q#Fp I"|bxaRӂV*Hߌ"@JP{BLѥ#gj5DV&z s;Vnp