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 r Ld ]S Lp:threads=2elapsed=39.763cpu=69.396gc=1.624factor=1.757zXZִF! "]ŗXf1-/6vRZektZZ/BcHkIv[ W % 6:W.B-1sY%٤,)i=L^T#~׫͸ !qiE@/7N8_O5'S$*`hG䣣FNU tDI82[-]X؂ժ7F^bāg ?e̗>N6b0my9m*Up lH2ny#'Dl BLE3׃NbAЂg oW!Ճ Vc$mhž:Ҋ  Lp  6j =@sYþF4Mw>ugKP޸Cl:< oCl2*TM%w'O-87/J}A+N,|<~~ :TcY σ "!JkE2Zh S\^Hn1q~) r52(avZf=Z|TN,aC hY:W U]F?ܚ\6ޠ^ Zng:Rq!: ڔ`H8w`h [mb 4'ᜦP}KPpPx@5, }irNK\o l|'۬|S! [溺-k aP 6YӀKƠjF+qBmQRϊMr%ЏYLbShdӬavvEu}P[YF z @1ضzq>'l{9@d7tW~kjҺ.k:g\,<"oBղ5/ R=7LDz|VgYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qy0kMa )sOr@bn/}Tu}6erpYq$V^Q,Y3Tir4; gYZ7zXZִF! Ԛ i]ŗXi%;Hrtsfլ1W=S[ ف} LCRnqh:6(>S ʩ,Oavi1O;HLrEEmг!{9\ۚ^f #ٮy^Z*=߼Sg~IFdEClA q7c;4ܛ*T+ pdžS僛Т }$}֥OdNq/*&Fp\^ ';U'=kz4d{H'ryikYda]9YyaR1L\:d݆uw,/GD d'"+WBVoٍ*< 4)ÿ ")^DNFyۨf& JC"t{`4z;AcIfs%|C>C-ͺ湿 6>TĕV4Us$2yUOȷH&w؈}J0c6ا@^(o {#G˱d)Hoo6aV}InE[#* _)hWֹƐKBG%uT?7ˍpV&:}_ߪsWN\ŒpCII7_~. z,|O|;nKy~V}4c럊 x *e}e=)Y;A:+^'^$5Ѷ}K)NOeTd&Y)+\W#W5(hAϠ|ڱSNogCѽ KZf_+:XXBz0 N\$"GAG~C~԰ U,!BD1&^-|^{ĎA֍:1.o턓qEavr %vTG,iQ v駱sO9KI-nS¨Qc&\ׅV@=k\+tZ.3սIC[5-s:ibM*6ee@F uΌK&֥cCQTށׇx '%ReO 0 !RG$j"9"zX5̍5/M Bdju%8Pn:FQ,,/g[bAK ĆbiV<3 /E ~u 2cu`ό3{$rB e|a.:T?Tkޗ\LDYA@]6zr}Tw?eJHH6-h^wZȇ; mQ 9;DJ;wRNKh (NCߋ x>1[иp~4W{M9idiv 4+B {fZ@e-!Pf+eKVud6"Q7du jOְpy@K7b)DŔİR?(e9^^#Z#y#I;?ܞxTM \Bz:>8|1O Di<Ʃa@>ڬ bYM=/ݔW*Y1#qPnhj*!+o}Ff5asfJ-i}0ljy8]w M=ȳsRq`˖㪮bW \mm&rTsj:OQ-i)DyFmo"ba}!8VkCu/dB-F/㿵F=مpҳsO.ЏidL+{$V0Va`2!X^ؙVQ<d{`^lŪSv֧LHM@~_MOrq5ald >hT]x>`;ԢyީBh9EZ/.ASY4*X@KC=<* GS39VQPa8=P믌>d tGd'ɳȱr|ގ&Y%!?l ]qT[wNܡE^(8