SQLite format 3@ . BBh77otableisabelle_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 ZZ#+ L4 ]S Euler_MacLaurin:threads=2elapsed=17.139cpu=27.648gc=0.808factor=1.617zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z3z/ƦFǕGĥ-m9xoGh1: T9&ݗ"c -y҃!O8P ig> *j|6,vә[p/~s #MҢAmC^"w K~KBZ-G2Ⱦx#Vh8- mȻ"Y` $VՆn4ZΤM/ůxo3^{_y#{N3_qxLYNsco@ Lw1>-ӆ\)W/k r]PE xsؙt؈bcrx1EEyxJ3DNUXwv;PQU5&(-wtS2ٳ)"{=\hV2)gɲu]b.7\iv 7gYZ7zXZִF! ]ŗXiɟ ؁#dN9ԝLfa<lW[bLFB µd$5$I/ee8+"n>{)K9V(?$Q=mcF@^as?5+g,ޅkwKxSq>M(]PYTL{j 7O1~ #}]ƮsgYZ7zXZִF! `}]ŗXi%;cK]orv"ڲʤ/Aygxi Gbc,%emU <(<)e8#@LR߶tnoUz)ӗG!͙Q՝-\(}τ(5y`U*uP8&:SS"qg4CBCi)a5LU <$ 7O,x4t;oQ,6R{p/'.#;+oU4ˉR7-A&+I9HW)(Gݸ^Ԁиr:FqVw* @B5c7ڻh-nWq)vK)4x >ih Ψ乜:R]fp8(PSJ%`ޓqDOp}xXD--=Q7:ys]Y|`D_>NlGTOR(',WhU D9 ;Y%^#VQ5 Lkݣڍs *eui 0 uu#1AMߌN}P3S ![I@wRKRPw)|)Dhq6HYE{Z(.Z0:6@Njk٧΃0ϡDo2K \ȶovACrW-vPy,U*xF+9{0* E-L('ȇJ:VWY'M?g S7Ϛp=W/,ZoҌ?D4!~Ĵ.%![5G~/!t%Z 1.Sߨp7p Y \vz b)3?{2n 1IogX4x 1["X׈0 ƌmpڙ8kE],s0N1Ҙ@m*Tⷠ