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 VV'O d SS Noninterference_Generic_Unwinding:threads=2elapsed=18.918cpu=20.964gc=0.292factor=1.117zXZִF! ]ŗXf1-/6vR[y(&j-:69: |Dzk}DjPY'ɘ%U9^CB]}lMoU})4E 8Imm;ܪS?]1gYZ7zXZִF! e]ŗXi% J#afsd-{l0$`N]Vcz߫J'ɟSD%Dx'9g2/%g-)C_eKg17`Ս* 珙SPs<1K;ʟKlV!:dR p B#f~ݭ?@l|W: BaP 3sDbQj\jއf@ߐ]UaeWqqH<ِC9zG;:q--kwvf]Dlqv=f1`oIS!uĸC[` rO6@ɜj{3}W[1Ps.\Ȉ39׫DЋN|:Bx^RYҐ=<׻ؼ%N;Wjqg-bQUp7GN{u0CI/2[)yY3gbp'loi_6