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 ) $ 5% Jordan_Hoelder:threads=2elapsed=19.566cpu=35.580gc=1.332factor=1.827zXZִF! `]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃2nb" GZk 'l(?ǯO]uIW 7S=2TKr$[-3sIR ~BV1)ְR( ʹ\T/CGCOv{2p )T1;TDkX""tD߾&e_˲z)K6{"@ >bsfW>}97ٙxoeSfU:~0ȟTRؘ{Ki p:5|hIa۱EWxd,hgӪRYdhF.Z=7[v̡bxuk[7]/t\Km)c7:>)"7y Wa 5ȇ{ ]ANrl*7ștؾ8!@+՘(CPA 0öH08<$0lB^M͘YDE|9c0X+>} ˡb <%?#ij' 񿝅B~G hل*#xgYZ7zXZִF! gn]ŗXi%6y4|×@t{)$D,hTЙn zneCUۑ!Ws2ݏ!䦍Mۋ(`bͲ3EdaFms75'a +cƇmlgX4 1L<{T9, 7˼gh K]_p-+ۿ.Dq{ X l1yZ"C?ӗ-? r꘎͓{I tٳ0ãeF^.\qBg-m\By$:ظ:}F75GܲPs٦.{14ua# i&xe~Km̢._@(n,Pf?D+^ fN Ibpl߾a.a2t7M 6q[:! "cP Gэ~P6F(˛bRF"S'xHrz}dwg*X0a~M{Y ׬'.'iͶ S=Z]1!SZFjg.v^aILDb|ER_Nf_L=D:(6دE ~$<uH*ޚAcqXNxJD H̴0Zy =@&|n^5;HU *K yWp/kQ͒{eC,Umn(+FA치*̍x#=Qz]EgK0\29ih(f)jF[Mq.$>TһfQfQ:\=^_W-9 [Xtٝ.QsoW%a /^[]wn;hEP#t| } GU{0`|UR\VI吵^'~•ʔk,3@XM<**tBnQVwo/I|͜:inD- hHjOEM& IHaE5YV4{Y(|qr[8XVn>GCy"cyv%ز r@Ifrɼ)Bt"96ƄBcji֯Hk80ydͦԽ.֐8j%Zl*p$prn;ov(ZXC콭prd.oܽJt~,7c%@L{N7ޑk`1ώwm5DVdft54:_j#AbM_e~~ѮF7!v>bzPWW,TǤ^k8#]]ʒYU( >|\r3w^}urk5f@tn2aYu? tꏽHOVHVmnl#+ 4iC1 gYZ0012dfd3e886640dfcf2523b5dcff829a64d5363 0d4ca91b60be9500c90aee83710a5c32b25701d8 1a7e79d45868f2511c1360a7061092c3726fe930 4465ccd5b4a4a9c97df21605afa11aa4252017cc 707f7081877423ffbac6d7d75ee7625d5f888056 776a7603b7735c5547ce2f4f9d30bce956adf76c 7e34b8dd8242e8f3e5a2c3c8043822a752a91cb2 8d413ec5196fa7479220c95ac4f71bbac2b0d693 8ff15cf0c89f5527625eb90484af1729d9d15e0b b176700549ee0f4c8e3f968ae19d18603871de0f c0e02d76b3c21f3b457fc7b084784cf6be553187 c6d33f696908642619028f80d5d7707602192bd8 cf9dfc2a8abd1e2b7e9f07c133b17c3f9f752bf4554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 93abc91c039f52f86271cad82c5783c5cc5df1d2 ) Jordan_Hoelder