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  I I4+t ] MuchAdoAboutTwo:threads=2elapsed=5.001cpu=7.780gc=0.228factor=1.567zXZִF! ]ŗXf1-/6vR[k\_[FjhfP,\.Y|W(}4>mՄ'_Vfaۻt`[ÙEpO bH v+K0f3kie!V7vpvc‹\Rٚ۹Vf;D͇뗛,"FgYZ7zXZִF! SG]ŗXiɟ8|g80L(>7 71) u0>$D9Lঞ? qRcTP}YZ7zXZִF! ']ŗXi%92M!7k FZ.u;XR܈ G;#RLR5*V[I(*b2(4r)pc +q勬Hog?}Z"7603"x2ke 0dO{ ko 82#dfY3IO uU]2ElCvM!9xwDU9n^Z0  怟UIQP*C!~+s$FCQgIW" ;tECu_,cg,{kH5PG' tP۰)!+B כMq9Z?0?~M]>35;a]JBݣ%-۶S֩7sm/imA'pޝ1c!nsj y"/ͦ{De,W!%~㞳3OѮgYZ1eda5521161d32a70922a810548a662f24a40cce02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975b + MuchAdoAboutTwo