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  , {/]HOLCF:threads=2elapsed=20.467cpu=36.456gc=1.928factor=1.787zXZִF! - ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/~a\ fG]Rt?Radh>ůw6vŒzXL{`+Z0}JD[}iw}^Uċd! x R/xm7 ܢ EIm v-I iR6'dp`;Kkh$$.z+Aerl GQJ͙hl G(!"*a!`HsFyg{fhu IĬbʣg ny<_ S>vǔ8/1$0ඦaZmV#xSXJNmu)#!ːmPV  HOLCF7doք[i/J_x,;ea>jV-nҸJ mȕM.EF^+B fez9Ӱ͸Ya%XpW&c WH3^,qSe8xk>|j}&&J3=g#'EOYL/P"idm+jgco%#.uo~<6"Fs3g$A͛$$sm^Z2Dm]:co %L6eX4|(xH޳AUO'3@^~MA C"Jvayw ~&3z_G ծ JHwO=c/=m.xy0ㅮQ`"E52;}lpӔ&aT}M^R,:jWtfP35, `'`7/YJZk@Xy;3JX fA**sH[A6As{Ή2:\'2'&u`2g *K7fB:n_҂t-.䒒oʂlUWԼvѷvdDU(vikb}EC) Zq.? VTXo)W[w`#,^ZKCe =`x49@Ѿőťit9BJ)ƶrO$?&D]i?Y{\FlaSp"JMLQ7<Q,xMT*a)6EP6|j$!i_R+eafF 5D*8bJZB[;cJot'>uڜ<:: wAE Q6t{ROL&LqluEm? sq/"]&bܟ2[@MVR9դecŸ-7d?ÇI1g[5 #IR=  Ջb˰v?;.@~XqMZT>u`U Bz;m;X"6@Pj҆)#/uo h_]EDq^{Gn 5fA)|pt)_~}z8_go[R71^"=,Կ*Um,\lp y-0TlJ뒿\-zd+B`:_aB0pApW ~|ju+cw901 :F0)[0qAxj& ;ڮH<ȴvfwԶ||!`}Xp-EjA9܅;PIǸJXηOd|ٮppNfR\X_Je\A'hݣ>gͬbrKy Iv=*t_+5WF${ݜФ&/$s0Cr!6ʑoLNmBcm/J[w!B[)4N*V9w4j"*@Ŧ D>چOXJ e:+Mѣ Y>J3/׵:Zڴ?jLj6BjF& ~vbU'ae> >k/>$Y8BXܲXVx~_b.J.堘e>inŷOgp6,0SC꜐):o7B7N:AsYXԳ&=(2#;0,)`$oF7YP8- w0x'Pi–sY9a'֗ޔ,Cf! d< ?h[[xs>*8Z!X>noҬ4[xR6{Ng]U%"S(ךʏTd?KSo^VSF> ^!r13(@ޗ1H-P,Ԉx)5vKJq-;UQu՗OܻT|QuPGL41­m-( W|~4nw~JS"_ ?!bXꀏj64Z"# O\=?qEnbVbnE3Ro`z`)ob5@f  XYŠ씶"cwxd%(gw/f`TB#9P ΩY(xOCq"ޜw0 ؒǟ< ;<uz@ oM[?dGmh8-]o#JjM/2vz4UJPϸ8Џ!$7eJ Lz0Gb'/kJz{Mo&GL셬Pt4>;k_Qh*oJ,w->]QyO.q)~;x`T>/q(NPyOPȟzY^E34SkO,sP;\]{i^Q|>X*=yL]o)U2K@1hoW8fhaE"4~TxFF 6 zvX AL? P[6j|pRbf\1.}E- &:4d?;҅.[JBM rԯ7ZSoɫY'G!%Ү$J/# UFI{iTf+K)'=)/ |= N~4'&45x 걀=>c3*>;f) T7x.݉TFĆiόijgubJ4jbyv]Ȫ#UΙO@eF9ۥ*A"> ē,s>οw NgR'Ҿ ܖZ:/!ѳ5%&)r]Ý2nь#?X>+c,ʻ7"K nJpIb\+ 7@d %B|YeG@څ~N1v5bvp1{ᮢ,C$JJ#)#%m9dZm׊J?,evsߏjȭ킍鿶1ۋol#C-,FbIQbc