SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 35,l ]S HOL-Nominal-Examples:threads=6elapsed=263.433cpu=1119.848gc=140.272factor=4.257zXZ ִF ! "%y] ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=h!p`enH$F IM'2Ajz3X/ȥҿEXؾ4Z~QJB3=?c7²6T l!_Lk1 qS.":xesGsߍtkYQ`Jg+6h^CŅViͰiJG#8J-:|?|sQiGlY,͠ʛ n s)UO$QU2IH6=T xUSC3!wf}'a[:MهT\.7f@pXP tL9|{2O_k"j9B\p/ `w?y^N QoMb}nj-σcjPZYm ɪ`hɑ}a
5s ^]k7 Qw-RRҘzIK_SE/`U' tsh&(5{%ƧKuThnG݈}Gv7}id!8n-70W tj`~(V!q6i^RKR|pF9<^7tHK*ڈבy 1,Q1Fj2=G9c=GMxtiZ-1BꃫlA-+cjIc"$'\=m: _ۥU܈p )y 7[Hm_4?<"l`F͠hu4u)^)f9="VdI{^%"'2/ф'Ec]5[2a8[ϷJ_btOd^.A(TPaxD?˥Pj_M ;x_ɥ*Riȶ +eb_*؛U# oF&jnv