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   x \t ]S IOA:threads=6elapsed=7.726cpu=32.144gc=1.040factor=4.167zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K _G~o,,z4l=-y(wt,Trrxv1CZŠؼv1Q?NM(Xvv;&>XcIX<5NjEiÁ VAsd:`k֛kzm ]tUҲ[/pE>q"U )q@g=kC#}>J},=WogF-e&p!$&ß'){xhÊrX-_ow_6·lŽDP;괷tSΗ S0?J6ݲ򮏬lsu]kyY޻wČ'3;G*{U9aUh Sÿ!(JO` ypqQ%}i=mDAo ϋ\&g]L<.n}gYZ7zXZִF! %q]ŗXi%6ͫyyU!1N  CR"șCc䚪FX/Ec[P'>B`LhrH.D#9$k(Wx[epRG4?kD?*4Y<96|]K/FF$O6h *Ӆj%ߍ 1IvJf_4 K0u9UqL۸ AQ<^"avg܄r^h^݈L3)B.#ȿ0X.v*V }˺-H0H^Ɖoә$jɬr{ tfCOt-A+oRIBLM_ƓQP;OϜ,8L!}&V'O/PiȊa@ĨWٖb1(qԀ#dC^$KY90Ŕ[څjd} IxBr'vEmdGΊB(<Η(ۋ:1q'Vg!Z[v݂RkɜZN'' ImZzʯ.'#Tv&",j@cP`UQ{Z<9-?-4`(`ZΖ>;O`h4Z&഼؄aN#dό yR|& PVL{{vN4a&2|1UN~"