SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 9% \ 5]Regular-Sets:threads=2elapsed=52.132cpu=90.556gc=3.932factor=1.747zXZִF! \?]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+Œ6 '1E*Û_2ϭ8"=R1[ x1>/]eH`~׫ZX:d.]V^lqI=vXoL֧Fk7="T6E8N @c#n;o5S6V^PQ 8UIk@qWfSEMJM4aTK? du6K VCbs?dJR-=$ZqxƃS"^a3-b吆q 9t,Y~2!PaW:28ҽ$mmwg\-OCydabi2)2-(XХTm>͒w7q!` }vg2mT K5yBڈ] % Regular-Setsf brE#ϦZh2s~`>3lg2޾s@ 6Q|@&ےGu}xeTߔ  |Z{#ْ$jd(~Ujiѝt=EPgZ3!B %oƑ %ֈ72­:<)-ZXw6'קP?BG4I O^Ͱ_M~<+lD)7#j+j0/7 U95Se3ΕKS)u'qyO˄炐f>Aџ5:UC jyF_{vh+</d !MpȖ-/`O0!r# *TAfB:/+TvgX-¹РoP$7W<1ʣ.S&*T˺\l% pt26ޭ.$ A#z ğm>)xc0@05qt)B}vꒂa㝕 ),P7 qsǏ6Nޅ:.HZq5 31>B1U͖f?>3w!=Y[f` 0"[*;w+tÎ.?,¶mڭRFP1mC_cU_!XbTp@6h!C)@Jhn'0 ,_h dO"g ODdYÒ$#B$'fRHL^9ucT~mLO &;;A#Q.9C&$!c# qga2|4[11Mal#.t 2,PQ/5~,7e_Au"Khu"W;.gwȅ8l;``k HEx-R+E^-g\$v"+_sdk&>4LGg\ii.Y5_rÆY ۹L]&gYZ7zXZִF! e]ŗXi% ~-ٰl$"7KJjbjbqa@wQL-iKDGS#]s|=j ,4Q]ϵK4ngUG0$/og'Xo~MU;F{LFK WlY IVޚϼXa4"yH`Pޤu@?M^ Yv~GH1]%q'Ik#$%-S*ޫ7BUv$䋁o"˙쉜f`jqڽΘ<Ϳ;\*\t1鶚ȗ4"uЪd/\S*AW!-yB:̓dp) Krm&Q7S^"A]k`KZe͢{a5S'#]w;k!<?QEGv5 ֶ-:SvU0ެ[}h391IzxA" 4;"NC1{ЦTCMOs ~9{גht .]nzzy'a>FGAXG|!1IRH䄋 ɾ2dytc%, st$Cf?wAxl{^Rm9pk(|T\Y ~˽y&BFoσӐܧ܄&%K*]٘6lWaja n2DUM]Î%FX&->'Iwyt_h@Z77تQ۵ёkN5նJGxђ yOQlBB:-(jWDx-f׀@@U~f $i8z+!kq^ z(< T>)xk/!qEF (݉0<L]b&`m*!}V\[Gci+[H8dQIEQ;2J_.oCyIim_=蹄(i)ٗv)}%bOKvQx̗"Z\l͂t#: q8n=j]nDSH3gԽlF?|}Jicj*r7FKDaĨ8AkJ<6ֱn=KW%kתZCuK/kЭopYU7OvCt2n zK4~}9-Ӵ˻Rho> H*k5d .-p+ŨxWF7!(W!זZ PWCeK℧d,{o|~dl8279d *7mDcvl5[VRcG)å m9_Z L%NT9^0y (;Iڝ ~$ >B'2^;YpeM,@l]*^imK*(4qOfY`uTYni= WО)eH1`3W??╛Ih2N"CwCg9V渏9DY׎aY] Cs:Mv_w0ʌ5:hk׌9@է2BmK)u'Q82@Ĩm1s ]iχBf*@ʠ+5%4TWn,qjuwRg/ݕ~P [L P\TqBLZ }"j|OR*RDԗ6~~nn~deTþQeڋ^Hr~R\!+>{VNRaoaEFj4fYPz2Q+8RNezi:R0Ą?{ʉ `M9486^WC4$ LmѸ0t Jjgϴ/oVgE.~Wk ѝފՌx1vi RD6NޯwӁ[ewS[t?, ôTv_cJQ)+9ow-y ڏ^6SvTZTP l$[,xYAG.k%CX2`M>ސ;&0ü\ ZEʄhE-De\X""Ic Y. >y :R1{!?="$u&p wO@So|/ 0Ȓ(r.hVf!h])>U\ GHҎQɇ;q iжm颫ݻ t!RտDC3hӣ' V/g1>ᨲڲQZL{ -G%3ESJges&]b$YYErs3^srM,x姙 v8h$魓=wA,8 `Re~ ©b&yBU2Nvtӏ\IgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 08b39a2bdb89b8319778d00fb4fcc7a3c6e99eed 30a1bc059e0e0e6e5c1deba4757bf160c8a590ba 3ec84dc92f4d4ad777248fcb6efcf6965055486c 52b0aace9d7980c050fa4e0a384a785c607e5f31 7a22667c57f746b278085651b8428b2a3e2519ea 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25 d3fb91c47fc3112ac31920e45c2b8b27c21094bf efc268ab2b9e37dea06f9f97a5a2ce0798e3850570d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91d246641d4f20a97b79e88871f7c74824aeb78de5