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 t ]]HOL-Nominal:threads=6elapsed=7.472cpu=14.888gc=0.748factor=1.997zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯~ӋO zs@N,U@0k DbqecD'"F1/W51,_{B}vM0-~e"b:zh)nh{³\,&Frk7Qܨh``(\Uw-s`+7 -BM\";Wԇ=QEZGT.2r%+  gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Xz*Q6ojMف%Qڜ8C󍅍>~`I'{J}YZ7zXZִF! #"]ŗXi%;͔PdF޿Ybrj|Ls:Ga׽Ue ݗ USVD¼b|"jɜ3*qBK#q26%<|$O L+1K'}Y#򮆈U=x;SmTX_cqK=̙R> pP\oV1"cRXBqԡ2 saKAVˀod VS! T )^-I(qYL;jC vTf ]}ؿvY&lo2Dw/M6DC"Hz JHBosbS̾_2֭W>)ꊞ~>D:QG`s\:M8ue^K~x3jW` K؁`ctcDNkem;ei$!hҕ7Cj%7Yaf^ !5#y5+ro̚|{+B- dqӼha_ [r3a8]ZHE 0j