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  ` `%Lt w TortoiseHare:threads=2elapsed=6.741cpu=9.884gc=0.300factor=1.477zXZִF! E]ŗXf1-/6vR[kG+j'bf{9lfLXl#ьZ|VP z5Gs Gs@"p ׿+b-0%As͵ 5o*uJY(\9cFBJ{ڵW&7 ha@ӻP͂A{шo|3qe>xT `d ,\L3q)/yك* ,{賷ަFZRu9zB"R^3e~#N?y*@]EBu XgYZ7zXZִF! *3]ŗXi%6y48|be0DKo6)ɲT2T/ҭZ4+Dl@}MUs{=4s :l]֭H}= !)INTAE7LI9^R"T1Y>T<2ttm{x`'"O:Jr3c!MjP&IrnB&ir,ΜUF9,+gvpJk]q~Eįo~!@K"PȊK-\:WM̈c*^-6}!Hcu"_3%cΤn:XPrQ[d-A9XZU]29H{6dXig`fO.!{XK',Aus] #3r3*21f$n4Mj-ȵZp޲p4Zdze-ف3d:0,6X.VO.}SkqJ*7oa^kPOi^ECΛ ԠTAn. @l3kG&>0,xd;s[](㑄jv=l)@T$rgYZ059b39b3c71e408ea02474875982517bfad13772 0b9cf525ecdc35de6ad40e0c86797868b5ccc5ad 42400f19e8830f3eb7eef1e599b0298d3a617449 8b68cf377068d359bb682e8177940c0d05e33582 e6620216318191273215b663199973260548bbd2 fec8b66b788018618e3c3d8415bb381ba89fb008554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a % TortoiseHare