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 f+ \ ] Euler_MacLaurin:threads=2elapsed=28.695cpu=54.752gc=2.532factor=1.917zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z_X#+חi׉Ne*&:ѥ^W+7"<<$Y@=piR])'g=xmKn/P\zG5 ШVNG|rƲ{2a&:[i%6H ;0Cr *~hd[k<"6U7jnnJ HPA@:lBex\Ͼf<̵~fִ 98M~T6:UAK wV<=fpj4;džxd}`lQ&:_]7oIrlu-ŀAxvR+: jqJ"}FI:탵p_A zΰ|6ghE;sTT>[Xlć1 W$,0E>zfS( %Y~ޙ:{J!hڧ#*ZgxO3'k5/ q4$E,bamqʱ"=$x\ZD0|*-4|B꧛ S]E깮e~yw_0Iv Úyڥ:~]'PI?FbX cè@]z!) ޖnB{ &e3naų3r7X,q7isshaH$=Y̢*HX2Xted!ѯ3c_N 'Xim\dz8gG6|%ӫnE2(|kRΩL.ʎI ^^$7gŚTwXs*eqO5Su?AvxFI3@9~/Y}wGpcj*\/JFXCim`B,Y)LdPӛs֢Ogm~wVpS#ҙ ghKx|Tz2g 5]4h4d\P[1ev{ɛ}p3[eW>Mp*>ݩ0Sb]grgYZ7zXZִF! %]ŗXi%;HN{'V( RrLDBĹ{˨3kYR]j9mt/&+G^ܡ* 8;9Pku97 QtKvbe3.GCSY's ԌSsOCN.0 o<32~d?:/OuK-PLɾ7O Ϥr_:ƌ- o۪1ugm,={J`Ti҄3`FŁť3ZG/ڴepn7sSyC TfQmV=̀Eu1zz[_:Dl%yC<էXvn`B)R|V)xJҸ{p& .ׂI2DT_َEF ̾:2e+g^v˅;;7<~bq>QB3R "-`[iܫْLUR+m4/Ӑ%@L[|.==ki0/͝M# ="0Tl/J($f/YiXb2WE{=AK/l꯿=hM:MAK{!@mH2y!'*^*9FҘ5U!ů2ęF$)*_d1ۺ%(*ӻ-tZ1Vͻ1aͭg4LfXn _  ! 8G1fF ފqUi^ښ7Siʎ_VkULai.A64*PK*Ijۍ2lv)#AM6 oj) Kc,WO%<؞# 32@J{ *ISpISXHWY$e3<]Pi}gw36ea>& w,8>QBa$R1:wֈ*EƘ(֬zI!\ţWaψ{V\ KCAr'A&ʿZxdkh]4!2Rń2bH煾{W(x}4UL2X {jja̭Cnisz,uv4irCGoU[dbXI!?iG eܥ?bWI*z鯝u\P`غ u Dh]rPDGY>r-1§xX,o籞Xe\r康{J&ŕukJgDua~ $'OMn^9 `VˍXc׶s v7lE˾KK_ۥoޓ6;0pn͕6dӷ|,:ܻ;> 7p=3h0=*I.j袏ٻͅxHب/QiLba 5?ȯTSͼWk@_VWA&N99RVI*J6-*Nޢ2 ?93O"oH\Tu$ru$\ѸsM-:6*jiZACBpށ:3RO)t5Qۇz[hC4SƗɺ-K?L]`ΙYm#ڛqZ7i ZX f}*CVGI6ta~uեK1Lelӳe4V>~ER>,¬8%]xసؚ0$RÇ#"РwKo{E&SCiibݫ<-f:1X޹`~3|.I/x&3n ;#P q>IZ=9^DM1H/Y~KW $TOu"-8 =糝RPa7p #PW}V-Ũ r=yeDetS}=x,Vqx ͲVqi5pg?=U:C `oZLP#(߭O¯@$vqn|-X9gTyx}W'gYZd3497614830cbe23fed9c60ebde83d6f3a15d8c6a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 c382ccf41ab8971be7e30191e1f54a96cf9fa69e + Euler_MacLaurin