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 T%L'Sv/g1k7`Jp&ӈcb×vf }]g/ 1Bg$X]fo5 e;o[vLvzGa $z)K ٨w &p(nr#^lfes^T kTw$[蕍d/9(bKc+`}te/]Ct{8Kr 4CTtl-mvLq9[$ʮ !pRLvK(&fBùT>8ɇ",Y5w{n[UjCaH]5}!^飶9)`$EZ(ӋdlCZ-T#mjx)s^a3{JVvl\3lfp[sl3%~є:D$Uw "Yc#j샮;gꑀ31/ S ,Lx_4@aF+ ;"f3QmrYi]dd!rds)];:AhtM,:cwzm SH5>:Dpȍx9"`@O'ZXow(g7wP.I1KW;A+v +^Cku Pdi9n& RṡW6Uc[ Ѵn]>70ɇ-5e>IsG/I_ ]zu eƨCXidB̝XqSRwCUo'$$pI'JO~ "ڳz m.SWømsY1u>J1a+Pc'i>+c]߉"RnyX Dz(0[K<zIj,nP.&Aեd=md/hT=nJQôfX|(9,-ű$cuc HedgSЄH,Z"fji\.Q:k!ɘ*b%۰R5e ]&2ߙ+U(Q;?@nV{y9c+hxCS* x$`VjZTem/&N_bjER2'z D>VkjɝB쳯Tg<ZcrIq shLNώ&h- !>ExiYu,9Q&gyQ]@~{nSz9*A!1Ո=ҭ{!%or6l #Y^UDG`޴ 3uR 6B!ߧ21);If3'#0S0C8\򥈄ܾq<-MzLs,Evs+g9F;Yy3yل͌lbИt:"xK˯#8x)X[uYEH'7kE;X`g˶BU@OUz4-ɨeC y:\M8p#014)2S(\q}9RZLl`0ZtuJmsO/Pol۫xg T;.MSUo@0rzEb;%(FiH-r ga^ _mIXv 7$cAuGX :7By tgYZ7zXZִF! /]ŗXiɟopHq>]шv)gG1M79yY8 jp-R`Xf%7zuuX _O<1Eڟ{ *ʊPb=P _CDC9ٚLHKW-4e.#vpN8w @s%Z"{x:<6S)LN$)v!px,YD%w!w@s[]T`Zg Qп*l^fŪy'>٥[KMW ܞ d o&ZȍHq4*;D&`Y9>cct6ܿ^0ChаÉ4r:u~*L*:ŵޑ;f)EevHſb9mlD0‹'TǽƋ 9m-lpbڗ:cEB|XbOɣl%@>&By-p(H$ v?"mӑPŠfډ?zW /Era1a"ldQ<`89ռ jٮfՄKzk};f7r'eykDW]bBxJd *~a;:EvdV%ivO 0׷G4Eyb5SMD0TLdyl;&" ƎC˻3irf%!m>ro1^5]"'ŅW#VI8 /Kx+6\v ۭ5b(WOAgڝ,┆ hnuCPbڰ#|~9ey=brFשJlb:]&J(Bħ~ osh~ӭS@X6] Z Eω !xq w|Ϡ\s~E',Pg6f!ͭ{&kXԢi)ߠ#u?Kܐ }+N+j½Vu3ڃH:coOX1á0:q2IDR z0zqQI@>,tN6:."qƫ]txG"snġ;*-*Rj/ђ1jӶE=ֻO_ޗ*A9DXJY3&ng=Aiib{Io19w.u턫_SDNO_pf'f3ۧѫ]:df gsHRhꨟ):3--5`׽nSRu|5d:0 fڃH2ӂ|[,UB1t2go@S&v?5acv# MDEz:u$NoSJˆ.5*z$I\񷆿4s% 6w$l1seBeę$+FR'Ҳf>dUDxdJpdpސ 7͓8YMBSk Flp^9}{R2.Žs?&,qYGx]9r@Dҳ[v-=}xnUc+j*L>)BZMq"FA9[+/f IOW\SjIn2( fxot`2U{o.VUB#OqxGRnAhnGl1D.xAfhu~rߊ?*swk)GbpgYZe69b730af36fd6fc6dbd84467cb0c8a4954a4b069cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959cad48b1b10b3f00124578637cc31737b6c31b879d