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 WW\Td ]S HOL-UNITY:threads=2elapsed=67.325cpu=104.376gc=9.072factor=1.557zXZִF! 3G]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: YxNo'G{O8I/=Jdk>C<Yn\~)$YlgudCrmbCm=˛ߕqψ8'wJ&F{T>j\r;tv҇0NrdPnqjz7[5SRxK.XFZB-}"G7r(& S_ _ kyc`P epsm,S^!`¶iO'I(T\Nو5m c.|Fwa$#@Rܯ+ɔ JS>헙 IVX,|=ZoƖS0;UI58x@&DU\3b-Vիhb BW]<ڄgd=+-v8Y.TiYHib0 K60rֱ$^cVʂffo7]L,gy U)Vxe5ḵ`K*eSd S\b_VY"_͝.MaL lnxۖ@CQ`|猏0U> VO?C jb\8D[ve}-VJ g4!QɏR8Y1?khbNR5a%BY.@〘 2ͣͼśȽ_ׄu Ơ6*sͬGh}$v129 ݑgQHWň0u8g4mY=2qY,V-D~smm4mIRr.bͷo$?#Fm]ǸVdoʾZ w;!NªQΉfL +JkɈ8GUԈbI%B(c EbH=+)RcOh"1M;k iW :eLD~,6~1+?`"' '`Pm51(,ՃSE}(fF ?Cدڗu |r.:*2wt!${"r‧Xn egxKu[z53`T\o(Ș](vd ?.ȋ1 H3WԼgH 5 4`Rt>àކ:ec:p{WG` >f| PL},NRXYH F/E&FŒ'B}:5P+z,gT)6dI Wp?[>!z 艤J-ks6&~Q^U *a\5|͑JhͫGԝ$"爨}V |ǜ$?va{ [M¾,|wD/O+AsKήPds[mdTYCm@~߇j2C~o 5T   HOL-UNITYD(A4m )fZD$=f f.4+܂m.+ B,o{Jď%v_C]κhg̟BcmxcugYZ7zXZִF! Cl]ŗXi%;Kȕ J)bS+PLwTE:ez'騩?(?0Ģ2tcYJ3{A2_`8K*AO&p u)Z,QRvjkՑbz1#ѕ${Bt@}v@PjXX? q4QPFNË0P~J4yGpYh(S'a`>H9O<+_z~K zu#{)LvZ Pl8$Ϝ嚩P_ҏHyTt[-p*$ȡ+$?rDlNښ_1ݴ9zC18ű]~H+;9bDYna sآn{I>Wuj/Tp#m cNlty?ꄛyLY?.02,8 Ŭp6Z3Vn9k!_$PZjA}F 0ˏm(t|' W~?\SXplzmqJs^\[ܤܡgH{D7'o< {SC5EY\:ݓ+#OHzsFifì-B#N Ve$HAdYQܛ_ ({WZ9xO21IoF1YȎ 68,Z#o;ݗ6Sme]Myc[0.q7j[ˬ6n-suݢ9b-='rmL ix'|> X]n0< P0 eT$]`X ӱN:a mU~ zE֟3[k٭r4SȃnLoc W{/vi¯wVK<̊<=*2 NJN{>`Աz"bpmg"*~9{1]|~Yqw<+`UɐL-PZ-V ~N'YJZ󅞢/ =4vӌ߲u#I⤟S[14wWSU G\M";E&|˂̄qu1`wv$M&6Q0L@q[S7*iov*w7 C?28EVE?壠 y}9(EgfDg26ɏ`+Z^:;zG?J!%4 ~qMA̭Wz@ݐFnpafcC)Pnp# YI sɄ[ i`$M,ZOOTR7qz1PQ&]E1pݚx"EWBբ0@377c<eUlm8oz.m힙'2ߺxħennTS 2,/3֋cʅq<Xph)WO*8x T_?We+A"z_' L[Coۢ;S 5c>51ARPY[^2 ٥f-;dן]=5V) YPsći|""Ҽ9uD羄(Peg)t<+W ]dST bb%йj ~m2y`Nݷ⻃͎s.uM֎R'~JPy>hݠu˿rOޯυ[ :U$ᷴΎYe& hf$SLc]rlp֓Ӱ&[|t0CT64AgDP VM`1KD{ I7J" D @ߊo `~{u'/J&8zH̃]~ϼ#\ebi4. ;slO ϹM~I&$;P3!} 5+_?(G\J_$TRC({I.RʐHz}*'V {v1SI؂ՓU 5pnw=?Ɗ^ ΐ~E=XhRQ\KUj^boeP}~#ş V]4CA\VХEX[فڕgL*=}|^VXh0y/ߌCmbyjd(ls&g76bެ‘G?vdԭvȳAu&Z06NhJC6cƱYC^^esfm$J惫"P]n>ÿnH}d ]5ee~SJ= OUSeN˳ :egp 'U9ױgYZa3636d0c0ad43efa6c90bfe80bdc08538a4c523e848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 d917d16ccc38ba570c12297f3bb3196d70f93486 62af4aa24079525883bfa26e8b3680f9e38bc5a6