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  !\4| ]] Spec_Check:threads=2elapsed=1.855cpu=3.076gc=0.012factor=1.667zXZִF!  ]ŗXf1-%˓:[L #cI"O nyE .cow?ȵ [ֆ ۷\W=T(‹srrBR'*| syUc*B+93ǽYTˡc >D6[<'zNױgYZ7zXZִF! R]ŗXiɟ?NX)K/Wx2~8 DNQ_y 1n5h '2+r%fCTngYZ7zXZִF! ]ŗXi%;Ű;xr$h}+A)qq)&T)ѫ[GC_+;U(ihWx7Al+)n{H_W4%M#Sw۞񯁝EAKe2e48$zzϫ2TF͞ a i%i%[uný߻4U'ːj[Xen}X3IЅ`~<ja~zMLTT}zI m!xQOUB7+ݬo?7 Er$?Q&jE : !{6kNL{mJ]OhbLnTAq`Gj+PM}Frݵ7^=?pd+Lä&j>kZ#ձgYZf0914c3650f3be5729307e879a683b50b07a266edaf53072a7b7da07dacaeec0891eaa6642c159c2  ! Spec_Check