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 V dT #S HOL-UNITY:threads=6elapsed=19.422cpu=92.692gc=3.516factor=4.777zXZִF!   HOL-UNITY )]ŗXf1-q恈r|u2_QM' 8əj*؀f@ZbOaLVvfKyX)v&fr @씝] wKUF'l%F X$ ٻ!TZ a |?4k"( η6[Lpn4rdvԑT!xpJq fѰ9 ̅9|.\ѱr<חK=@O v"bgn$P2RЏyq蔟Ts[O.9q> }(k3-/c XQQ*"nh;Pr^yOl W:w4u)]nYcg jo|A@ypht2qEHky>iE!gUvn@x2(K;%͘H6qϝOuW*l+,L.l獋$?ΝU˜ E 6ZQWR_O(*W9ӿ\FwNKX|7? .dЁM) dN"eJ"L߼kǵ.%zHEt:u,%F9 .nʨ0d6IV8 䮯<,n'q}fKbCeP']6Jx7ݿwy/ !;X72aw\@$y=ӠvS 埈5e̶#&c^W._bS:pN)A o],$NrUwmTvFqϨtxͭ'ʥڼ{7Y-?c|+)E$36>9ϚONuB¸h@.N]%tToa>|H!O"5 U;JC..sdV#pǀ:ޱO00IWۺV5t +'V]vD3ICK'@ H0 rr>Ɉ(&qM#*Gu)~ʐx7R;r&ioHʹ(W_G:I`OAܽiD\fv EM+R[XDCD Lڽj{?;ճcD6 %za,/ _mNKKMjGxoQ<*&:f$Ro @Kl7>ȄI ȰzHk|W>cXrY X yjTAg+r> R#Q!_3J['.])C=Ƴ{qD^>:cwWm"B)A~tjtJ`;|ykg+u=0iϔoBLcGs=v9U Wfe0.d^9_9 2e[0.d--c5%mAKgҮt+!aSK[rڜ* "K+&ab!dV&j2JXMrU ]nu9;p)\zX]^ș7+W9Aϕ~|<Umm|59h\; rrY鴚Ğ ]G6<걄XYia'pdIjyi͠*,BvR\ + E`ʹʕ)Ʀ?PwA϶! ǗW38j(>!x9o'K{7W㺤aw<,yBya(֊o4;ϞL34'bՇo`HNnxWt@ #àL`{ BfD }~<1YF^clC!x y浔)v y7!AfP\FomȰ3nm.,ozS s]")gkm>\Bt2,pfyjT<=5r=Ȗ#VC/\CӶi E; o,@.TJ<L)C`w#FkԻ7v}\3V g>m+DŽp+F/8a-par z?0k+= \DG>v |dg5>Mln԰F؎:cfIѼYQx4s*X{^APld?@fۧfyD[ r8Dw=ZdF!p2 C[-[%2C<[!/DfwX;NC$mwa;/{ ueU+y?<|D,8 _GZ IU4@,h%pŃo:a*DѐTz+Ln㷄- YIVsR:Q*<t+2m(;,۽n]>}% j'{ypfx|_4NPMzMzS2ؼ6XENlj P1@>|Ԍ H{$I\ac(=ɜS5`Ԩ^Ôtf6 fcӴ !dOrJACj$s[y,&ţH4prWXB\FC˫#3oĺF}# #ZIGq>2ɏW?%݌Le}ϰr 'f1o؄bH 6U*!Z+T7)o5gjnZ5tCL>;PD@| ܤjƌP<;(0;qAY똙֎%SeTy@]=~Mj׹$$,dCjZUyg@^;i%GMP\e<UZJfuRuŽphFbm*դ?X [ m؎G8'U\|a=MM8"R1Pv#caxxe}N+gձ6|Z(Nkrʚ q(*Z^e_9M- N?Y2m\ 2݋J+F*MXgAŀi`_̐_OytҌ+Y0VevHYA((@ݺ>oAٞaڧ)O0{c0Eʔ.iF.8'*Dxnˉ\"oi p ? ={STSNʣ Έ d5FZܭMT p瓶Klud Ll2*5J;_(hCH}$1 !ֺ]w /&8 fP=یƵȂ86զg j?Ƕ|y6Q>b%@#V YnVH~Bss* 來3֮ '{ XE+3Y^|=7 TR\Uֻi9骒b6h@/n>1 /WTo.I%`f3.J3k ,n҃pןHJL6yoLzE9Պum_ q3daUOOnDAYaBn[I8iCQjIgsCg}DNuF-|} ٶʁ D1GAXVt;{khbT#v:LlAzo_v"gPیZ[M3fL)$6U]}HGEcݼXrE'h'ERA(o8ep\:tu7C?'BvLk4sn@UeJ_Ӗ!ɀi= JDŚdfX =@I|F{[M(zE5^hCV@PvՅN\yPr81n TF]r(?H(H߱gYZ7zXZִF! \n$]ŗXi%V!nl8z59/Tky$ ˾\̮9s"{yd=cUY)Qc7&zIS1ǷA6𫁀SO s;#:``z! 29C8yF>C$0L>~/; g4e0bRުPՇ塚Hw #dd"v[PD4 B%$.oP@7ˬ*CcLd,bX;(ZY2 2GA(:(8CON x3J=&3QY8gǮhYYc~z|1  J`Sώ)LY@O.)Da =;h=WbIZ ])$'IHE &.nbqE[.;t~kOxf}bUzA$714>cAw2I{X9 յRXz=ZRr Aj^*pO]M=G9 '?Wf " 2:)X XU.Ŧ$E>9@2n?=&Ax!UJM* cH4:ne u6a]<sd=Kүڲ`س2PmҲh2) ݊MDwkHp7K(b'[ՠ6ў` ѥNJfh JMb9 6Dje)o}z,A)$ ~\Ru{KBGx@>&3+ժ3*p1.!@PhS1Kݝﲽ,4#d8&w/J`di=89]Z '[T%@ [ճޯ9% @&кŀȋ!4T_h&$eK |+G"1LjB0A8`BX͝)Kj;$S*7M\Eaf'(zWDāH9i^U>bM$?S\N[]?;FOhhh % U`{~#p@g$mv+q-g+ 豗0ֹkpHGuB