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 ""[ 4 ]/]HOLCF:threads=6elapsed=12.347cpu=39.516gc=2.732factor=3.207zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{W$}68re^1&m^v*c&gyޖX&VS/ڥBq&X?zhd~JWuR3oo׋euX=G=#Po 1+e=(9^̄%#{8a<^7#0.zqqP9w4 S¾ۄ(,p,EXM-:i`9Vx>rpA*8v EǏ#:# "("f8œ_j\nv>}eJoZ`ím^ﴶX! ~W{"Q ]*Avēt2VO{?8"m˷ .ڝڅQ&`RҟK'aBIgEAb ^eG#Ʒ o΢zcA¤=]9)szة'LyuTJ\13H7 PՄ AQ*8-ٜ;뽦tV>/r\"^w3GISGS:7^&iG(ƢHW'[O 9 +3N`KEW!pٽgYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]hПGʍA(:YǮ#?'kE0L*]E4ȉ@v)`eww1'~UeV薄P P5/Ed㙝|Ƨ?R f)8ʀPgA^fPFT:7oAGs&Ls°1[/N߰2I^$[{!䇌b휝I}cEBnIJ Zo`cnRX31е$"?J.*>џHMFpItχC|#*/ѫNHq|(6{,J#fCF*iQ+J,iE{xC$W`JDe}B8@K7Dy4mՋle!uVuଋ_xYYF/!sQltebWz`ّM==p&JGL4ja,l`o* ||]Tec0Y)b{vF~"nE.xR-x=*X$ 0]68ݞUaڈ󕓌 XO#J*N&8;+P̶1G=]4 ȹގ^\!"Ss˗ Fs3ĭKP<~0-^RRWӰn%58[`ΘeqFS)Vm,-eiT 1K@ryTcz")7cgNw! |@ 3 =+,v>a>RK̻ranFrmګzR8! JSR2Sb om~zO01Ld`re ,JJJu$΂,xF$ke0Ȏ /3U)n71kABme(^ n nQeL:"ǶDqwǠqA+}[DjMLbԗOqvP]r758"y6JM!69hDo*o|/̫v'ϓNn}[cW4bj&7rR}p2zO ..p(-~Wϙ!5g[]Rͯ[O9gPNPHvnOGdMR72l,Zyk7SsTdH.i'WhbOEӡ M&*Ӎ"]_QJivg/ ."/CtR  Flwz;o2H!kl86Šާv8ʤ{*!K$[K2d围i fʍ _0bUT|/y ;9}o9DʭdǂSPǎ01U&ְ'/}mԥiNG9֬G";r_+5HZ4"_{T^kSOt<^O\n . =lZa>