SQLite format 3@ - llB77#tableisabelle_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, "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/ FileRefinement:threads=2elapsed=9.399cpu=17.372gc=0.140factor=1.857zXZִF! -<]ŗXf1-/6vRZc/[؎ V~V1EfA=+JbE}Hɰ!湝G`٬dN$|4\UԐ^x`YR\]'bѾ5Xu1 0ҊvP OEG-P-#lCc3ſE> QiE9FR&%,X W!fAx'Xe7ʅWXI?!:/>϶5GieCes Kc;0x<[@}({ \%UZn0l\7)şOǵV -f6$_K; 譪'MBEE<.'q~0 b) *Zְs8x1}o`s%\J tj?:8G C-1nx̰ TR;(-7=qqEJd /)JأUaMb1W]O")/i5䢏 X}ʪ̟{_Xa%QÊsn~zytSѨd_z#W!(5C`R;'AǹRSfZ1, v:nQn 5(%'4}vOpU zcbš&,uE~$pݻZ{8>̉aU˃-,URZYH7!ӅN/MQ8>GR"-X6