SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  S S*+t S MuchAdoAboutTwo:threads=2elapsed=5.333cpu=8.708gc=0.216factor=1.637zXZִF!  ]ŗXf1-/6vR[k\_[FjhfP,\.Y|W(}4>mժ ?f0XH!}(%I'Y]WuO"j^ɞLLﵖ+JR }b{f(gx$??tmU,?}gYZ7zXZִF! %D]ŗXi%6<;_,)5?_9q,Pk ,ӛUmhٟGi@RtL[+̓!G,nh3*Z,?B9x2~]I@'Wg tLYn@=9BNH\s7֜yo 4UJ`-/G ؈u,xY _gg-IӔ%(toi*;c$z7Č@ku7t}_lNYR쐱;lS%+n[eN/ N_4Nĭ{?@'Z@ -a@<1z.:K) TQس'll/ljej7/Y ض oĝӧymB˜-85y #K`l Բ9|9pW$67& aKK!}7k$EdĜ) h8Q u;qTQ~$RhoTF&ɺx\Šݏw*]{l!IZUѯ= ,QYުyՁ- -J{ ^aƶk< Mk ]p&6wHtUv7X ;;4"6w\;𨬼wfK+fnTCu݀T;^/&O<^ET Ty+%@%OFmylPJRmgYZ1e0ef1b731836edc5b77fd5fb97fba22104097e6 2ec70c5a14df2cc510e42fcb79e841ffe231c49b c2b674203e2ed4778417cb7a191e611aa78312c7 f1a010ac1f2aa6be6f085b72d6e9f3ff05884ed9f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928 + MuchAdoAboutTwo