SQLite format 3@ . YYQ77Atableisabelle_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, "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 %S Sturm_Tarski:threads=2elapsed=20.326cpu=33.412gc=0.484factor=1.647zXZִF! ]ŗXf1-/6vR[]S#L35Ά%.y8S)&"7w\ :U@1Jٖワh=$8aWVNYOŬI,7\tv%R= Fii1-OT%G"#G&GW}9њIncPڻ*sfAAyk`"$hiŠBHGnu7{vu ye_ R0ƴffʰMP~FY8*lr. ŵ?]+T,7z0wcOj`\BeKIgGp:UkA^!&7?MbEIŞ#S&Fil8WLZCLju2ԅװXwlB(b<%".gYZ7zXZִF! l.]ŗXi%6\tya@X:~㲒dcz^5#Z2(>Rx N UOd? O{T~r uX)ۭy`vFvƷI=q;3*&Qږ d$ FR7״bAɹ֌K\ݏod+7^u!=].Jrf$V$gY^9~)SggC+C&`55uox+|T/rӘ,X)dSl&'P\ _^ *%4!茯 3AZA}5Ob_bbR,g%-spx#^n0GXTy%9TSgJTCxkA-4vlL'] A@= ^~M/K7} ȩMO,`CX"˙cN޼REl/N,A'aŁڰ D\UFQ25Aצ N-Lȋxo |3j3D[Nm.ɢ v((5<ʧjFnhOg5dIK[Ӱᆄlw sY7*t&\ԛa}tx`٢;܅4Fܼ]lw TxINw#P._yl+z$\AEI7E' 8}{OJG®2Xör$FNPDPp`/b776@7qPg Y1jicbOEn$"kT^ɢƹ;>@y."EF"vNeu24׋ zE=XL&%½.|A b:}220[ +\uFk>X+=vF~ tUa=jrH'1E¯`ߢ0o1+Q2|8LC`(о&&oUXet$Sqb.] ؎Ma*[n1c>Q/'٠{v0$AO@P1_S ./>iY*Æ%y[\}u9e.]k*nJ=p6ZJ𵠿 k_iUj|C#F~ܚ}N7(2@+ڗUAw"9j9 ĪS .68g5hC9p:Wh'V( ,e ;ȃHД_0_F \}={yTcFu==Thcm"Ҍ 7"rדGH)}هZ`ʿF~%<fhjG_EpFYfOhi֜a>ssC| 4`\YgYZ28ab9349f9be4b74f589960d4975586ca3d3aa47 5bfc6c210a6408621584ccaae9e84e3bd4af7643 92c1e31c258336fd9f6fc9bcf86ce88af6df0f71 9d838eb0ed4067720ed0cb0de84198246e74d387 d7a232073248ef822686aed382d19f59323e3fa3238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 % Sturm_Tarski