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  A? ]]HOL-Computational_Algebra:threads=2elapsed=57.235cpu=100.280gc=4.768factor=1.757zXZִF! -t]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(AQK'h',%Ud9D)HAԾe)H:HbcbT7wp,dO*!wƵfz٣Px:yd3[$o@bI p}v{NC-:g邮74ɻ35&e>s',㼖(>=(.ZMW#EzѪ[H\[\Mp*@ݲ$E? ACQ '0Af󷆍3N<;`-IQt6UETՌt`U9NKPA:c V{@C$ӓNBWU8͍[&Hf< (+>fRDz=xeneZ*&3úacgj6Ĺ~Gȁk(҂$(͛tﵲRүWA5) lxHWw+(GXm5 6< nlEr]%Q8U'_3 Ii e_>![2M? q͌gVC0F 6b`[xm&&:V$ldX g#w6ꪎӳlevyPN@'34 LK^#wK lٺJYot4L/GE 'Y&RANn!71N ?V^2S"ÛO- hO,5t#i ? HOL-Computational_Algebrai\9yխWoW Zx3ñgYZ7zXZִF! ]ŗXiɟ1h-<.T*DO-?/%jHYݭoUM߭B(DԜ"?@}rJ܍dV R'3 taAY}z˼=K L"mNK3)&-uOO"* Er?ND^!Umn;8턳K/qEviE}d"ny!{mԌzO$t+SȽ$A |26x "m4E2(ZFZ%-h0hVxv }{ v>.g|@e ׫פ:f*BHDiO1*~ /e}w}}*Ĥ0 +Cˎ-QЭf̄PDG(@w1Zw6:>'WYxʲM{#m|mɚWQNu;@-gpʀwu@|Cr5dQIQ1W^ayPKdkX׉X2ߊOR#^:WiAmMJFYz[F ޹0x2y6iOu;}Ϡ^aZ5.a oOb4_d# w]h Q e8lGlV `lgʩ,;"oTixa 2pϺ/.2 !hOЅ#YƜ)3p"mҲaU:i RJsB1YB'i}ByS<)/PCĺ)z՞ WXgy#- ŶQ.' yCJ)6m~ys!pƁTd78siA?5~نDϑU5q{Ge>X`0KV%h)~_ 6lm8.j4#0/VJU

g͞.}E]`b^5da&`6&.4dDPthh)2 YƗSXKm{؞kfa&9jw9LeBm8ɇ󒡔FbPԇf9#Ndm"wN$)$~9cN aC!J?RvNtQQ(Q *#+*$a8h3<;[JbV,wb2|Kf|eNgkZ(Rbx'ruihF!uy?Z4 6րW0oLO;YW ]'kJS/so"z8; reӻ9P%ꄫ>ҭˎdtRĩPj LcsrW3_ b#f khjw."FZ`RM0KHKdtglēztla]U͞gLy˛M(x U!a)ъ*AJM\cʍ!}cFcY9;y.ǧ$ZE%EC,D]__93~%9-*( u<ہssgVDϏRT ^{6ǢG\nҔͳf.)O0#Ibi)H\{GEg$@Fyק`.+~un`û+]'ߤv, C FZrBG)vZU \Pތ۔wa cA꺓^rFOy:}>AօހOƯCT1e;6Brqw¬\Cfrv'GK2y/Pf((qd. ^d#:mdīrzw P۫>외+pvf=!Dݥ(clK˵3n@=M*SoGŀ6Tq 9L4XB'tWRY".bP6,l&I8lѕ _zJzj-A@Y^=IHQĝswyRX-+6A5Bi U+e#R zbkZ\sLƮ'p˶q|V~@r&FDE+2Wh䋍?;jMXzLtL` FTBdYT?/gnyS XܖB 2m,RF 8-aT>hVko“?*.;]R& OV_0Ccg@A(o3p 7zB)N{pGFN K[PiNk~m4q]c`G6X7@N"~KsꊿFF> +l. JAxsT~}N:rd v0o~}U|w+~~Bwe#ZGLG1|+HkԳ~t·GXh@QoYc\FS Q/-3SvZЄ.Ǿ#4A5>hSk]k,ʼcܢmJZ4 Iܧ8#