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 [["M L ]]Noninterference_Ipurge_Unwinding:threads=2elapsed=9.348cpu=15.032gc=0.644factor=1.617zXZִF! >]ŗXf1-/6vRZږech-`UMqď꣮BYmyIqJ'\hz Ziֲ XZkRXh%cfo;u*"Hfoaɥ#ț-I;6 9[[@hUShpK{s" uubE'PQ ̇0 1 Ͻ &C]q-JG$xry9zŻSQ.nrrF'y}Ij3_/id3xJ72ZbgYZ7zXZִF! ']ŗXiɟ\K )U 0+ >xxQEK[ cݸs3`iFBya[qU+ j?` ExUPO{Hraiwrm2*Α^1e6V z*+r2Yw7s'^2wg ;  lc~ Ypl ݩ4igom\/Y] 4%Z-owᲓsȲHbZ[ъsO$ip54%|QD8GqvNf_Sifx)MS V&8h@ k#۸|0 == Qwk6CSƈ$yqDK5UYr#3YHE] 9C糰ZŰ,3hAޜq'jrN]KCU=>6fF5a,3r)=FQk*^#jm4MMыPo?.