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 eeI <|L ]/ Types_Tableaus_and_Goedels_God:threads=2elapsed=22.687cpu=20.604gc=0.272factor=0.917zXZִF! "]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXTk.0u_h܅` faGA{ kEIfs]ڡ}cg|#WuT-ԃb0Y%H%6KwUhIq >m8聃Ă㋕^)D4Mf[ if4eF,bGךe#-? jv=^x Ԕ}u07Q,*Wt2o7Ʈ`V]؋\L߫`Pi(8PZ}uO&Q^ >kX}:gR0",ޫ.Wh9ri#̰FY&0.Y?duus~ QE}LW8ܠ|6;;p~w!S羡L\o5W*XTm5>u4NC!4Gtk$?Ѝ$_Hszrn1n#!0y*V^:GlPZCp,9t.N/*(fYn YrhLh.Aҏ|@qB dz_;kvLhډ~P':/&Y% f Կo mN?^|/|qV^oG"jӂ4js ځ0m(+b4:\b/Dgv(z]{6*Le_>r쨰(u2v[1;@Eש4t4gV7:^JsJ 脍9δJc}d+D;ude}%*حbavF|.C" =._F% أ? 0j V(8|Hdp9mպCy'Ri{ɡQgfmO RWqgDZ{yyfQIp "K6ioC̅YtPc`QP%،Oz,rqjt9lTb-%)v}F<4gTj .Ěίs?{h1t@)bJ]5 c MǀVoD#'3k3aN Y1GD!4nʑL>ܜG/Uh]{QJT1U 3"G2[+z~M)<*!׭U&|ӄBrgJ (=U: Y,!CvߟY;9;y},GcZԃ.ˤD]3qz=]pWP(pZ:j4)+cgq,$,K6vh-d&jwMafq`0'_-_r=0Dz"\s|zz# ħ^(@ꥼ,~_}?%н:䒴TwHod<)릳B"HLd)$b=Jh __  gYZf78538b380e8c831a59f9add2eade94aa9bcbd0779d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 !I Types_Tableaus_and_Goedels_God