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 ee $t ]/ Menger:threads=2elapsed=10.986cpu=19.512gc=0.560factor=1.787zXZִF! n ]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aC1+ɓQ>Pa+4ho؎,(BD],a%J` })=Z6}% -Oزlg'qdXDʝ <<}0t9}, #`O0س$eYCJd)^h?RpLv'6,(gn;,eM۞&-8\l% ξ!4>p95|<׽f^֍[pBs,@2|kЏ{Pr ׷i1&}qj[?u٫F&ݸ]qt$ֶ4앁!oPM )쭖/Grh Cą(+Bܬ|^] fkTUNQeǂOa.>>[gYZ7zXZִF! 3]ŗXiɟ{A]R90⿈w׸15k1b.cඥo?I[i\DQ(ܥYJ!Cf ;h|y?Hϧ?LbhP 8J[e"6}d,ǁ%:XRνu6.,5I0~]bX)VwDНPgYZ7zXZִF! Fj1]ŗXi%ή++2q"(wpuimwu׸5܄}PGN <,wlǷ5#J;@n&DObG6~`)Q3dЛ/_Ss; ;iL)xyjHMZ!B/J'/_&e<8}5ak%?hl<&f-O^@7\)I)8?T0^;cw4e`@KcP]atzn54&->+w3_~ >CnL3 vR"/M[jsL>Pݹ) L6|t,K>A,qIzETтgb= 9֗d JJ{Ӳ8n~#H㩂w.na_P%!nO"#Ƕ* UA<&֗/-VDGA93(#{u(ȚDp J$Jϝ8{GfL ~颕W~4C'ǫg>⼟w6]gy$/ZMEV!^?R)*࢟0bv| Ay`)U MۧAtV>j,c4}yʨC{Օ-MMFQP=@ .ӱ H浗V 1cDPTt57y8Ct+EIY-GM*ίm+Q! Ƌ2+ry8'jnRC_P* s~{gYZ2e6245700322799a99ced86b38a514d8a4dd6b4300b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02   Menger