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  ` `% < l ]/ HOL-NanoJava:threads=2elapsed=6.635cpu=11.584gc=0.656factor=1.757zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hacLu1׶Ꮇ#WQڄޔl\_keDd/ͦ۬xKE1`0TJ0L$r5eD'5%iKqxyh_:^4U0?8sOm\ /LƷC`ܘ'f< $?e_ÖQ@O}uNαˇ6wq]4!pu@X #gYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]EZVDJXB>|*?D(hIz;b $O%3\ߍHF8C(hP ʠ*BwSLRyyu+)JakdYFeY!߂ >W&?zwj<\~[WgYZ7zXZִF! '/]ŗXi%9(P1Ȋ|喙kPŊZ[ґ)(1~ .:֚1RK5ui Co"b!#@uAiJHFa^+G05yZHbF#>,^㩃W xfgΣئ X|YÎ:5CJl@z?rV=XӾemL;_>1ůqVjIЗ$b{Q> %7uƔͫSp L|bB\::{Ztyu_$S TBÁɩv hF8a՜&'tij&nhkKP֚*jXXa7q^zY8dua9L6`a-^V_]LJEdrF$aSgPeM&$0^F5}^7Os[g={@䦋;ZPWжMl ?w_dq*/JVS[ծ".E9Մ,Pg*D jɰÙJ҉ES!_&]%g S#\ݢ r.EV~ؐyE$4Xbi'Ca2w9=' cuM%zokK! AݚCjCSKȦ-LZlyܮw[eH^fWm4DK?kΞ/79*xVg醯ip6ԟ&MBz.7TDLY^o\m