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   e# l , ]]HOL-Nominal:threads=6elapsed=7.043cpu=14.060gc=0.708factor=2.007zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯ 8㍡Z&tûc ÔM \E w=44Eyo 5&) 9 6f_hBi 5v`=y@-AGw%KX0~;.xSb6 #!iGi骢n8 ȎzFWsnգ 熱gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ R#:1`)%&5V^j $%`I'{J}YZ7zXZִF! ]ŗXi%90) Q~N;Uf!WyACh ma`ۍ CpC[4I#3٥ LT[2F~WoԏmlDNfr(t(C$v)'qKQ%P7w";7 lz>5MRͷzꑿB1 R@Gvi/ףe`bJ\NĴ͇j#1  B? A.&~=Į:6~,i64mFLvN@猉vꓳIq\u0ȊXۆ! {U7,P7πh;ZVV#a|,GܬGrM>ȟ5%ES5U:] VVAܘPfk jlL;Gd?s }ncU-Ѣo-:+zkvqUv-Ip!덿EyIq|_Y3 !JKID TW-ƹl%{C1a<<ޮ=yFg>c 4tMKwrxEeX좩Xiv À訷v ユO03yAq)I+5"2;ɯAUHgYZ596c04ed80cbdd36452816fce04c153becb3d62c62858bf7fdf2d16c6c85785e129356049e07047a 91f84b8d0d5f1c5d3cbd22557f0db5f1ab6f6a8c b968a3598e18f78a38a4319f8fd77de2165ed05dae37e7e3a8d0553bae9084fe7c26e8bc2a9ac969 # HOL-Nominal