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 HH)# L\ +/]HOL-Nominal:threads=6elapsed=6.190cpu=15.876gc=0.700factor=2.567zXZִF! (]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S2;XuI;pW}N%MqUz> UPtFQq ]rQF۲'NM/ 7 ǹ~gh$ugWs{hj4| jsb?n6‹93Ŀ TםUԥ~0e!,mǟ Jh`}{ +Fy \@KuUYuyx*?ZCS#G;뚮O yLF%ͣdoG:V1V#`"SN2 e)٥D{6xfI?[i|x}RUӾ-'(N I͝V]=_!@y,U# # HOL-Nominal)3;_,t样W#(T1^Js!=iEE[qna+TNsO3w>v)fcM-l'2&C,>?mۃvIdUChyu@7*Z-ȽVHgaNi\Iu6a=,g\_b3 +ͺr?TsAZE(tb1[3ecӆDxv5|U΀eofCCD׶ G֓PR/Lk^mI]N :!n7i3x,E75?~ ͵PfƳ0gYZ7zXZִF! ]ŗXi%QR SE4CxZ B,umH{wL4͹=6T">jWγ4XrY%ވ^x,`FS1ۈ*I"_>?wFOOqp1mp!5|Q />9lS9~ȶ֔#DH#دED&jL F {es)5KP]|V!&cU(&ңnrPz}u7+0Ҵ1"=nrs}Y{A+SϘ{*UVGܢr?w! zEiL}ЉZ]#xdnaX3Pdiebk?Ļ3ڈ5 ?4~o quݔ[:(رc\Q7fl#