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 0+D S/ Ramsey-Infinite:threads=2elapsed=5.568cpu=8.236gc=0.184factor=1.487zXZִF! \]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`Sߡ 0uЉNϿ%(75&DL۬Y^KO`*Cfsi0,j>Ճ3=(֏=V-nMF!i056 l~d<ДD.2i*!8S/kW)Q7D7gvލ_jiT? ̹j}r;16:df$F9BR+榈ԡRnck:n} ѧI뷭mR갓j/WnH{yD[&Y^=86t)tɭMi֜K]Gӧ:uV}g` e*G+5^?ʅ=EV\%%dKÓaULRw&Z°{)\Mn* |۪Ϛ yv M1f'?b>?=!+8ȗd0 Ȯ{=`W09m=/Xʲnʬn[N`F50?gYZ7zXZִF! %\]ŗXi%DQݵ2V};F + Ramsey-Infinitef-\~^o^ 8i_ۥЦtcpޣ_^ڛ5Z0A G]NUh:^t{n-wOŵ:,brz 8PӸ\*k7˙G1]7/?u5R3QWa;%Ҙ(6v:Ya oٸ V'1PsoI^/v? ',L+ U]@sӆ pL)3w(my ;Oy!n: DD㸩UdX!JCp-Fz3E!)O StR>6gfA B्1]Rbg*FsAqa-T23avoHɑ3*o?iW1"KPJ)4zm_eύetTZgnjgUftmϯ+4/-*"`Z&Eahgm!S~;6GI~o}&6NFߩ=~yչ\#˝ Tu^7SڛS'#rMAVOٓŧ3Y;3͌+ "tCqpYQEP9P* -ܓͬGa{w낉C)ÐZhYH F=*-g^zOP0WWKI 'mڹ7w%2J?J±gYZ6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 b3ad818a7660d934d89acedc333918fd9000f935 ce168f5c6ec1725149cd64ec4a6feca6f681f8b87df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56