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 __' Dt } HOL-Cardinals:threads=6elapsed=6.713cpu=35.232gc=1.248factor=5.257zXZִF! ~]ŗXf1-q恈<-¡$jo&}TCrLR0 EçG?[%~~F37j .3;)ɶwLh 1Vzu4à꓆s!y:KS87)ES7mk,g)6gKͱ2 B=zExf[^qϮ쬅uәQ.kmDzCLqW55BmI^;:=]6SyȒ9oG &gYZ7zXZִF! q]ŗXi%0m?l.nkhtAV(Bpr;?WWIdq6',M1b{lBvw .BA_}5t8-jBYz؃3lUeGY 3 S xi?0xf&q<\]mѪ9jM*٧ ,X 6*/~U݄=(;2ԗ JJUoBA14Q=F&顣 f=qVxt~]\F`(S 9jͮO̒!5G r`>wa$@z52V1h8u!f,UR&wQՎUL|Y2ɗ+tѸ5SvHqZ_']0.eb SSBX9~42i>/ɀҿ`+w6W