SQLite format 3@ .;  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   W! |4 ]% Gauss_Sums:threads=4elapsed=26.821cpu=99.704gc=3.636factor=3.727zXZִF! :L]ŗXf[&BWw6YOxws>ܽT7E,s2OyU;u|d䐰 2@'eɸ$P9 cLuAtN!jR@ѿ3mE,8F"q#NJ .C0c8lc?E!$˯ jKu5 QpWa$,5Iڒ-8WMM%gimaͅ?Y@b1Z€qO@^S(_9GNa]'31*0] ^5%eԒ7J(+rGNޠXz9LjPPZd<ҹ^LgBBDBg*v ?~D'x8hOۜ?J䖔N' - > p>+ 7R+ːʕmQ"sf,{:7`A7GSaww7GlܗoM̪Q'!0+uAz˴KfHxTŧuԸ 'Nu)d< M)ひV"aM5[yЏ< mBUQz .w z!Es]vJ bY=2?w&BL,5Im\H 5e(,KM-Fǔd#e/% *Gj.hv;?yzOi#JTsR&7Ĭ՗Ly>}M'zCkaznr ,S^*K%L}`?ԋB:Āe,y  ! Gauss_Sums  "x&ɞkC3Dșo!rtcDLhA|75t?h8PT6b:%rr[uRpQ\_6Z*>8̀I!jiJW?hQ/,[I*߉Yn ibkD|zG{sCg2q;4_e$,V_eF5mrh=Λ]4 k(\_^؃}l[#@v}V7+05s]،c97Z w T󝝖޵9)b 3^C'?~PL4 tޔ]|)h >IȚ OvHS$iFHv-I #WA?'d;Dn^ tޛWgYZ7zXZִF! Y]ŗXiɟՔ8Z>\qJAw:xD%c`b|ጞ@§E bv0XW4*;xێـxf׆1d#J>%շ꿯,-j0&8b`DzreE)hm yc[VQk}"PxnFt4|BrЏr׶bCGA[9!n7"˪2([o3<멯wE@@mPQ$n1O;Tǿj{jp]~oo $~b6S?ZUV-a~"'ݾ <*@)4JIؔ^<2G݇$=. 8=ٱgYZ7zXZִF! ం :]ŗXi%L 00;][y]#?p:eV#ް+k ZB]}BS_7%Q逿MY1 .mhfֽDְG;;5[w=ήZfPQARf21:_p͵Mnh,"=Lb ޲zè\-wStLп[*YkMCf9{Ħ vЖ *&ˆTl̙s#%&OUY,w{uaH j#A I^Vl1h[Н8(@N(cY=p肦H_-ʒZ-s_O)u.^L xv\mn"Mon=OOPl Dj0ŏPqh!9"¬͜@g5X)$Š-9a^cґ7^FtA?B= u*q=&P1+WNO~)K?9 5*H%"c ag^%"JSrj0}`a@g (ҊKvcT (s6..cVV{݄K2u5K)z>җ1M>5xYJoTm!9^cU e9'K0r٪rljD c#LWXT/a ч +z˜?hYq;2)]ɔ8Hp:|EWEA(X?/'7BiqUVpDS|yjfb= + x.aŜfzh+5sO&+}q)X+%Ov-*;Ћrf߉w§ܲ \m.n}66so7! o WDv5}d O "'YW!ZGy N2+2Cv^ $j/hb5ӾypyS>ɇz~oD'5ˋGpU04bW\ӳ Wf 9rdB[M 8sMmW+]ճqe __b_2==BX= \3AaqS`rLQ&a<O Z,"j -LKt(Vir%iO ^c-ꆸ0*&X!hcyM=4":4y,]8[^&l po'J'*-}("}4Y^me6?Hc ,Kr7J2])B ։Q>w\+3hj;]ibn?WsUrW vOׇyvm4\_7YZ up%x};wr Jת\6b6Ks]s] h8}IZd3֙{]џW5νo:7uqKf!ƪ9 i C:t:QMJ{ҟ?o}ӶG#ҵ5h/Ԕ `k ] ƖzҁIe -=RUK]GF~ MQfP̖ijzN5)Qd7PIp1Q\cPpaw e|tqQ=4~'*\ȖwMxC0Q>zu bE!Ł-pY5E%3t"9Y0^N}af!:#;+P^s-xeQ,6̴NjeQAWRtDTT&DOJ"ӫ'2.{&9T+4צK@2ug ft?$i"cJVByAMnx'o[i|ǍBw43 Ao ?v,UP*Bnr=9PՉ30aĈ>bWi-:}C/Py(qMY \R/[5>*AtIIxF6< 4PHR#3.qD{rsbXe{U8.ӕN/a ax:` BE