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 R+ $ ] Euler_MacLaurin:threads=2elapsed=30.916cpu=53.636gc=2.192factor=1.737zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:ܙ{񑙭 "O~b(^.N&">H=U"7; 7u$ Exԏ_$ ^v'dY&9ZSA22uHYK.wXT5%{;鼚gaYn' %t_sQ Π}MfgMD@ w^dEv_f[p9Y{]1ui ϡ\̀б_-v7ǸT),V3+Nav22FMxK9;ѯi;uU6 a/!M^O#*4ySPǻsGNjr9:U'ްkO%eٖUβZAMu;X1P/[2 _pAv s!ݶR _, .F(,Ϯ<1Zoko S>1'MX YÒBcP%\ݩx\XEU 8tV|ľtX`tin>W@޳zl/Ac0Hț]Lןޗď_+7ܓgAC dM0}i Tq^q[ɾH LJ0 ȥ5k,_U QPdDaHSiqEl؊_c%OQ,QdsIrϜ0ϛjA@gYZ7zXZִF! B]ŗXiɟ1˦r!q=4!pƹ $7 סT[g  ckR&BBd/-`+]oT5!1)Xqӷ3Szfv\ttrAk/_sL-E~+lQƌrL4g%oحڠ 8®GoBV.<z>к rY+DVB(QSש$ -i𦆱4q4dޑZ\QN߬|}U"4 C,Ln4…2Q6N) E~0/)?}$ǞلED;;- *树)꟒8L\~Bv!9^ uIz'=M\aVo^?R4wM((U+χI5ǟkӈ&͞y(nB^l{F["`R4|rp*qDD4@opJd0%6lSoRK?@j8A fTH- [.H#|[C77Gkus\x2ٿxuUs(_LŔ69GD OEU;X,QX8@2jl3 g1&}nfkoeu#OAsmX^JQaO `z>6!⳱˭ d@{lB1Do`?Ew C?}8:V~kKΉwѢoCKq_Ie(@Mq =ׁ.rGkod ,\W{f'/ӃM~I ʳJRdfw W~,gؿFZY$2'L T$lsZMIk%>a6L3;?dp{ot|Vb<㟦]C$隺hyfI:&(]?;L+aj/"/6[FxGt`3\ L&ן=8#x>ք%x?~B"Z,r Cfe=G՗4yqlUel'U[D!ʨ$VDlشn8'" KdͯQz<auߝ%C#58 j{pC7^BPdM^q$*B'5{kaN"y;B7]kUA Єk/F%;O6]\dDZ >*ސZKhrxPb-9IW}y%'KT qڕv, (UU*^e!{E+޸eFM'0qG6̽痃!䑝.&{gE(fHժeƬk}u%x41\ڣpAY_лw.߯fF>]d!2etfاr6@?8/#qڂs7$H'w+?$|6 eaZbRs ӿNYSA3}|OK eU}xp;KSr~kkO[ V0t" TD}CRJavF|cBB}(~gYZ9e57855e4042347f59a0f6e84428c6bd94431f3e665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 84e9ff1afaa7247afbeef9eb4b335fea17548a6c + Euler_MacLaurin