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  h h- LT| ]/ Constructor_Funs:threads=2elapsed=10.402cpu=6.096gc=0.244factor=0.597zXZִF! 6]ŗXf1-/6vRZy ߃&O/GYc񍊗(=Ti1Tϝ/jVD}([!,?z[.J!|[v>6ֶ~*n?rLǟgͬ}*4k"@bgYZ7zXZִF! a]ŗXiɟ.6j@׵|Ix"VEA "n+e^Wa*d)p>#K{ W}/Ÿ+5P'wx}RgYZ7zXZִF! 84]ŗXi%6?70nOF(.oUvҒ]_9|DC)V|"t 㗓DkBX$XhLVY(i /̂(TUlf V^֥4LCE=fzxU x"-j HD8 wL*x$3k{1*?L (*g?$$h;DdΖ`3S:X}f;οutaKTd'M-ϒnU[8,Ժ"LE '3 L8w9OKR#m IW4U=f9jcO݃X[w*:5;*c/_97玛:ƿ<ᢗ=cRR_F;tG^hX盈|q`X%IlP.SIs$y`[ld!Nj.ў3oXiC9ɛscq/u"74l#;}鹄Pbr})jpSwKWng Ckh6?g,#7+H5t`֬9] NTՍx v{Ljde