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 u \$$ ]/]UPF:threads=2elapsed=33.389cpu=64.256gc=2.772factor=1.927zXZִF! %]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^zé 5R~iFA x \ ~R,A =\_2Sb zM1. 5:/_O&jj>vHeׂ}[K9gth6P|ZQFURz˞N0'\cɭ?\( MRM&ՍuC9x :}mT^OqUfb hEo _QkQznjgfs7xY²ppCڧ)CNU,u6 Q18hZ4x奝ݻ]я#(-YjB-2rֽϛF̑. ۔R[K kC2PbXneg[CۧyE&LYDA-#X9$'gfqe3V2 BșF1ȀblG5 Q]ԮK Z[ aEz LlZX5` Ե6I}l| .L)6j(r!> }1(,Łf,Ju  Ǹg,A7 fq"ĩ4x6|xb+vYPvYB&jnAr1"؄kU}$7HWT-tSʸOx# )`#5;LFhzl khq98űgYZ7zXZִF!  ]ŗXiɟܤ#k0{/!xv%4۝z/IѴ riK: ,XElk`-h!o&L*3P$ay]~ p8--q;Lel@٤JʆB:*ޕ7'}_\sG5Nakh`K>vOdC4#23 ;&:X߾?w'eq7/$tB\N`Yጉoc&CJWS7%B ʀ?*{ blXTgYZ7zXZִF! ]ŗXi%>g7Qgw  Cw[4hϷĘ%ŰEݳǠq Up'd/i ft&`#+sIX)?D2ƴP fdJ7Fn &'g6 (}.S urұ. ?ĹFrsUMȰ~v?KD`@:?qV&8ksjE R\6.j?}bv% [Ibz 8wE'v^gvO̯(Gȭwpc`2[Kq’):kIKN\\ZQH\aiAh/ܑ%:?1AbݓRs.)qZtpOet 5EsGcVb3$)lGelzʒyMp(6 ]JD5&l/buq,q(g]8skX{| N "gȳӮ Kn>o1,Rx,(Jt9Xrh׻*g~ UC4nWޚG}Sց?`pLjQůxs}!O57r`b5YM>A@x?qֆR{G0ѿ#AL{*01"'9rq>` 40mP Hg !kK0u[akZA&WF+m=fC[V8 I¬z#] ߳/13(AQhҳΙξ2aĨif$~2MnD8|wxUteҼK|Y-rȶ.ur_p(nor$mJjdX`{}^dDy>aeܑ1+zqԗ~<^Zx)A/ys=CyuIfTUi4)I@5xGcꏄiE:2>=5IYy(.uO%] 6OR$:۴us lH67x^jLcm;2..{N+Yzm Knf=p:PpBJbQ8sIy D3F3Y)QUX߅AZCqVᲔ0JS7;wmse\mAA#c͖:#q,Q%;E*Aڎ;Oj0*XͣbL`"S܀~ą.TbkW}N.A8a8sgZs׬2](VXr|FФ ' pO`#cbX`20 ^GY%BXSJ]b$ۇf5}m _!qv h7GY΁&3}-\E`H+/ )wgr*֛=ؙ_>t)isNmJ*~l.¥q=XΔf9(!egiF\B&6 tMyܸ$J<@Wr'ƌ 5* FɅqM,^M!Fr ;QnG8qΎX@AJ lrKMſp,IF,MٶL6x"̜(zu΁sR[vNB5ߩz毞I]}4\?T,uquD5gYZ09047adf61277f60662688f0934eebc8b0d09eda767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab34180eb96bc1042a921e4ac313e812ab618babf31bdd  UPF