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  < <AwO`gYZ7zXZִF! V]ŗXiɟqHdOkwZuӽ"GW߽ɳpïAri n7%Ù,ʰ# 5HlKr$gYZ7zXZִF! FZ]ŗXi%;ŸyROk{&YT|{Pa` ${30G[,9a~VBNۨ ś)a,[zh>jM]c5:ÅA'Lձ:|I5'fDMi.sYCm/j/ y K W%Zoܾ̹PC(L̘_kJD%fLSE? J>Z/ \6^H4# nKx.x7B_H[ Kdsتd*snj6eú(]@( H,>7w]e ˸1W [KLyR l\1uT0in1+' OU^w>l+_ܾΝQ>%l!MGSA#>>"_Aj,3LtC^/raP}mIzktz$ Yޡr~ R> ">3')I}0׻cvB m;YCYz3<RB3gYZ465b593b4ec92dcebc5939a5b3eb8df80fa8c3f279d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f   Lazy_Case