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 F?D, S/ Lifting_Definition_Option:threads=2elapsed=2.627cpu=3.220gc=0.000factor=1.237zXZִF! Y]ŗXf1-/6vRZdPR6 L_עKNpP\61&d~*'6%(POM ޭ=Y2typմ~iZjР^ ˲}# Nրh`znzWگ@ɫT9&_, .W ? Lifting_Definition_Option?Ɯ˕F:?J BreC" !!4~s 0ZH#={4e%y1J^L Sf [C,Bba)C# xFnt,FL .@g]Zu#ZeAQG }ϳ7: !gYZ7zXZִF! ]ŗXi%̎c/CS (RFuܹ1,Z>&eot]/q^c{yd&u~6h=o6y+j_DYb|.e Zw>fky6J.& ջdp^oFbS'޸(TZnQgr 6p:HC_rFw=œntJ^#U;iw}iZ^BJ8cEJ~GbyEĮ?ᩣ@Γ6fah솗W.@^CK!w}!-@+fCz]"CYIPۋo$وJ=@dlni ,~;A 4&<+$](oI E?\"&Y5ϟ1HZ%I֬ hsq1c;W#qfn@!H2IX.%e)<#dPvf&lʱ:Z-7ᾱgYZ635498f98c69487f013703ffdb9caedc0fdb832a 7fe7d57e3e198edd83a2d382ef65f4104752bd8b 8818f259d173d4e233934b3274c267c7f059cf3d 969ef410127838557c2d3ae99e0cefcf3e958300878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457