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 B1 $D ]/ JiveDataStoreModel:threads=2elapsed=13.397cpu=23.456gc=1.060factor=1.757zXZִF! ~]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{fCThɩ;A,5 ɐXY\΂WRx-*F:|h{Ȗ{=b2Ը<(tj)'l Ș)$T>ma;I0~r7)/c?#Lw-ǔ[ w@`˱x;,$>)]JeNWfq{sc;joȲnrEv_r}( l5,eVW79! 3]9-MLxP]=蹵-qH^`P3ݽJgYZ7zXZִF! HZ]ŗXi%6f-N@O6C)EEZllJn {2(tdF~xYe!\܆A3 ~E]EWإVg>q}6.m-ik &L(0,GهI!m2|,J&Q4bDxygN=W/vTR1ĪaSፕwF*A4αPPpGN*riANe6hA3' -K(1ߔbŢy!sY|ŬXSf<,u!cJ