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  $ $Y/ D$ ]S Old_Datatype_Show:threads=2elapsed=11.456cpu=12.772gc=0.328factor=1.117zXZִF! $]ŗXf1-/6vR[]u^O0rv/=J&q)s"[S{ybks!p9SOw'bCߕӁZMPqiaZGqqzn6qnôYH.ЉJCRHf84!o3҂9Q5E{T8P57D|(~pFd/Lц- #k4A~2HϱgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLx)+$yuoc:ԣ#ۈ/ڨo]O",'ۋHke&hM,TL#,Ը|ERPK @@zUu-igYZ7zXZִF! 9S]ŗXi%>g=f#3C2W Qߐq-dƨ \&%0Vk“"Tn^A>VpI7#Wס:p(Ҏ:0La]V) F{Ai9!]f2Bxlu`>UfEU;Ҭٖ>":,狝7ooΈ*)1 \"D*cx% e5[/f7kk ~y O.@0OwYB"W ^f"%D{ ?M4?2dEVσHupY ʈ\\Ҋ0 YG@eu c$3ظ?#z)'#!n@a-fZ.o#Ī _ V!z-ax0cp;2oTkaRɞ[_bcgYZbcbe93ac9e1400a7d47a6b4bc6df1434478e5d4e665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 968e916bf83729b066a1744f16681f555ebb0f2f / Old_Datatype_Show