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 j+ d ] Euler_MacLaurin:threads=2elapsed=31.736cpu=54.928gc=2.260factor=1.737zXZִF! V]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:+ۏ#UnOi|NjNy8SKɴV@FEN '`4&}+tqU3I !nפ B%gv7?O~O) VdY{rAthYbǷEpf1=tW_"tZPqN6+L.l/[c~&rcL&JJ.P?zEp`wI(UDz K0Y]}KUץu!] ;%AUi+(Bu;:3"q[:ogiO> ɧc'ZC#z,-AAl\drm_dzA>޼#gYZ7zXZִF! <]ŗXiɟ1˦r!q=4!pƹ $7#^& q:":+{}4W^yZ>R!D >wPa3rwM4KzB82!Q ;'5Ēvp$/(_g,7픿ڂ p!bYK^8"'cnT3nFx; :hh^Dy1 3g&Լ[2V/-7AHkM4JQ's=7% !t2{Cy7%[U7e`]FBgLWN$gYZ7zXZִF! ]ŗXi%>g괤3VsZMD#Rn40F덓wdbɫRIi_fxUS3yQɫ~+Bb+N)yH4x6&,B=Ej5-U ~=?Vk$r*9$ 2?k ժiElD#|d#KAH@^ŸTm?ihy2sIkG%Vn|73 5ΓKw^ZKW` %;S\Ǔ8rohp`igLHc.Z?#N;k}jT\u7=x(8A5>G -tR_qrw :[W p/ň(X 1ˀHGp̜%Rs2hfbl68Y1?mhu \\m5|C (.4>x"F.)kHnwk9aC|wQXG H&9F\D3"N(yTDSRO{~wjܿl~N0{uRt H`5m3F򒯣S|d;0*1P:MFT.`O${蕉$+0$ :[Xq|b"^ ~¨"4|QEUL*e)%R˗"*_RX^TuZH`9)=P^e H ]xG[&'OVx 8"EfBފewɓR mP}U-OU%e++,5ASCuK |<l!m3QT)lؘV R'y =+#@L;;KxFZ)m5@iά}=쑟w߿iyQR%C+//kގtP1/ƵΟ$*Odج%=+j/fڛ6C@V=1)j㱄>K9z ]쳯p*p/aS=S`dUտ+| ̿pLJj׺:7|Y 6=Zt!Ie̽hĽQf3sOU"TYc@hF \]".wSGlq蠛5S}9q!i*_Ƙ,Dũ'^ @VȖ@mn ?w ^ȴ#wZFvkB#PZhh40[|#AI=J' <6߶^%p$ΞKd{7xV4hv2;FG>᳎)E;o!BT !xy%Lч1ފyrwRKi$Ca2ͬz$P mѮ8Oi޻I񲖾-Gl!:uN^qw; gnSe2X^kWGB^`MCy)~Utqv8[$(4- K7}\åL?w9(Zu{tZ86nVJ<##$i>I$r)1xfdQzm==`"P?вB=fT TWI>Hz|<