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 @@= t ]/ Huffman:threads=2elapsed=11.158cpu=19.416gc=0.464factor=1.747zXZִF! ]ŗXf1-/6vRZ7Y#Kȅ |[7fn 1i-^!CɄz3Pp Ã;xOFr`'t^!U`3VO=hl*?v`ؿ.=YsB+pe\}a(6qOFF欥0 Gx&>Е]vc "vSι4,CshhpXQ1e&[L53ah+* ~935p% o+G똝wOni"ViR`v-2"aG=I]#u  *%" eMTz䞇6Em< ,uIS%^j 5yn7,zcRua2$N+P4!c1DV3fEN@@egYZ7zXZִF! C?]ŗXiɟt0sϘ ECS>NJS3'M?g"&`)-[D=x}YZ7zXZִF! Fr<]ŗXi%;ź'Nvd̅PԎ3<23zCF5L3OiS^7_^gĜz\,w؎maȢjSS2jo\F/T9Qo}S(@))Znmf c]ۖyOx\yY4oxA$kdg/&jԕY2ᒺ>'3HU뫔vk#%~] sNA W #W ƛx`F*lߔWQl-.KXw$ >GA(Y"-UP ף[SCzkLϨw⼣;Z|GVW|8%۞eaDf#Ux7ȼgI H̙Pk-T1*M=Һ; So3 Ͼspf;>•$X*g/ GE,__)B͝=;8g ƸkKcUOkqc >sV2cS b vpJ%&<nh59\Sj,4tGCj70PAR'ٌp6=J+1|\Ѳ<ڒя1uǶNR[z-yWUټ1^Ӓ,Z , h+У1^I$5%t~^ƫ/~*[& ـx0dOֆ1F >a-k8["ԴRf