SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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$4 ]S Old_Datatype_Show:threads=4elapsed=10.610cpu=12.608gc=0.336factor=1.197zXZִF! ]ŗXf[&QͫnaʵP$xE@E={Y@/kwOpx"IDbԓ.,xȼ6^#|3Kvs]V-1֡܂0DgT~@Zd#=fd]T<CȮЮ"tCo3d4+ Bw Ȑ|g/ĂP||p,{a3y 2&@gYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLxΔHZYVV(.qRuXjd4 Zi:.֮Ǒݤ'Zѐm1>C\yh,9 1iQurw@o4 4q)]SտLSgYZ7zXZִF! <]ŗXi%B:g?&+S*(ݖQ용eCcp2_ŶCߔMs0Vv\R/)[0Xd_ٺ3u87Oyy{ɇZa6L[S~aQZn$QLz gypIMkڳ)K^L1y+OyCk社Fq%ӭALE=IieGztpZ0R0?aއ?K0hp,e1X(Yb<, \ U#|W%׫jemMu4N Ofq,L`;NQګ#8$J3O 3X7 kCGHp}fF6@ɹ#4t VXڎ[U$`35|YE(^W]쾿"amHMkHB~LŊhq#^뻞&O!'c=DؙxqG?PN} 4kZ 6ch ժT !Dc4)o'߳j/:i "+F&5h%/qX)!@| HtBv++O;]1. )5!_mhM0vV&/gk Zԟv,tUX%bj5F ڥCD!o/euG/qq:<¿# u+aF-6Y1wk"X|YA%P=yaCсǧ7E FKx@YF6 qX> \O!AcFyqBZIԅ jǨNB5G-Be~S#kre?*fQNI?1 Ԡ#2]Nef(j,f} 50!v}!,!;sd$'%m%n gU&(/Lp,ʐ&H]3Pz, 1dA*t]'XjVT9xOHGUƺD#N3pZS^XʴI&DC>JNɖ.+mTQS^ y<  ysiWgYZc0520fe7093085cc79276df47a76542318ecf72613f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 8b800f686651d30930516947a149a569422d8eca / Old_Datatype_Show