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  . .O+\ SS Card_Partitions:threads=2elapsed=5.459cpu=8.272gc=0.116factor=1.527zXZִF! %]ŗXf1-/6vRZy_ĹXXVm^ dh۷n)_u`Eitw|&bEydۏQՋ6=Lwi0(<{)ʙ9eFrd[M|$`,V?" 2c*pEr.в@Cj{JΩYJʤo&1@cS~ xgYZ7zXZִF! # ]ŗXi%6{B~gL\`LGVҀx;ou,G=5|B|ѳ l|4adfzkOԓȅi leԇs-+C3'4a1Ɉ~B,CBg߄:$]v"HR!w\ywMIitSOA0ϨLf> g@'aW 4̕I{5CF29F?M?Ms{?W'O[.c(^8GKVv+xf!4Oqg% 'xU- Jj)b}e+"5hGzl& L|l1=^;MTkztn>$qtY8Wfiz)ۡ5v"D&nkHyX{{.S3K~9pG :oihv;[c~O^T ]eE} rQCD` [\<ȍ.0uFeB]G}1y*s7{25`Y\=i w|S"fЈݬ>rUH유H!)9QN SJ2[< yn^HH&XHvE[ޤ4F%u ~"J!ID{ 3OggZU[EPY!t