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 d \DT ] Datatypes:threads=2elapsed=38.335cpu=57.704gc=4.400factor=1.517zXZִF! :e]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$m7gZh:Q%T=\DT/"pW/f ,S?abBč~7D1lV!$lpnX+@쮬XPrI տHiVM)hYp~EYל= պ RZr 17ݽ4\c7ԻK ־A ep_C.Jll$@.Z$QZIVvMM"$WՖΈv@ PӔDkϔ oց(>(iKj?/6Up?͚H^lLװIu`-,Gn>z[:MN?դ2gMŧjٗLnWYc4t| c k#IET`?]&;ei&ru8(~q(z,N9Q"^z"$d#+3P/cqR/_[7Y^eN@(be TVq~:r{RIeU8뉇a .5'%U,}%gYZ7zXZִF! []ŗXiɟ&zLopοjsO"X@l)H1ݣ[.h%:`"94I[|mJ3Z 'j|vO HU&ygo-P?'F~%/ed/y% C  .bu[O<9Ɉf'? =j#9l5ey0"75eՙ|c^W*є" ԓ_p&'n DM%Ι.NQa#*|1c#0-4mU$Sz=I`_>@*\4G̅+;)8,Mа,tjxI0㶯>Tu,]뮯Y%VQ[3q9$; 'B[$(ڄtfS P݇fCj;mUu,!U4@y1gEi.;&QJ vYDpkCWBrAtrJ"!,> " EA6k[ ${0Y[1VM &#glW3@A K{ 07]!hK`Q B>!е cH#l c>!Լ{S%BczAgя0%%oURNk[3IusA(a]y 4ֺj04w~nJnzYܝITAN8ʪ[ou9APE:ExPսd"&M 1YB (6ɶvWנ(AreiO's_!sLt FR4d/n"B4" ,,͈\:}*AD 8n $1:V){%V#P# nL $o}zǜU k[}+ӳ~ VBvVI ëc$A@gкPHFOF#YC)Cو$|{eXqe 7-3N%?pTVZF5آ&)etNάտĐA:*L4/npXԚ3ȲTzQ~^mbk|M2;֙?R\6IJ+u#MS'j>-޸: oyAӖY֢Pe\iM8):" tB?\xk S|b:MJbDCo`X (=_5K#>`SzqAs_%>ɩ٠+S"?yU2(CDnD窵!) ckՕqSWoⴖ]{.)5\ k@vUMobKH1 K ?.A4~zI:ȘTVetrU("d 5+xXdɬuTr~Ɖ|'ǡILi7T.κ"\y'r']_@a+[