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 :+ | ] Euler_MacLaurin:threads=2elapsed=30.962cpu=53.920gc=2.252factor=1.747zXZִF! 4x]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& \[:F)'f%#:ZaDY-~W29޽f>BW ϧ@V 7v"vA~(a>Np|Mdj{{r,l-=DjXqmHVKRX(c|lq`F%VQAJE؀1Œ=6"<&̱bnUo p"F"Y>goR2Q&Q 6)$v6U&+MzCw[͎{!|{V $qc̊3=պ1y:EF1jf>H6&F!pAx:ޯ4OD<̩+zu/ $p {<ɈPzzt zmW $8{B[$' }]綗겅Ʋ̍VHqt버ҩ o+9mJTo2%e F4_i[!SeSlmEui+CsѴg9DRNm@(Ra_ hRE~pjG5X9L rk{̶`MvvzDJ?GPcbS!5. W Ұ¦ Qpnf\/vpXԭ}V$aYq&Ӈ+gU-hVK{fg7]2Xk {e Ǯ.s4I\N?è)q9au]N)C_;hSKѭBE9W cG-.W9B:vgYZ7zXZִF! =]ŗXiɟ1˦r!q=4!pƹ $7 ^cNqb&6JdCnS6N0x,|*v_λ{G5.@LX\x\A9dz>:"^(ؐ`ZaRp(gW7+Q\ÖW`21sʰ nVxJa1&0ALYQ@)3ATC?+~&=5-N;Bu fxefHܐ[~: rE`G( D氉D>2=MxȱgYZ7zXZִF! ]ŗXi%>gu_L8A.KX6I6!W7O+!R]+Mu|blԗ*aU& ~) "#k,9e,!7`eOe4aaԸlxSmDUGT5"(jf8&2j:!hi`\|`=oJ!|l8&KZ~ 'z6A864r'7Fe沇:0bGQX,M(4U@'GrHhzѤcE"CJ)Z= GQ[IfnwrSLYJ׭j;xkh8?w*u٫xwhx@|7߻;GMxf/B}xwpLXJ%źvzr4cy |Hu{5L;vHm2YY﹔ޝ5圔ـFa{1f0X֔+NA*O 4TM 43n`\T`v!2OSa.[j-GRPf_Э0} LBf']85*`jD.T}iWӘc`x>4\N.(cp ?AB *<.9)_Γ"ա!άe7OkY&CS+8ٵ@*G0y! hrI%ey^ayjRL'sȮSW+;S@QY[a"`iuqbf:uRY8# u!xYa@Ͷ8}˝C-6ęk'tT$C90jDxGh9s 󭔔wC΂yzIGu6O6Yoנ?ǞQl>3z$Q )wbkfB5ƀǑANthw"UbJ_^>@<3RJ9L߰qTVUNIB}olkwT,k6#>{OH23,>87[9'KY@6z39Fn%zYAvbN$`Ct_B0ͬ7K50@tx.rw"s Y2sO:3o5n`^*H=HV ͩNJD8괭&6z@MÅ]zͷ$Pɿ_iTe?1pAO2Ǎ!V9.M[)wl*F?ZLfR 8zZs}I*>NJl A߱qR81:T,BQ _gU3LA^Pk WLR{gg$;RRGR`n\x!aQ#FO -޾B~\1Av:P"+Ī-MJa_jbgquF4bAπL4-|D`'tDy#F#xUrvV`Lr":cdJA fn T+l $5A ݉ߺϥęK?bs L BVLJj7ψ';kGt$YN9*|NAz=vZ vqx) pH; N)QVJUnq|$"̐0 a9SPS-xŸl%2g,N94ו>, -6 [\#xaAdIGޅ| N׳ nFG?A5 ? 00.{T)FאM@ s|b;'و֔ ss06`& |~B2Og%U7+檋{ɬ2؄f^mDy<U &HuaaR7-l`r_PqjGj촿qas]NlObh Ј6v @ y9d C$xA1fI6椓i|E-9:ϙ]%)Ba<ŸvmDY&I C?D8:J= 7A!g$:3(Wlg cA7\9SSG8dzM}+}pȤ r3'>