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 RR+ 4L ]/]HOLCF:threads=6elapsed=12.823cpu=40.100gc=2.508factor=3.137zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVEOJ)`@rv{: 46%7j&3h )Ƌl9*e]4? RBFGbD44L:c<)ީ?~1ƁC%64ӽ3-gj>n+z|bWu^@vPg[:Ygܬoo]-kzf lXxD)xY>wBяΖOc (ZNS,sq@ρ!TC[!0)XDwscvĈ'84MXjK(8p$ypf]"V0p.fRC:5W7OB#. YVuO0%티) ^ӟ1b-Bj5tg:ٖ~g#M^iMCB8>6sA/d }.Xhqv" +Ys>B +et>zտsTs GѳBnǨ>("n (-9:γIMY5,U>jD"}œ. !ץHA vbeMGbo8\Fº{#țhi"VA_V﹚lZĪ*@o冁 UWXqpn,Ӈɇ9S2]t]ŗXi%@^Vc8.+CE.zϹt tW|C͕vYh#jތ;LL.}ff- RY]T`5a%hԗ( ̍쭰:u!H5prO=GQ-Ѵ판T6p=5PB8zejÖxR%a&<H7*򜳯s ׾A,X&s)Xw):݇"ScU}@_@7D!af3rYyɋ^:ѺY !MaUn)00~;&fcdm&)94Mu~4 +Wh[{ztgTQL3LnU/?;S5ެ2^4+ <3hL旀As"pѫXV=QDO`R*OP |Z>'#b޻kr 0q-+A |Te?c.9l|O<¹(̘>Z(V1x_Z8K\@:l)WMª&*1o]""PxvdnΝNu8@L('i,ư!Mo.󤀏ldƜqQ?lyoTHZȑQ5˩IzdX:d̕ۉ, ]\"sA]Rf PMOv E%B B?|W4jjLvx2?ƱKZe֖gYƙ4/$Egp^