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 00E-dd _S Lambda_Free_KBOs:threads=2elapsed=63.041cpu=115.612gc=6.192factor=1.837zXZִF! F^+]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++,Ra~p\~g(M aǾ"kr^@>tE"zk$ wmpgH8+Ԯ2nu!ݓi*E]RBdxpc9fQh01s#6tA)9¯8EWQO;t8z|HAqwX ~s)4{Cp3CBM  j܇kayQ#eB; &o$#M.vJ WEE,/PQ⬋m:D7 4צz 1䦾:J@Ucqa?<^'-Q0؄.] * _~ګfzȤJt3/zbl578-Bt۩䋍)0sb"ʕ(1c,B}8pO_[0S$,mszj?µq/u0Jy|'w :5v]"kbȳmVIxeR^ϑ:M7`eNJtIuH"gJKӝ`n^RMe7JslmU>t$$]@2 KS}l{dDЪU-!S+^! [` 3LB>Qp\8R/@LZvz4e"a7Js(M`,2pʅ~ɪ/t eI%2UAϱ'NaW=ڛ\( !Rޅh ={x$!'Wm? 4-~"Vdz&{\ƒ{̟1p{  ?qLVsS4[0)[ (*S)M:x@6']S{=B\ehqdx&}@9NDy]oh9^vVSvgqWпr)>t6IʌCGUc!1  rWH3'f[QBfߌ>gYZ7zXZִF! ,]ŗXi%6xg^R^V"!=Pd6/ [5/їI P49J*}L~4~aD|p0:OƖi/e ֒p[Ԩ^`\W? XVnc>^J7}&c_ ir~]IN0`[CUFox`𽰟=`QvTɽP#׉}! b~D)}5e~Fu'v DP?}'VQVsʘ1Q91HH"&.b9`/F2` ]YOC6.r%ߎK{ޚWA޾ڪRE.@ZR'A1 g>[ ͦ'Z)89S}gW̤$ g@9isn{'ܩlpM."na?-…LiMmn 9@HO< Mev￴LO%ήj}Pؗ&_\M9UQܪC?bP $trr{-1n^K!’CgEbiZ)Mw5^Uh(K - Lambda_Free_KBOs ݊C2 ע7{e7 "V_dMuC>aAdpj٬8&-.+hcߧQ%+Bes n`47%ggAV 9s ^٠T T#_D;IPCЋ׈{cj;`!v/7^U8)1CVI3Ba472ҽv.d"kSn45n`G7HtRBL{~t ;r)v/E|cUPٰ ~z^!dA/ ٢zh4Մ 1KPQ/!1G1<p 6H. wbo͸V5Ruu821EKRAdi1T=\x 1F;[Zc->N=K<$!뼾]W7uPԗ=b qKdl|-~6(20&@g̳ ~CU^Ȥjюe֓J)1=  9ySOvi꽴x}rJ/߁c0 ͦxB#Bm3;%cFR(mF4aح]n:aFzki?q tj)S5#LZY8 Z涑:5(. #yICbsdK#[xSW7tS!δ}&pXsȍID:EDN@7Ԟ>Fe#/GIy)zڄv@ #+<d4it KZquȥ3n\7n:֎ݹ L?c\4YB\yoN5{{EBc*m 04S?$ "0%~3gWKNw]t|}wY{MVe`DI w##j^ഽH8\f*>7Q? 28Z=ywhuVbt['JMEA乩bRAP#h(,|"f3_o竌"x;11U`?0&^K~]ZS{^MYqսD{pSV@= 0'xPǕ6]w0)ήؕ$WHوNg CY Dp(7 %?E3@8c*9~E߲D-84i@M ߅_ngABY5nf3=1D{qoπ(<4dmw5|]16H k~Џ2ȾTMĶ96+qyQԬ7;~ !Tj+SkрdY[:R4z Q-77a[!@ÙN8wea$aac s7܄?5cQY"ZN -cGboYֽw_I1{I3k'-5buz^|ߎW y ['gCo/(Gn"yοO Ėi>; I'= Elb%FWFl&ǙQtBJB6}iv{|A)oQp0