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   vDD ]/]Cauchy:threads=2elapsed=2.637cpu=4.888gc=0.176factor=1.857zXZִF! }]ŗXf1-/6vRZy_[&~ZD2[o$Ëҝݲ168Y-q_~u*";,"@\)G}i'q lsUd%:ej QU":]/!rϱgYZ7zXZִF! Z]ŗXiɟy?}ScOZh`KρqD.N+O1VP饥#QQjɹ:L`Bh%m=-kvdűgYZ7zXZִF! EY]ŗXi%;ib!h/6qeK֔o~?P UD L~&?˕rfZ}$,d`G9H ESVt'Chp :AFOY]HKu`"LtCσ@"ZUr/U[>SB PeuH$E Dlz5Nz6싒O'H,v@A (rS $.S@˾pn45x57@JR#חhfVeDBs4l"o}#n7&\a~ GJEoCL1nhd? )6B8FOҪ;kzr)(<ۋՉ" /Obs#`F $ʞE[@w ,,B%}8ϓBMcT<C͸Q`hL|=*ŗ^'r2J_bdһUr@[w,qa^7rIΠJE Wm}]{Kb_&)0W<W gYZa6d04aee55866d073987606b36820343c9ba093b273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee962584d8be4d5bea08d7548892a33902a47e546f5d9d   Cauchy