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-tSaI-bOp/0WmR/OG"&H6KDXB3 mn$goNHg8YʳɣdP^ HOLek?`_  "G.0:]~"dzt>"ݱ [F:s;ӰY}lo2=]~"X6=tچmnjgEp[e~Mf&lSȟH/fw{"FSE88,J 3%F`,h:v2U\~|$BdI*ZyوAX8MU_q{/˦ɮNt=z.n[ g lZ0| W]H$lq9mFpc &h}_vmZƭ=Mk 5Dڴyn_Ь1YTU;QYn 0}K@OXaދ >gR-Y, U -}b[j&jgR34¡ߞnfuBCj=2\}H1HY\Ż-8SKu3<%zQo,@tc\gEݧ#T3VkY J"@ticV&?dmGbGEȃ` |y{ aeIH-;U6uT_`S Q Sכ( >qas :$y,ASd^>8j.w2b4 _L6ՙ_'E, tO.%;~Ji5`2v$`x/qh|Pz3E[0HOQ, - AutoFocus-Stream  sWGZy d *a9XW4veՓ|+>c@J1LuR-;J}j- $ob.:Rq?ujAqc!xv]~^W0u 1]@8˻z%Z_2*P(רS v^:JjЄf lC*=ip:}ʠq}pR@W7v ՄgYZ7zXZִF! ]ŗXiɟ*#$iXWRyZF֛Nx>|=V}Q6 F:Ws[_ !|$ґQ| /뙘L Z܏zk)4|@+Ș{u/I3LӋWywzH_`gYZ7zXZִF! 6 ]ŗXi%>g6b݀IJ/l3$jc \Uj8C Q@muvv5bɳmЇyKZ[2> ܭY fm} aӊ"Zي,I$-ר9;]K8v60 !tܸ>Z}C OfiЍB5tK6k,|]yp\06k3"c&-@o8149vO/qCݦs+/PqgDoP-r<{QI\]orr'dY!X9?37g 3IwW]v!*r;:91xv,2 n"]Ll##KfܥֺU_-.Zg[R.=qQɩF%g@:.ztj c.,J ,͑yVɃڭ4:04o;Lטsv_Eg,OhYnFΩto+Ls LkhKEDђ+C]w.Ds?30% b5GYOjFɚ&|_ƙ2Yu5Hfs ,dw)FZFspsf;:,㚲'Xa1S[k-*OkĸF߼l6?^iQ05SfɍB76])RP{6iS;Wh$ pk4T<+U'eЯy2:&mD/meZ[䪈F5RǛ%UIQp{rַS s6p-pʄTkV)I D 9Onp!>wdM/)AZy/(D[ `y|SH3WAF0BΠo`EOܷȈ|dl汻-k |-r /2c=]qEt{+KTk$Q8f/`eS7 _mص} ߆qlO2);8XIk-jddR *}'H'yÅ lr>#Aubf Kе'z#6US0r!ӷ 1՟ 5>Wd9{?t3do|5*${yT0 *`6 KAl[Qx4CB\qx;ӵfk#hBHA'7mfEW/^5qb}k}qNY柚1e *cjL#FEy_ бS.Q(,qΨy;3BB/̓׹VZw֊VE'|  )] CE (B/~7~4V<+pԃ <$3!|a$':PEmǸ>o'HKϪGϲCXKОIm>p4E귂lC}8Ol!.tmPWIV'ڴJc 5i5$ oT/-щU BǕOD y層j9[b ʁr"?!heI=8vHk ?iě[%]OX%s( $Kowpy,$Ne aKy@B հp.el6:yuj$8vp!u[ >/cNrbM=s4:GSvQ_]M:7+@Y .P7B vqE9^`[϶rmщ2%;m0f|2j I6KbO `9#g94ij?3T 7(DбgYZ0a5efaa08f1acb763d353aa5e81f8c0fdcf1086fa70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 3a3f0d8f79016297fd68454dbf1d2ee22bd97322 71217503ca91f44d0b031beb978b975f02d36264