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 & |< ]/ Heard_Of:threads=2elapsed=37.912cpu=60.892gc=2.120factor=1.617zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF77eo$"E,d%A!l+mnfBgk ˃I[+c_K$4#ḪꛯP,D*NIX0?}_ pwߎ!kV ֪6UkQlهyc2 E (1Zaj&   Heard_Of,phXBAYIxC󘟀P|ZQ499]TCR%#֮ߚ_[7UQ6WRB?}^)܌YVX8:"_2Y{WF(:~9ޖm 1>b@C4C#TS6U_5Tx_VH铁L7YF/+"us*ŧ 8og̽}\{ GŐ%f(5ۥ eẖ%T{*hc}]>- r*;ٲa;LͩƎYLbmTFU,Ce>8{Nil ק!QȾ:[PxŮg3Md9ބmOV`٩Sg/z =Ut=fYF-gYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14(W=9z?)C͞ʔʝ"sYWy{;t4wy-a3 l#[/:z#e0 D6};R?d^ r_@%f!f-<ʪ_WTo+ųFObM٣}ĻrhwIaN(8ke&qu܄Ш sx^Q**5VE7{&༌h6H K4RR) { A'O=wu®{o9ag х/gP'l xJ+Q{#O&Q TX/h[SV gYZ7zXZִF! ȧ U]ŗXi%923NX8vߕD>Efo.kKgAڅ54fT]zth"{ʦXLyv | :L Qgk2X0ho8~FTn el|fX`5i2藜I~!f1И1#0EA=PC? +OkAލo/vPe\M2e T6aaW+XƸL FF{ݡ_x /޽^24eBicJ+[qH_~8(h"KTr{\ة R=a:y\AQM1%3ĿsQnQ9:me}lq}Xml&/t4{ppo|b}+D'kJ_H3IRUߖBW-bCH<  \/Ґf#oCOeݽTbz(p'V Tc:@($A,;)* ԫN-Ahf\#ê}nolݗGBS;HH 3gX, -ᶊs|. C)b0$Iʸp&K1x&-"]͛n'ײcNX׸6~$+O[Y,d`ŷ!T^%NNu>%m GWE 뢚BC\:c$]`h_ERW /(Ƀ <$Q0zbLjXgRAW/lns)}M)r(v2 'glC3<-Vh}ZdFΨ/"++#cTeWq274vZ6 [ :E<)Ffw``QFil12:1?xV*\T wqLw[}gsO&k(.J32Ѩ"e 4x-TF$iO%^i*={0AxQHޕǡ[40;NfwCCWx<&4je9& s26wElSQMI $зk1:-U⡜"GB( bgҩ?@R!`AqXKAVya ֋G^m;:jwR( C3xC ܽXv~fCaks 2~*~^)4H=heł(ޙ: OxZ#v QJ  }H;Mٖۍᣢ3X1["3c;. 836 ( m߷[AB,a.32XXdsnQ7AT!K4M\Rq,:-h®kE$[ F}m)<݇L)@1Jn#60;X'Nd+=xF{FqLш)NSnWF|R!uf@#Ől_΁V򋣭~TFFy0xUҠ llg!0iѝt6g']pF gs:~;'u(+JAUBrdNR0nOCfF a׺gx\@ZU+~pc\E:sQ7"0&>6=S000d e5r.@nL~N+ c6XzҺG}@<>2mTyYu^O#b[ 8ҵ). b阓b2 Ɩ'wt|SyN]#Z7aX6 `kOs5D7g^TW$\52oM4$r Vvf6٠-rٶVhU2 PN,mjXgYZc9ffb1c43aa608ab92ad11d92c11562a1a7e7328fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a