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 ,,Q5LL w ArrowImpossibilityGS:threads=2elapsed=3.642cpu=7.048gc=0.112factor=1.947zXZִF! 5]ŗXf1-/6vRZ]o S.AMLfDBjXrF:%95*rC)o[P~1:kÈ9HP'e؛|ǝ7c0o+S”mxx.u3b/qyu`d|TA)]H/r*q+@ 5PXKLq<Ƈ|}XD?Z>Agi%2'Y2#eY'MwfӶ2@f=%+:9tJ`ۆ-yY$*)kt-@Cn uΚhD*=` 5YU#Ԣ|R!_ $"|Z:]U g;34f #|K+zsU 5ԍɍ& hQ9gěPߝ+O9yRtlI/m Ik=fcGD؃=90Iڄv4dv 8D۾{_#\r>Wӑެr {LsZd}xkԥ4B6#rr T>ϏP[+r/^D]M-)c5WOA binV2A0s2)x cd E PErT4o$^Q@WTQF-pb= EJu^r%7|lE6_0fѧ188<̈[%[U;d{KdԺ `=4gdnn<