SQLite format 3@ .  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 } L$< ]/]HOL-Word:threads=6elapsed=9.750cpu=48.416gc=1.996factor=4.977zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y ZFovDqvyֱv2AmN˅^#j= 7Z B=#6^̯ 󽚚}ҫ[n~<8 zTw>v~E;樷{*c8 AGڪV coFjZ<&_ѣv/cױgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A,?p#]k}Ums߽]pY@ֻ<+TnčaH=ͪDKs0Ar Α3= PC0ApΕ-`Tj]؝=zG|e`n3x"uG;-mEV0,#;K`%+&E)"ҫa/?Nnjb˼7fDQ!^nǚ, vLĢ|X f(CdËVT]ʎRܿdUK& S-q ;sc}@khE;\1Md 6gYZ7zXZִF! 8]ŗXi%B|yaDlǑ+tQP27dgTO %@aROX^nCBRD"Yq`|"jna:%]TB`cmsPLf竾wjLd|OWd%N2i%yglS[ѓʴ$cRĢ׹AI1TQFgpul]A`[WA8a+,BQND.@~MӵA Bpنf@քj.- ʊ#KI@}>0D$B[z(].q4SP̈©򣣳ECs-(.Al:9ȳ`캱8V(M9ڡs~XΦ$ʍI <r*r)ƒB9ϼTdΥBRM֏9{O$xCKvAK2JL8ݔ(qvk