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  x xd, ]/ ZF-AC:threads=2elapsed=5.762cpu=9.856gc=0.504factor=1.717zXZִF! ]ŗXf1-W'UTxlFO` -<-4I?} c2`<€U2Xu]qIt〸Qa}2g3[|Tr'=U]euNٖ\!}0֬jtl/9{ɳl+b7:|0bz9ֱ~}@LZ[`̑HT$KHjmz̞M 3 o +>I~,Ţ&fgYZ7zXZִF! ]ŗXiɟ98c tؠL\^Q)|ڰm, -s"׻ed Ү_R8aȤ (|1;?d&iO4Rp"ٜf !fw,O^c A(he袅csX9v_[G, 7P; ={O@9)3{:OxkVlVb!:yCk!8 c$; *q|KܡVH{gYZ7zXZִF! ,]ŗXi%;s+d5;q"0̂GOm _.[' }f(wrviϔ(t*Jfc͇V&9st2d9׉N_3u]11L!T:eu+#]4sSi!QJ.tpؼKQ㳻At) tbMG.t-:-#<I$*4`9,yrs|SJ-pL (-{6Rg@V*w>S脋 _/M"B/~;)W2^ج_W貯 CtN(&Mh9b&CY$ ev|K>{ApiXHPܰh >fz>(x2>ofiA'wyѪk;e߰v+ 'JI DlBߦe0%j<7;IVRΒ#w{|+I= uF5ǺG"dx[﷎