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 7TD O HOL-Datatype_Examples:threads=6elapsed=84.376cpu=306.640gc=28.268factor=3.637zXZִF! Sc]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwB-b@j"uU%97euhYp"/(\ K Զ}C\ֳ=驤Bg#ZV-sryCӡ4z;q 0|NB+Q>fϜKI5<9!VM Ϊ0-vcXM[Z\y2T}CŃszd Ec *~IfWrQqYN2C0(RAb4e%{rɻO`QH`͍Q0%&'x!8wAV;lCٴ@PZdu Tkl65.~SCwxu% [cc;0\5a%#D9VzQipLz-Z R>8+>CE/xA0-c}xr~33\mMw3G>`i$Hg!͡m# ԲɉSV#WM D3,x7hM'E!p@$=*?k{15%29OZQ> ksm9k[B)x=@pk|},,Fh׾-Yn6>BnjQ|hq RNQCخ &9I *Όfwʒ%[*.6\Nd29ђq2V>푙b::|(+DbEH²Ng&Ш)2#ܕpn$ڐ囎fu-I1̩uz;eeκ"V* Aj$ \[0ڮaX6iWA727 ݶ*6gi+pWmAr}`Lu, H(5Rc+gGLY H'㿋_J0$yA]5gYZ7zXZִF! {M]ŗXi%6Յe-1vy8{ghUPچ &@ɒmȸk: W)%U]((=r"zFxCPр<58VHҤGQ"ٌ@T:K[b֭$]O<.ii}`]P8BhU-h82PVtDorrvDrdw>C])\!$ _$ZbWICm`CBWS8ZtP˭)'c7Yu=\. 9cR2*@@bƶ?qNQ.aTV,^ne#|؛ !!.]pMB @]?jٓ/{O6ԭ6ô.@beY@'{ј{w}ʥ\૚۸õMu5{qޤb$=t|!Rkc O'5EMFY./5tlOB^I a R/.Ņqt}YU=!Gʙ#Ù (ϳGD^50};1͖l~oJdp}ԃE-l(SԲZ8S aKi;->X;V!!O@*ĉ#4UiVI, F"U(mjNXC1DNIM2^ \.S2;yH{;憭Tc] `a{IP|o0#MJ~?㒀OP xVZ4؁-Vh`iWЗBWewy"}!r' 8RهliE&V|"aA`[Nl<LSU{doEKKpbta u(@vxѶܲl_Y %2|g MEǯ@U{P]`Ssd(Y%q::HK>:Ж|Ź]MF\Xu HԏIw 6 GKlǴa ]&H&m~iؔ[x-;u +5G:ԥOH(]M e}snXU(+/B歼ŋQk5RAPzqW}c=2ZvTC.I\ʊi\Dq'!fI'% Dt'7E،-q9?4] y .`09p˕p պWEo1i}Lֶ{\2/]`XElœ)Qi񊃌`X4y1Bd$IA a8״w[ ]Ġ$́ [9[.gďI!8t;561b*[iChdM!Mɶ4xT(ue4S{qW4mES`\czΌ}>E[V? ^pUgU]c%C7k5|H]2P:;6,SԗQf<k zi?~H=Kmρ x־ SCE*(!uWLCM᫗avy2[XA1.޿&jmM; Q3#j cPܒzK'EqORd眴/462i@p; ·ϹIygJH/*XňuK260w7|_LON)ay/'M1e,쵻;^&o{cqU[pU`dBbfi~gǬ I S5ЎUL4^nEe$/c/ mGrVL!'J6Y93Z=ܵkOkC⨌{\:Ip>yRÿ}ڄH 8l\IȦJZZDrz"(?<,C`wnC%R*LNŌћS6X@GZ&Sߕ*O B]DQAkgKy_gB FVfP$T[n/O>^)7V]aiŹzoq9 l+<_#12D. 퉁wԅ?$c>c#'?RU4+ ;%KٲM紪4tdB:׋;~^z1X>JH- [(.jσ"B  6iCa rnt 6 \F:v}YxTܯ2b\SC|F H!qO`_8~lZ|Hԑ,x)E& 7r5;b纐޸5@%Lp{_pEP6so7k.! s,["koo7}TY:7y<١Hn\9i"ws Փ-d펓Z1XqD xbRSu' @Q/ٝ 8&ciBVW($͑,^xR(&Vz92ZsS*T.D ԘĥbHr^ƛ|TNPiP]3a9{4b>*sR9!݇:|=!yG>4F2'R #eO*5ϩvlI [A9;@P&-9]-c'm<(>P"<KB/ $'ڰSa⍊8GS =y3yH`"%6"j gg1lKpAm֚S55< {DO]揞Ʀ%lwdb8^m\<2>NnB` RmnF h4[#T{P(dhgeqd7 YiL]' T"w <x=*ିʚЛnF:r)'g+d5}[OE(r8=v :Nǹp˱(,x`z/G~E%6LZv7})WHXSƈ`pxey GI9jom֩ۊE) Uڈeh5¡c sp+@Iel.KtT'$¨UrQ'!㋹ NevJ~ @!EN>Ph~LqOmmNT{WսSAfm,+(b»fFo}8%!2Q`W~+ xPxOA ZUTb]@m.ŭ׽͔<P{̒SɃ$\jH6$^q)m8ʣ4e^;( Y^ ?y EhmTm}L5^hg71mܑ"GLr&ɪJq=[XF*66l[d1ޔ>hL?jy0 903wj|Q9E/&8͛$~IhȊvBT1,?|olv!iWy;7fk#c *_'/$BAW7ؑy`RR0YjUtO9{ثTZًUJ!r810@ڪXǎovפGpXQYN!#i&j R "HAPܧG#ި{=wpH@cmP_|Q:@l׾ݨNbMU/>2ĿжO(mI Ca@5Յ~cZIKrYu:!ut=TSvfK8 K!mmx" "uqY3ٰRv~fZ?`_0,JK1bȂ]}Ѩ-Aթjl){mf"Zx"xT@vnzKBog)c2^|+ПEIADԂ87a@nZ~\:gZ =y3d+?}>[% L(6 K\Z9I!r e6@`}RG=}vdl]{kWy1X@,ł%ՃBf݌̳owɾҕʴ{-QQ ͽYd#-|!CK4W5/#`> 5*C}{O|nU7Q0€Qç֪~PN l 1OM Z}ٲ!>D9{U]Ɉ}+"G>7|%2;;={+Fg-:d{i{^ ˔(VS'1S% {pMׂ[MVN].Y$:4Np17%EW+!jYM3RG}`ou~𔋡ia6-g:2檄8b!X#U^η!$amP4pK}8DvNa4d ˿j[tF_u\% (2!jy{1 I] !}wWAOI4=SmecgǑ.'zR1*Ċ̥~oܧC"dU-֠.+ΓǻFysW z o]h {<" : >AОh&Kj2^H[?6*뗃q}=F"q\J#.AC Ȝ0ʓ(_7Qv F +p jgYZ0587b778f6bef879f999a5940f95823c3631960d 0e5adf75e6b97c4956b151fe0cb2e05c09b87e87 13187a4aa62cc0b4aa223059ec6f092680601d79 188772c8cc0763cb926fbc73250592b3d1fc2fd7 2ccb944126455a184c05f7f74b688fd9a11c19fb 4e44cae70dd49c4de22110915d4d7ae147d95218 5b804a02f026f0c514f3c9b07d11c4d7d7aae3d5 5ebed541cfcf29e3e43ff346c453a6e1b69b5793 5fc73a9c2bb9c6f5cfe3b1b6cc4a8d5b018f0361 70d9ea874231a0d1f29fe736dab1cfaed4d7e7db 97deb1f6e9982d18bcbb623ce6f3a82487cfb71f abcffe35b50e769314d17a49e69cf2b76e6a124d bf76cbd55e828093dc45c8b038ba1da5d71b41e5 c30b02fbcfd250c7a4bff57f0a40fbe5a596e36f d5fca18ac4191c95387bf634e3449c39abc4710a e3ad14e1344af2ffa265f0e446036ea14665e0f2 ef80661a56d1c4702656e82c62284c65daa3bb68 f65eecfa15c43fd3547ef3e698c3f14c7734a09db7a9b2dfe4980115e308a4222253abf01f3cba22 ac0ee46d42a46b8d0bd5ae0397e22d107e7ad682 026c9caa8befa3a67feabd448ac9fff1276a46a0