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 C) |t ]/ Pop_Refinement:threads=2elapsed=7.746cpu=14.888gc=0.788factor=1.927zXZִF! }]ŗXf1-/6vR[2y6ܫ:/ҵA vҦxWPg9lA1ϭlNqY,._&9r pZM8.tݬVQaGkpa֫#*~כ}!$ې *z/%adj>o7cÉ)%%D HG f7׼PY5#4EmmE3l=܈vj^2(L#:#gn &ؓxX(`mU:#+1=J{~;AM_ȫ!x c뙻\9JV 䀹S r@ت2hzQqlfM y) oEUM$-6ʤgYZ7zXZִF! ]ŗXiɟˏa)ehL'e<'$y|CV=1+75#`N1bꈢv~R-Q"IMs4Y-ևzwf?ֽm}.$@6gtg;/ESAhPPX)VOggYZ7zXZִF! 3s]ŗXi%;уxT=}2~? b,m"8TB~קB,yFJ$&FÆi+,^%URz[c-` ʢvUAOȷr @JZ .%oYNL}"]jRptCmӟxX T˂ p5v A*P90$7!CZ0[ j)Qà' 8:[ ()хCw-Y]Cʣօ6J&8nu>OfW%ɇ$ͱzw˒ ı'o:7տS(H@G-DU nc[֛B}'^J0sND.Uf1]cӑŻׇZ|b&]d$!|-[QVYJ=*Lj3x;5CƆ/O:QlE*mH@MIPL :t-!?cMN9r/{qՄ"]# r0s ((8n?Eo΂a)MX2mmq+ӌ*.q8**4j6AKU2h;eշTOQN,S["ah;*~Cl?2u48Mz2 |EV ^n! t\5XPڊ/73@Et`_`'.3gKWxvwƅpظ+ (XD7BOĢ^ͅUAXe!]U0PBGƶ`,T:a=>H>d2 I#U%^e+pz @`@^qjgնԱgYZbc88c49e18328ae127997758eee8b4e655b469a479d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 ) Pop_Refinement