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  a a+|D ] HOL-Hahn_Banach:threads=2elapsed=3.690cpu=6.968gc=0.204factor=1.897zXZִF! ]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'Qz]IIP4 ۀiy{ݞhA]:i2T|>s &vo] = @?&_鎀Hga%#Z*"0!zvjWG>-ZD ؔ^R23yӛOkw+m]mKB;bռ L9`^{T0l=gYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļv/G(2fǮf+H ĄBt;} xB6F(Om65@W:v[CRU.7E7e+C8=h+n Vt "#iyOf~S˕ C_5aW {r"R{r%]vh&P I85wc> @?CSQŘQgYZ7zXZִF! #]ŗXi%>gT='T46 qw'A?x#01ZO'>n5 [YffŇ YK q KqQ}h_ #͖[ k(ZHj_j_I.H$\~ ^ղtOt1蚽z2tIWƮ8zPKѤ)+BN&;vK F '$!h73ksz&!yyA@50]?څ>:@'/TB}„9ug*Se%RPa{P5l . ¿vh{PI-t9DӾ6BwcNo`j nUz-"n+# &̞87cAsuCdTygТJ`CA?-3!8f5IL])P}݃DBL nifoM^t2f<%P:dOؑy'NH{7Bk7"M[2 ϊQ~ͤżw5)uU/xEFcx`ߞם{lL6c I^kLuo<7 aAReϔV $ p$Ev< oh$ uwIqGIugYZf1806af4e70d0326e6019be53160d0fa5a53f11c82ea62db878002abe1f561b243b2cfa9fc698016 3eb7c68d6e834ba5513637798ddd089d7ebc1253 0bbb80cce0914e272b2dc75eb351ae48ec09b263 + HOL-Hahn_Banach