SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info b b <, ]/]HOLCF:threads=6elapsed=11.840cpu=34.888gc=1.872factor=2.957zXZ ִF ! ] ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^b~1ϩŸ8e0)-)HQkb ewl{Ro`X-&.Mo\jtC,f_%)H.UN/ ;v&fq^%@}姱
i~+/B8E&j2L.cQ ,̜bQL{(xܶE&3V0/5&Ȋjb6a/f*\E=I虈lHqn/pK\+r5N->Kx z .T8r ! Wg YZ7zXZ ִF ! O] ŗXiɟ>Ӈɇ9S2]ʅJq]EL!b\s9'0ٳPYx'T`B o'5 ejZ W%eBBO"E}Ex|/FP3a֬-̦+'"`Ա"C?| 8:sϺyZD̢s!jM|-E)N#TͼB,#%=~~TAf p+oXOG^t|?#18DhJe_ G5s JўŒ:LrNm`H(Y p2CuPIwlñd.\] Fn*&5o5V`dڕY3w6A/a )bs"BOcV'"t .]je~vTXlI{L&_-t" 3 *]~ˋzGrs;ݙhEFyz?yoNzN8kGoa{k2 K58q)r ʥ<