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 TT) \ ]/]HOL-Word:threads=6elapsed=8.817cpu=39.440gc=1.568factor=4.477zXZִF! X}]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yfAISb™%ɎfHӫ$`Nxܹ" ˝Lz$IncRLd..ՃƾM[(jo#^ΡKWVnV!:3:7g; 8(${Ha-9G(UDUGT= -7ia2~%r-Y}^Ŗ`_&9sїz&SoG[2[ū$ej*`U覿b1VL8?Wب#Ym& {m AݞKsIl~~nYR/qVb\˱ElʱvAׁt^y-t"U*hr|b]l6-]^e+u(au[_LKԨ|-{y/Ř& }P<ѵ3XoIdRq4Ff[dPp0N*d *,"TIH %}gYZ7zXZִF! *]ŗXi%;`jx}kt?s{h IEWֺo IJf;Hx.39>(!(сS+-¶)SCt:ՎS$%[ѺƏ`җ^UKp/S> dKY]\rH%p (%*,wtf=1xF41$n&tֲplٕQBe}->r=AEy[b$MM/ب*ٹ$m/r˧bk(>kTt#(백#=2.5 QEWj**k0:Xh.MBYé-@qb\'fItjv;@]D=Z74TLd JR!3@Z'0t1*  "3턜VbADQ]$'4)0:5#"&Uj:o?{t7ٍ-uN~L<~#`,xUو/!XⳆWţ]W,x<EJ,e1IaS}R+x*Ɍs[#H^;6֍&^B!i %Kn:LrgYo7Ϯa(og~bn+9R$sח"]3㾩34j}4^h7bNp!졵S:[e$zn8$Յ2##=~BNA9 T\6$XMw>jU~&4*|GѶfQ!{6f-:=MZ>CQD󾻒UkgYZfd2cd144a6666b54587fb7e41f71e9aaaaa0cc1c76eaaa26d5dc8b218d0a611295d4ee3d6e6f203f eee62ea59121ed3e50df436f618922c8776e9ecf982d8115f120689a3526728b6f52d05d9be78393   HOL-Word