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 998 l S/ AVL-Trees:threads=2elapsed=19.025cpu=37.444gc=0.912factor=1.977zXZִF! 3m]ŗXf1-/6vRZ\2_:oFEQUUo2ɸzZVTUW\?l,--1@Z05) ] }̪Ѷ1_9ʕ^GVe|>oK6+LW%%%1JP5TȲ nӌQ? \n=$/Ri 5F|nHY*ݔv̚GR"\J7χ\,nmioمŊ+ f -aat^33~PmU0k :x͹[D f$j5ta@)}(tGm\+ :U4E(,&C9vm!s[Z$ |JnBPfuF(@}%g=o!_D[ToĽvTŚ$ (&iB%W@Oq_<\%XʭT('$9!FGͿOaDJ8s@f 1/j}`U"ըg%W40)$z3 're+XBʲ   AVL-Trees"1Aw-$ B2$t Z6 I3 dɤˍD*Im绽h-γ[Xi cqK,;s)T t SK5 j^0ԝ@i.Tͬn,]9YCӿbv& .3l H;W$w)Pf?H)<2S7%5)'N?W[U=0p6}R|XJ[E ߬[\ΥO"̚Sԋ림^gѩձҲIƷhds厍w< g gYZ7zXZִF! `ny]ŗXi%zxt[s;Uh#egR_ʡ; *}(uW8*n*+L{x7$A6|Sw1HӆCă2ɴ'#bCWl?ېz_td#tU2t| XO_8A}0X'qnVdxob? 2r,adq_Ut6R6;F}sdl>{c;q4oгBYdGT\@(xN(UY(6/N JI2*9VE̠M M&GI 4.-ENeIkֶWË^6N WƔڛǃ?/;ȇIfz ")#QxZCŒ\e sc),OUd$QisxG 5lgHbe8fQ^>jܱWo*yįb2W/9%sH?`7@؍-O~ϓa1*_Hq菻jxbe40w3>Ⓣ 2k$,n u98K*F\KxA8VClwh., w|PدHJw:_"H[H!VYAp=5OѦ=rf9_nTm~+2[1aQ_*qxn"={C dEK`@==Kˉ~/-k :[v2|ɆΎQn3:9MOmrT }^dab\pr5Pkn=x¹M"EƝ}r)t/R|%cеA}w%K&Oj<Mb;;-*|,.}uK|LZY}]0T-n{a]v17$K;?<oBw40SV + *4>Au]XM9?VE#NsdH>\CTC$/gK9 AqK+jLVOs*;:cX{xԌL'y@w&pÇ̩6Tj]vb2bRm'* K{ؔ#??@3sYՂ{t5K\In[rR}Ь3*aG$ rFwY0$9?4h g  AFQA4Q,VݪmUS?X{8-ROQjnj` f% NT}X3R&