SQLite format 3@ . YYQ77Atableisabelle_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, "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 m T ]/ SIFPL:threads=2elapsed=55.592cpu=90.520gc=3.968factor=1.637zXZִF! (]ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(.UsZa"௏m7[[6TaovԀan4* @^0|zhd~$To#oHE%UN[ pMZL=0rRlw󙫵pJ-&Z?cZOe]^P$ xVMw/``U?o#J!< =F~xqʛCs+A ɇslRHCvu>T5 YRόAĊRV+$"KC{wT}Fu(Cdpz  SIFPLEG ^_qky*/#뼆v9-B(#ƥH 5gsb`cKiW~,qsԄxq"5qKC1͎95/h8vzCjxyuoGmrl,֬EvHr"^]~db;A"7IR)XUѥ'UlPJS@S  >eNOs ԧkҘ)n[J/4&kf1=3^ ' X>"ZcQt@:4jo1# ;j0?^?-#pt4<Ԧ5qGޢn`yw^LLpEZ¡e1^ f;HaL 3NIjx'_nU/Cd-D硑qoG`JI~(6I+Ļlp*h; 8BLH{> g -iϒ*YGeo6Y GSAwr78eya Wmzk۔n=pC9H@"#OM.j ~3}uRW{aB'0)?ϑOҎ`ZnP`;J_Qn_&dЌ9@0"A[]m#}VSO8noNe~c:əUXU4QK=Qci+c]>Wj 97:-skhbiG]xf#EWevc'Hq/`Wj6=:y@>&*s͂[ڗh_>wٽK# hV2D5[˃FI!X~nR2=NzI*i/뭔gn8Cl/"IvGWɎ @RsiW_킆UtIDvf,X)B,mP.%0c{%LB\l&zKc?ϯ>p S7(R1XwrȎ~{֣$|*8+u #"<fU#:~I{`~4ll $̓N|Ii/(>oX̐~Z0dpg[5x.h~{AhRD]sZEnP"k:jn5{N"́&zO :1O#"(~,6:)PjX"OsBxC1h3{ ʧ17uMʉTPԀ/޼g DuӏA%kظdVNp3FFm@=$^<}; UTij;{\1HJڂ%9-Pۘح 5ӸyԖw<z23WX]`L rfzj3c5O7NJGS1"tagpk)(98GH.o.,iO< Z72}@y}BBڜ~LYޛaQHW5\׺F@2вC; A^Nw[&ތ=5(5vV;ʃO:+}%:[A6ظ9:&6*^r{"Eg Wug/woN8A,bzB`ex!5ӁМiϩk/$o8G ]ɸf8=]p։?e:v(8QHOz:eE_˾$-\AMe ,@f;1D ϊI_@nnf( 4 '[Ey^꾩֎sAC]aH64th5Piu./#CH~q(HMJ76:ߌ (ލHzs@ΘX15Ko" 9*,j4P?@mtOj6%L!@ Hc!\c^_"NlΌ_[#Y) QיHuG0{gtVܖY+Cn$ S^]p}G%J[V)FuOI|/FXe7(Bq=aJqfsY˯*Ҹw'~l_/ @S>ShzÖgśuBGk^e=(LlP4d3'.2+dtQ~9/=R@E3G$]oR&ṰO58!FɚCSEYWo}}\g" nCS 1DL$~,>2D (LƀQuw'CxkYnkVtmV(s(Ce8NV1LC=ټmwOThr"X7e$Q5^}s݂'@Sf cS&P [NH<"פY˵[LI0fhznJ.jS/ÁʎGvEGba/P덦s:ˤp_r=I0q8 ņY 9<`>y&~DF>! tc( V8xAUzi ;6]ji3Jy"V8T*{P4ۂ.[Rnי\a)c-4mN+om) Wb=1o4~I5̗~+M4ZSY;(#tur 7R'YDl| }瑃)l(`:h9؈T{uv^GW)94Nzl_˟؊3ot56d);Mvcu(x1[9"7:%mĉgYZ05f84c7a46e9f7699c41357f601dfa60687440efe003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e