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 [ L| ] Separata:threads=2elapsed=13.912cpu=26.808gc=0.788factor=1.937zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?g`M %nR5rQ:^ zQӪicŘڞ}@<L8i&)g(owe:(*﷥/,!aSV8OVUi4 "H"e{ļNgx^ȍݗ|m kO~WH=?a^9Q|2!PW| vPC^x7R=1 )*6T^6*TtEug NUFV*KF } y #YoFM] jQjJn>f`a' 3F~ t˗=*DŦ47cvmi\m:Vd,!j_yLAeI\W[3AM?$ݹ]}R瑣f [wI7&xo[ 'rXá2s?I &Q)g!i;1[k]L' P\菓\H4B ĜdU }x}@fSy~T#$7MwL̖ Ġ8OJ楣u}Gtt󲱯KǍ86a/7rL%b618qK@>4?B𚬛$6(_M_y4V)CKqMiNy[޵vkCy51@}r{9qlyb'|vb 6ZM;~ƈ&i> H׃%l 3*Z+Or\l7y:J+Fkey:`˚5SA -va!rc ܍tw+sV'karK xmI+UKCv9)ܟkƧ)X͍ѣc,l?;C7v·`.N*Lv]lmt@p$UY{qA~M7@P-e>Oi c[5">(aD m^ % ܑCgYZb30f08eceb2bedb8666096c077426080333a10db8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c   Separata