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 ee $T< ]/ BNF_CC:threads=4elapsed=13.921cpu=46.072gc=2.576factor=3.317zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{@Aأ/Uz{MK]O|2A 3ND]/_16XR2[3{#*,I(qSdghk$g[rX^ME?lа!3,Xp8A譃qFd`Ogv3Qq#OX _H7Pm/JɇH]C! plaC^I⁔lPN(xm`s1kho |i>1oFtzA2.bM* ӠΚ? e0WZ/vȄW?i H_^o L6`k^in~R~K(FnRuUMEo4;~'—Bjy8IP-ȓhF0JK5~Hx}ߌP^0K8'):ShLshg6o$*lv &rUWC0;-~Ik_̍+tƈ>M?|`h>otْ qRv_k'?*wocx== 1{o4tK+;,`<]o 376g@\!*ыWN0Bk/OX2gTkXKN9W~&qvXy kxJ'kxI0۴E7vmz#a$l[F J76r:g09w tx#pKWDCΞݰ.c&b&ѠjڳK.1 l*Op<׊8MMI%c^\ .ܱgYZ7zXZִF! ]ŗXiɟ74p1=MHzڰDbnhpN~#?}kW1^g?9҃V &"PA5mbZzu8 U;d@xhL}'kU="4ANJ|߆@$ ڌn& nCn# Hy;،'Y>_mEδ,V̚xX~~_x39uB)fG'b; 2gYZ7zXZִF! m6]ŗXi%B:gṮ,zh< Ԉ \Ou}>3~nc.C_i@pΚn&Sի>]ɟ|w!'5v׮ rʏԋiP3H*c1 sP%[paGoX0 #_Ketӹud'j(q?O-Dpfg޹ՈJ4eWtlOCG*:#\-X[l#|"l6_jԚs`kgH|2be8q"& j Ѩ مXb (%_\ xK7!]QJ~x'h//_ ̺/'۳ݻΰ6ӶϣH=ھvruespfߘ Tq[M@/4kF׉k;G4ͪJS i/q&#t%F!D~h` l3$\y ! 5J5ҍɨ?;^)Wm]00^*]gR\Й1<=[GDܨŠZܖ>ED=lp!p==TJ6P'X`[E0mo[EmB3U&5c5Y& < T`;8^DVq +a{M_X ږ/6@Pjh+^P][9D0o#~tʁ@&7^˔z[Q%щHR5f3<>NGl|UtCFP/VlzsˌZ]WO*}0^Yu7êUTDm)BQ."G%O ##'X*Ui,בVQކ-Yq0H9l=AfW7wk-00r:r~XxP(9pAy->ńعU9ȆAa! 3:{t]oU} s0TMy]`XuQ{p=nE`F1cēS}pq{!"iEO-4؀%$ cB]2ܫ&sZ`O{ZXKCQ|YBlut|q<~[rg*k9 &Ik'l X%7и8\1 hɂ%i_A|ï+0Y-v읤bhDoޙ4t%? V=1-\z.wZhcO݂xδ \!ffJU9H̭'lw> l/( G2@S E4&ʒɫ 3@E|B'7($CAUq\P5]y󞃂BvPs#l#!ꑚʬ<%eBŒ(FXti$--&DI2;VJ?-OS/Yiv:_2yb"F;.#?}0aպg1T>Ag+tRqU0MZ+J9LlD>e~ea'OJ~3V1d IIK1l *-|¬N\)BO mlQ) 1m#&s*H?u ԍo@a mn@Nhzg;Uql36%v4M T-gYZ816357d36518217e516abd0339e1f4ece4a292af13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454   BNF_CC