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 OO. d ] HyperCTL:threads=4elapsed=9.135cpu=31.592gc=1.580factor=3.467zXZִF! B]ŗXf[&r>ܞSd+Ǯ5,/VJYO,$uoe;Ie!49uh{l,[>bHPVn,=5GBcA⌁q"P3 z7Q--C5!>q[W^Av0!4MK0С~% {͔{# ܳk䫭8vC5ZN;ԣ˺"z*c&CW5g!/&gcw/Ո5\m?]v)#GpIvz%Z/9\M̯r&&N<.J_z\ЄO2=ySg 2Kc~֣ѯHF h"2:#Lл lEv l-%>z7TL_\?cxEA `#KQ [38f@bJ_~3NGaVGb{ <; ]|(M{4ۆ|ƌYbQ?0+RY_]4|NYGc48Iw\ ;Ӑm(G9^vEEȏe‰vFmN0JOPbܟ4fgIv#>a|x:7 |gsrqh VCVH^ 6ZY?Q㉫T0:f 6x*z*˒kVYw{8鎾,"hu{@ސl~.ĶNJQAK¾c-G=P ܊us=P$˺+PEOaK]t ,)WH;b6) !qXK!^+"ݣcb7{k -wZ䃝_0y3&,Mhڥ u J:EѩJ7@-A.ՃL wuBb(p/HoEsGΕ/nMp4UՅf&%%T3LXrqbԂvګfBjQl8}o:m5 ַ[A&+xj3FY=ʵ y^m."  fY T[]Qڑ<3¥$*?x$r2㻯>sUbZpM7Y{m8,Hl{.GDPm DIai~9vH?J~WPoo^L;)dD_Rh::V?e-Vɜ^+ =!)< q[X~qMqT_@PkYgLXpE<q8kE svgJVX  6Gc