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 EE8! T ]/ NormByEval:threads=2elapsed=26.579cpu=45.476gc=1.312factor=1.717zXZִF! a]ŗXf1-/6vR[yK6Φ + ?+)82AN2mt:l# hz;jI8L` 5ˢX:͇ΜIz~@_[s%#A֟l~V~mF<+T׈{d@:?ɺYAO\JsS~ۂ  XsͶ֏K?[^3s%Ў)h!2{!{p0_J]N>%=dTqw ?:Bw#@F3<@`GLC=Vߋj(  >W[oiu@@8oI2w,zyGz~O<:l% lα#NjG((ycSлμgqGS[]" p}ek:ݗФ:ˇ_F>S5?zD<¾ָ  ˉغqp-n?NG6^ C=*x_cpiM@_ jg8~;IZ`"O-ppyfi4g9}މb_pN"5i9Ì$Ehd@}+9uѢ) ɸ=$i6$3x!cSE!DI nw3d{G=Q0v,j*/Af_@lC0nR~Xuh\*ҏ΁6n11E,|IL~km&tVEî!^\6Tc͑-Ks˘Y{FHHLSj&xT<|.Zča>i98AigYZ7zXZִF! D::name=NormByEval.NBEelapsed=11.095cpu=20.716gc=0.896leO P]E-#%)}YZ7zXZִF! E~]ŗXi%W~ĵ{̳-? (l/'{1[CV鬑' {+7II>#Zfj;P3WsVwԕ`UBWٌ,\ H%Ψpe5To[KDxą!Sʀ4\e#MQJks?"Kw̢cq¼R>dɇ1j)ݹ*+Fb[0~K+ӑ1Wi#A%%;Vq-l_UjwA鵯-T:rn媏1;~e \&i'::ERZ.tTtjz%8i#RL/Jrx]Bјۿm-^_9PeUɠvD >.F2acPqHO&wbZBg 7R.@JiC4,dfD7eL AXI:N6O~RޙV'k* }~*7|Y)Q ,{;<_$?@ױ-Yz{wdX !&*QU!i_#C¯=}֟hxV=:AqFu^ ymd tx `44ēи#'M@<${Kk;w*AІ9mesKn"ۅojz 6ܽދާ?ASvJPZ}H }#8g+Hn,89I*S*ZMb0C-H~ʆy$n_jj2\$waΈE0dbiS2n>B2?9קqnBBǨ /Da1N]^ :hR@<3aՇW|]7Vdk[HW ^E/=EvUp]L\nLAO ޴7jf~,8]ѢI4ICU8guE,skΔ!KzQ;ɲ<ظS7 '7q2!5Y{ࢬШKʓZefHmñȔS)M~7c/Џ=,hJ9D*Ne?yU*)sڀ4SfJ#SBVqgHig}މ+j Ѓ~ H$(Qx.S 8;maZ7"j}9蜃"ܠ=}ݦ؂ߥ\QTq|[LP]jŸ ddU̵E\\Z#Gz旐$TT*k=Ls,9bkSkD8jâ,]_&׼!13wgZRtx }<S+=ja罭 l82C9]4vj"kłD_['Q8:QʙSt8kgk|n~tB15Y#J\4UW\r< TDM7D0ϐhO Sb^+ZqnsF2϶E2y=U;HbR#̀b@<K>=I8dݰB7>yGmh-~xD/;pF8inc ]:qƚWllgYZbc271302d8c3306b763e29399ce6c20a43753196d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e  ! NormByEval