SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  '  ]% Lazy-Lists-II:threads=2elapsed=2.233cpu=4.008gc=0.228factor=1.807zXZִF! l}]ŗXf1-/6vRZǽlK[g䜍[%,[灀`I }RU[OH@O X7ȃl`TOߠle(';^o%I hCNWйdq$['"< EJI EIAT& ?Ho"0XVD\C_ #x"۸k"(о^H0N9#I== j :9](& % 0_򳸔 @(Ϙb5¤c8c@mSKBB);~J/k88Wٔ~b*M8n'IWV ;ُi~ *;mkx$0-I6= d|lt^9 q_Ͼr4~-(E1чIXṫ&3_$] VۛPxkine) !^k!y~}abkn^̥c^y+iPRXJg-SopVBmS3.%~ʘeO-Pl>,$7@(0ь bbDS)o9k gYZ51b4f9baeb5c90789337985444a85afd6f01d542665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 5d78552cb887983b70c3b7983c4c3bdb3374a7e6 61b574d0d2a40fa9435731230d8e8548d17a2f9d ' Lazy-Lists-II