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   k,\T ]/ Locales:threads=2elapsed=1.446cpu=2.572gc=0.000factor=1.787zXZִF! U::file=~~/src/Doc/Locales/Examples3.thyoffset=2849name=byelapsed=0.204wFQh-nVY}YZ7zXZִF! e]ŗXiɟ }zŎ3Уu AQ_X/c?%7ADr)S'Yvf9<ǵêR tt3@9̢ŵc7gYZ7zXZִF! e]ŗXi%>g̻$#OFڲ )u IT.XNHX,qfAȹ?~{`rY3V??%ͣ{M¥☰[ ́e",mt@JG\VqffmS?rC#tѩyST uVb$!j* "^R%W3t*<#O`75ESeʅVhs(q#[Z}R>ŗKȤ\s|gv]R#n+=e7](.OAx,ba+yV􎚘8g 7T983{[WqM64'=ڣ?8X>5'#˩ěށ{&oc"q_{HYБWf߃gYZd97236099de97914c6b1246340e536a7757f7ee7a9ba4fcb27c61f2722def1490d5cc6ffd820a523 3e35f1f1494655d736fa0027db3480f1ebe85070   Locales