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 1 T$ %S Abstract_Soundness:threads=2elapsed=12.934cpu=23.792gc=1.224factor=1.847zXZִF! *c]ŗXf1-/6vRZ\vW>_vIOqۻh8 o'f]F9-[cch 1$msqP=q!mV窈7 G0[m)`5{_e%;ճO#_ >XMPN~2̦N:T 苬'l Ҋ\7l`?0i5Qp?p2,T"B<!b /wSP7V@4m^|w.tmER Uz C]QuF6~,++N_TrID-e껡nyD=5taOI" vN9G_Nc|"m1 1 Abstract_Soundness7LTԪ֩q>9kT&wK1Z>R[xaoduDe/ RI;-3rr/*uפԃV[[zr46'1HL9]m'yP%e E'oʹ'+YUH{_sQ܁ KKj5Ph8}h5+8 jR h#_æuJ]a-0\qÀ0Pq#mjU,Y=.9A CddL:u M+|y7E=WglF} =u-_Ar0pTFӲDp"Aa߳ޝc!5ޅl`yGn"C%:wWOj2 x6Q*c/wbjFw`NR_\\Hi'7MB M#g>Nk< J텐lc!P;u8i͵U805gYZ7zXZִF! CJ]ŗXi%S.|,qky|*H0H$1 7J6Vͩ+yd[fg`HGo/[s*N`5ejbd7/rNY>MYoj&t?Tj ts'go=ZHk% э+`zB(p:O<=[ 6*}S릴VH?L c}D | t"`JpMT߈(a0Fz-j)V1