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 ll l d ] IOA:threads=6elapsed=7.056cpu=28.688gc=1.180factor=4.077zXZִF! H]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 𫻪O=`N@rf(8w,Kק2AEcBlF>|cIgs߈qdj#e`'*4X:q IJ!|:9(>|W" ngV]gg/cs Bׂ9{D?t VUGC]U`C? HHE=ۆ'c !`w C{fu$vu<4Ux|k&ƞ wʧNXek_u(Y"=X?i'Z $r=( 8KLOE}@Id,VXgYZ7zXZִF! `~]ŗXiɟdN'LvH۹$OdxݐߝdKSB+ LwZ2vcSl$ۮVOZ+O`Gl*'D۱df,d4ğV^+^f" amYˍ Qf1tB[2>*HR|:|>R{;+ʠJ|-jXw\G'X24f|TF 0}|#HX(#?鋶hN_YRd.8wT߲Wݞюt{{xqb[7A^~6=]vCus.i1gbZfX=sef=7- 8\[gYZ7zXZִF! #ek]ŗXi%9*_CH^n/]Y[2(OM]rQT֯!c!Sf!R$bhV(twOuw|I2&*^&CrBO8 <42}4M{_lH] 3)u"p˄#^06$F[ 6b^;$P()eZ;I lnd|tz)fTR + U =IcʴLsQgxBN Dy/|MEE.a7DdtWNa" QVVy}/2La[+֦Q/( g BqO$%І`8oOMJ=_F">_t)os+`2!­'ƇDb\?VQlWCS{|%bN=LdړM|R#=Thp51.0=](lU!]\TL҉/vvAeϲ7%cJKHXGznjЗ(4RR"Dp#Q)s"w >X}5^,2kK%4(fUfptX6/wiTCk my_oYs$F#&RAWxtq1a 97{;`uT(͘i(%k?K=![Z;JrF;gYZ95824462015190ab631e9660528da4b0f5cdee58e7fc28fdd000a6a43da8beffa0fdf0252dd408c4 481d810fe6ad6cfb0b1e2ecee5def91c00401e8b 40d2916c67691da967a394d94eebdacdfad05fac  IOA