SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  i+L4 %% Secondary_Sylow:threads=2elapsed=5.968cpu=9.872gc=0.264factor=1.657zXZִF! ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃$ F,YGt׿͆un=>â9ly ԽHG|QnV0P0#a"/]x^bg_qb= Ju|Ki~EoM K v6 =@:O:U=eAˍ3F(gYZ7zXZִF! ']ŗXi%6Tc5i 77٦P5F)&5~>k`<VDpOl#ogv;E-=pm"d Z:dp|dlBH}A*Z Cm˴9[8x;ﮋG^88[XQ*H.uWoX)0 &SV /6Qb֖dbno>{n"˃vT6@*W1+HFtnn%O  ~-:Ɩۄ(gUΕ==P V{v4<*6YNK_͜&x,o7Zc63PPN{ NU0RN,3@Db)O) 8Olěsk_!c Bңބ $uAf _7MFm"x "c2r'AQ Vh/f^ Mϔ׷0Ӡ -=3 +