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 g) ltd ]/ Pop_Refinement:threads=2elapsed=8.089cpu=14.752gc=0.620factor=1.827zXZִF! p]ŗXf1-/6vR[2y6ܫ:/ҵA vҦxWPg9lA1ϭlNqY,Qȟ`Kϵ-OBvoٕI~2r8iXZ iS%v|S+笊!j&y#)}(ڢIV0xM?˅K,nYfh}$ҝ(R'k?;! k$M}!_c-+v%N%%3?e`^w]55~ٌ)*C| K -\OvV,M*g>FdcU`̳@gYZ7zXZִF! ]ŗXiɟˏa)W  pN}Ok0"0vd/-eHc=Dti)"{Urj%a}0fڌ:J[GB>yzR :{i%y­jpсK.lx"&dϔ\R[* ߜ_[ e88]{w&Vx_Kgs ho8d}>j7!\& UDlIR:٠~TR<ʚr qOQrYcәPSq]!Eoi5?~ @xBt<7Oo 5 ),LӅ-(L XuUVOW4!>l"b%f3~D4eE`ܡs0 ^HApI<:i0ی`J[lZ {7i})DÅ9[$.+ՆPGRq*\D'6ng ,3W!V eg&cigXpSa!䮴z xg$:p[QgYZ4a3150d81e69c5dbe305043320bbd2428675f25c79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f ) Pop_Refinement