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  &5 D ] Lower_Semicontinuous:threads=2elapsed=7.062cpu=11.852gc=0.256factor=1.687zXZִF! ]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&EJxDԵeX-kى{ ^#NɦOX-Xn'DZX c1&Ȑ|TMCbsdAKʠkqDou[h -gYZ7zXZִF! ]K]ŗXiɟ$imC?Rvqb(CϭZ0ӃbW*zb -kv:5g^4}YZ7zXZִF! 3Z]ŗXi%92AqaSK8l@^8_w(мv]' +#gUW zٝ!wu%OR;,|gmXjC \|LNPF EH*ɡS ?r&g~|m# 'ϻo>ӝ4T aG_<) q C,ʖ*0m δkgo+* q+pSTF`>K.a/}CߙV ڨe$`Cck6{{efbP+s$Eq=?}^;0ԕ9]an&ͼ v9thT3 LCc@1jOHGY(Ӻ&2:}v=xX+ ąNvıu;g<@@_W1Q}[N,uܰ:+;MZHѭ?:g_ϗt@$rs h*ٷ=+{7-""1f27n鎮%Kk~=\F~NC>4MJg-˨1M'<Ϛg."{1Η3}1PIO5RGD*d Id{y\gp Mo9}Y8 Rσۼ5@H{bѵXNL;u.1w{v\%td/범CNb8}%׻VǗ$vZ" vzYPԡҁ qk}>8KQ"aoEV.f>iiLLYͰ"l!_!ɅEװ?Ϧ7rt-ӓp:V)8TWOAjg_egYZf06e88dd80ae107a1f73e62df0a8be6315322b8af4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 a643a21d33ebcea1725873278009917e0a504d89 5 Lower_Semicontinuous