SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 5d ] Modal_Logics_for_NTS:threads=2elapsed=224.603cpu=357.100gc=18.900factor=1.597zXZ ִF ! <l] ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")d\1ϧt N-z$* Մ>e\>+ |}:*v>CFeIDAȩΊb\ _R&\CO[^ :%H@\ԡe.ZwzIkЦ̟ {JjBaȒC75eC7'T|wUɳJsjHuTQgA?@Fdi 7)+6nZ6|!+n|twq9D;g*&Y,M= +ٶ~eiH+ƿi R? +ZǍyړ^gXAV+cn"콃fhb02IMI\ ,&%XPUdX7d @{#yVwu\$ %k]tT~ a t8