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 i1 ,\d ] HOL-Metis_Examples:threads=6elapsed=12.075cpu=52.452gc=3.432factor=4.347zXZִF! XM]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVVs-ܿ|ɇx0^5ٌAY-&k`af<p@hcuT84ʭ5P<8clLڱy2t)`z` =\fny;MJY[s0&!~D=mg,}jRN Or@㢾4Wŕ@[,MoP'FUmpU ˃oZմ@}d(( Gp_8QrUKߐi|T"\8SDUOC ڢ{OqL[ݻ>}~/cxxUqH Su=+Y oz?Tc]X` шo]]J@;tKg'ۮZ|vjۣ͐)DhX}fS^W-01~ڎ!?u;z.M]5\}-2kZDcUVNm04rPafRf~)jm$)ɯu8h 4ʉٱgYZ7zXZִF! (]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMy]F1C &ڳS5ax`̼jQfW1@rqn:|>A;a @qfnӦ)զi1(!ncnS9{C9Urhӎ'sfxk] @B]ju4 .U'(BxG.H¬fhsdx S (zo|tE;SEZ`&K?}z7G_7H~-sTYH5\X= U#Yȭ@VrJ* I`IW{ˆ?I9%p\v:VM\@BzF  ?{%+[8PX>!8sַ0F y>F]I=Z?-c L Lyܛx0Kh+%eLXr"'2$4:HAҸ! 4)ty&ن5E-SUkpWSv@OsXŹwa8Q 5tL=v;6xY@RrQJ{.r{ f!<^kx ,4x x|A6H5u(u&شjY~ \lD({{pЏ B+0DY#=~míY7a%Y)􃤗K{h ]N`rh-f3ȇlE]%fԟQЄr Oeɞ]k`e-j֌p tk4q3J,oJ[eG+Yy_6T"Qzf%߸_,?O9`T`beI!yiKE}O°{/ <ʧBƼ8kScIHfe.xoSso\]l1GV4ֵ!Ɛc" X-M.od"ukl\gkhX\b}*MxLeŚ|YK`a B[^S[8I0^UEgQ2mWPIJ Mjpb2"lZ.99c$x1+.UФKyWT ,Юpxy@녱 Ͼ"(׭m`)Xk+3jw&m+Ryyӫa= +(_8Ra YR4Zag',-ɂDOı >O W %ˏ櫇m^SA#Ɇ` qgYZa25221a484d7a730f89880fff9c7b0d834d4553932e67617b84c9c11cb8188110a1a4623e5435f37 4cfe04fff283b1f341f7b2f228821a9a87ea40ea 089e08bd04413689c9c2f25359f75795d5eccbbc 1 HOL-Metis_Examples