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  L)d | ]S Mason_Stothers:threads=2elapsed=3.245cpu=5.020gc=0.080factor=1.557zXZִF! ]ŗXf1-/6vR[L]Kˢ!LdBsL +%zA#ݕza5M$/{|zGRf!ߓ/wLF{c&(lqM#IUn6ma!V"1LP`9lg1j[P!P6 `a%m {'gYZ7zXZִF! QD]ŗXiɟQ>G+"W*G(cmߏ uhTs=S_'$;$~,!=b1`RT}YZ7zXZִF! Ex]ŗXi%W~M_x@<9sA)TCxfغo#ْC#uK|MIńjSgp 0,:jװ8?h@4ߕi?c F_ŠR--QѻNLErth>˗#uK6b6=,~N2`0B艴-wUп_q[^ΠÅyQti'OHhBЭoFNq('fU@NaA۲#m9'ʅ=} }])sdTdƀ4/4E;Qk}JS~E5E@Z}Oln;`K62q#n/uZL02Aʄ_W2=?0CEE1_[Lm-7v iw~p+ ;[L@ 0*[