SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info c w/ HOL-IMPP:threads=2elapsed=4.037cpu=6.616gc=0.136factor=1.647zXZִF! []ŗXf1-q恈@"aiє4$K4ͫ* eAt 2ogcknpPx㗬7βK1ATa_Ps]Czo E!=GMwq7!F(`i`HfLALH|S$ko FGIu ?+-سW8$f;,ۗF )OŅHdIhzV.E: le>G_Hc 07߁_G{Or1xK̨CէTSA趲!I@= ,JUqx%N\I5:Fw&9˕CS%E4˩ݾ͡{H  XqOBʮ-:^bkTrnW(m[Zs7,C>66CGG?mv@[EυWw-~9@!-اy0ncL:   HOL-IMPP]N!wtJlyEn EvEgYZ7zXZִF! D]ŗXi%k= +A4Їw=buGYdWBD6A"=K1QĐa* pf~=_e%NS-,䙈 زG{eS>m)vdHw9PvUaØO…p뽹eѐ?] !"QHd["3Ho`mg X==tE7Lb}ca~B/ֿ]RIaͨ.(!4cQ/%&[i+% ȴ2Sm_Rdg]g ?qӦ~zO}*h1\bYSy5*-Iވj kIėHKSt-DHf:Y~YjG5q͚콣T0z:‹jI;DL.ݸx