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  0!\qؑ{4 ^uD+(a#A3ZNjh6, WO>v0Dv2RJ%$ q`ryBBD+Zqs6,!DU0Ѝo61J`~eS>VW  'UːtL,V8X~V`=b 8/CV0u{C b7/A{zHW|p%ʡi}U ά$fec UMa* ihr=&(ۘqE,Bw$oݏXsf0B&F : cT^(-6z,q_yd0+QCÅxZNdwwAes5`7Vs:%GmDQ餗2Hd6[[3T.2wS\!Q0d~k;qT~(p⬒aMG`+`m@ɡj^ɮOK)\D#Ș$xR!"VD<gXv޾z[RϕP&+ -盬 ܿPr W0mIL-i7?Q1h`]bю-? KM&3?o7.r&v,M"O2b%)oMnh9VޮUqr<}5AH"5gX;uQGNY8p:O+e}oYкYt ae|X }Z /xx{rɴUzpБč&q  ` 9; BD9 =$-)?, % K@1ˀv[Z1MweGGAba?莲1\*rUOA.ϢxzEЛŰĝ \j Kk/-|| $ 0wBr x\ZH ${gsy%{)D:k+y7 0?ɥĤd~[ TXѧ#̏HM M^b?  ! Gauss_Sums  !M՝=},'󓙐oZǦ\W;ZSfΦQ94G坛WGÓ8M*3gi.)*^ʄ:7vYH݋_ǵUOoj0|g+Rmj0 aTVyEYR DD-s(Ud{ʰ_xMGQABqtk)v;e&a@2fa8>^%k`A3, !PDŽz>,b2JqANj|y:q^C>W 3KaK'u 4>|Q[ĹV.xWeHpqFXb R ҨDdƋjJ.g uFiygYZ7zXZִF! Z]ŗXiɟՔ8Z>\qJAw:xD%ב gLp;jGI3}D@D[n'wbܲ,$\/D&|%Lm- 5#{~M=qgjJN!ރZ}1qQș'ahCu"zU0o,w&i0}]14&+\\qL@Z8 2ݧ`ED\҃([V_cA{Pd"ϭKBqt-cD/5HeA3kFkCz,5G:V˖w]K JoW !J#[2lIMZta=P~v  yǙwL!xI;Ss,gYZ7zXZִF! $ ^]ŗXi%L ھXp>=xFKT.hosgS9{ΫURJnFiV)sxЅSfeWT"ªrv@mݣzI/4 ahߦ;u¦{lhEEzjϏZN#i'ed4 >|4[]H:Vw 9 ;<,7;]:VQ۵^vaayJ&o KĪ1C4TA20q>xBOdYm Gb(QM#jI:!@O|=!U F$ vB8T MUv,h62akqkd`|Nb?wvw@zwFw}iXi<;z;kHw$A,ޢE@$*ǡI~QCR=[8NFReUnP#!T̈́377 ~,~lLg >9<"#U>c yo$_e3C^w&cѧ J8.*ÇHoO ={fdt'e[цIղ_h _Y5Ν></ Ð qoaὟcB^333W ~wa$9`?fҧ8g-; j! j̨ [ qD<#cixqDB(R~:e9 Z1ky]8- Tc/l . TuSOePLW)?Y(yyh)t`b$шL#1"8_i8(CUB]ؤNݝ}A"5/r')4TaGPdם Q0yʟCĘ,*w(߹AD2MccFPl e|տq23H,bQCÒlhұ_^3xD `5|b҄.?<.cn1&vtZJW<6\Ƅy-YJ_^5ӓ7=o vzh fwz2rnC*%v+ 񊻻5a0xJْ05 4|fR`e W7+3=:j֪3l:k Y}4ŽxMnɘaC:LdG<'n?a޾>ȒuS³]&T#n|:up10&v'TuCPO~w@!꓋_cJmDV0 BJ 1n?gf8)k7gַB6j^- \=S0qW]n#v'8ƖA{oM6N\N{ .b9FmG=_3:N8HL Kˁ熟,;KAmkrI ?qJ|ƫr^i.dҴ5 PPkvs,VÓoH I-fg_TMs) }~cD%gan,s*a:HWf笼>R\h >(Cb'}gYZ3871ffa64f2d677abd2a3c0f05283264630fa952d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834 5dabb32408fa270a233666662dbea2f3cd36fcb9 6d9bcb95a63271017083063790c0e1f412c39880