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  ]/ <$$ ]S Old_Datatype_Show:threads=2elapsed=11.336cpu=12.680gc=0.364factor=1.127zXZִF! $]ŗXf1-/6vR[]u^O0rv/=J&q)s"[S{ybks ;"ҏnSe{9ASb=ž/Az<1Vvج^$pM#wȟ2YF#hӵxR<4Yl/pyq}@n).ұgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLx(tVV(.j"'s] ˜wޒ`|g^]m Պ%"#@h-FE2ݵbM&Lt^<J ĵ%dTDM_g.zޱP8A`! g ;i{-)'kkZk}~?PjBω,i/(Oj}֋䒎'ƎtvioȢ,f,qLbӹW#΋.D b[<ɹoj'ӿ~J^0LٴX$Oz4Щ,O2~@yP"蜧JՈk4e%KHě獰b_¾´Ni4@P L%\(JV$+vy5KYtĵ2%.?t}wq2!"^P(M+luN4hoˊ$GڼWS_yQaJT r աį`;fژdMA-P CFw= gEH,!vY0r{%`eL*66x-¹QvK;/^~,bF_.e=o( PUg}ZODѼ6<`8 Jui{CPb~54e BJN}-vg -ߘ]mA)WʿqUQwE@DOfgo5'-RҮz`0FF?Z(D"֢ ? 0J+f,۹P6G}/K3YZ/a}E9Mɠ /;XZ ]Dv1T}P@j`TLni2I ùY{ \Xy]ZFa@ "a cβ(AݛVa 4A݅JG/aC͐"~DQoN?r4X֨gYZ471a9b9a0417b57610f62f6a31b3c428074f690297833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 a551050e08e476801ab9e2567801e82e6fda060f / Old_Datatype_Show