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   c,TL ]/ Locales:threads=2elapsed=1.345cpu=2.272gc=0.000factor=1.697zXZִF! U::file=~~/src/Doc/Locales/Examples3.thyoffset=2849name=byelapsed=0.194u\nVY}YZ7zXZִF! c]ŗXiɟ }zŎ3Уu AQ_E*~qs%ў=Flvq݂߄GCNUv ZQM htuBXgYZ7zXZִF! c]ŗXi%>ggHR732Bːtz0]X+-9 ZǤ8ܘ~ڊa u-eiϚ #^sm_ID%ˢ̣+Esyvۆy2d@wpp>7Ox7} Dϣ%]> 4X,.G鏰`0m*U&EoV[}*RGFv vGQٓ[34^,N5c I >s$?/H[a4%13ky_fEPjJxP!R /z}_][Cz"uJ .tq 1Bn5n2ʏM^FMdBИ!k {nZq5Zvxc`]R/tlIAYi#ܝ+IwtDm`3lS+to?ygYZ3e229d4e8c70b173ac925bd44fcd9a73cbd251e019126f922e3aa9c20f5a31237f68a37a6d2cdfb1 078fec9a335ed8e63b0d7f40d8edca7f752c4fb3   Locales