SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info FF# 4< 5/ TLA:threads=2elapsed=21.501cpu=34.236gc=0.884factor=1.597zXZִF! g]ŗXf1-/6vR[j 84[ϲ E <,S>4 %v_cVpyKѬ ^fK;k Or }^=zN~ASepy| ]q؄[/aZƙ ^IENҹ5pNj"d iDH30Ό-RD=M%^!F^1]@ڪ,xq-$V~rO%mJqy4%R;̵FN(Vό4<.YFC@QٽĦ]h43SoTv=N+(%$H8:[%yjMДHti,V-(kR<ͺ. Ǔ'#EmUK"O JPP0x >6x{.>rLTZv+Dk4F ҺRD)50 Yl|ZQL=t9< gWmHtV A\: gq$3RKBn4dykbB-h6?mh8qmt8o1{?^ kr-ʬR!"nӒo0&C5z(k\ɤ>, u{^`?cl}Fݘ$a\*cO 󯎛Ω8Ǥ_RC'V^FTxxZ\̪ Q{&koj jDv^c#X껙Ydv\Bg[ݵSXX@F.$P!QFYٺ fD"xOoX,%va &:.1Xv> $"hS#ѫ᫇RS7[m Ϣܥ !o3CTY&q)rO+qVR):-v$qtEi7u}իrUQ Kշnz/F~c/ߌRLsV3"?yapQoG g^;UhoDJSlPSPQl 5ȍA,gYZ7zXZִF! w]ŗXi%HQV*-?ND 2MlN6\ KI/A7Q?N Zz3ˁ] oaI@Ĕe]Afuiڲqj9`e5)J]0 )Sz]7=3V ”/DQ-;vŷ?P&%Wz'謣)*2͑(z%$+Dm8Oxa}+;5~ ),4CmjN( J6p&EjȹW5.k㏇-(cS;$E8s[{a1*FJxe# ;2Lf*뜩Xw.Cώ>ϴ [G]z\ 5̯Nsg#XcV>3b># qEhZҿF)NZxlLQUؔ -]BƜ_¶;P^,j9MpI\|F #q=*a1_"_, tv(?,"p\UH}Mmr9>7 7A ̐;-|-A;b,hh,3: ' [q6RM.ENݣ&øRͺCM<NVfȆa,ZBqq5Ю6d!y@@|>O,S 9q$tc㹳HQIb¨rk-O(U+ G+h#R;5zEO8ÙRhfm_ Kf;˒4enB2]Ʃ1l!`'3KOu(ޅGihQ? %3>@}=4HV44#e+9~r4l+dN+Z\D{`O/〰a2f,5Få#X 93ck/*id ZG{߾ly ޷(*̓`W/%*iљs匢zvۗ TreJ| C} d \dՌȓHmvc&٫n!bjew/Tq 03A>q)&{F"AEQ{> > sv<34]X s~ֽ Ii]]ΨVP,9/ŗWJ7.)6P[zKi/@1]1H\ڦl6M]E2-_9Ԟȥj\17)"̪ڒ֣5,gQL+|mсgʪsU\FDs;T zw:A/Xܗ\W*d~qs+%(Mwq PgYZ1e7ba31c4dc05ddbbb631641d25d4f7cf03f1208 2c9f3be82ff5c63b1f16e21033bd1c4b35f466d2 2f7db77401291eccdc656ef2c1fec0f69869f556 4e0062e104a384dd4467d8375f51f17480533025 58120e6125904a581bef89f8e22afef8d50fc5f7 5f9f91dacb8bf052a3145f88262436d948673e8b 6ccca4b194d7c460c7d20d1bdf0184a758f42647 73f4a222f3b5e5b700f4c91e0ff942e0128596e5 8894e971a51764ea9e0de082a632d1c2af7ac9fb 8d0f9d4bc5410bdfe98eaa74450a4797e3b6da77 92bde48f7def0bd869468078008e71584dc7b705 b409a65573aa1439ddf08a9a817137e0855dd356 cf9f5c4c2ae546d3cd77524b4d6938ace41dadad8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07