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 c% , %S Posix-Lexing:threads=2elapsed=15.237cpu=28.004gc=1.580factor=1.847zXZִF! E]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4v="C9XoWx>*t :9TRw`'#Ep#{sO-` !l 낺w϶48 gfVr c ξ*RYww7$42 W[UigGLP%%M`=#>Uo`!Y^Z~l̾-_40 K)$Br94\u[sT rٴ䟠R1⦑.+qVıgYZ7zXZִF! M}]ŗXi%6˻hKOlag.mi E>#*!_FT7.O@$2ڥWUͨm -UIK JSp-`I_G(їn}~DyǢZT9^mH{-CfYi+PGh\ҲLaWF($%=ƿ#pցKeS&"% ,"s"7LG,fevXDa0^Et SxZ~ ƞ A[~#-D.flN Nΐ",0j-VF:JPgqQtnbǢ6#XUSzROxj BÛ4eF-xl 9?VWz !&vlj{$R0gm$Xju)y'Q]]yEy`/q!&ERT9_^_}$յfȑWn8Ű1fyWh4uR!1½P} $FLܗ8|x΀ ~6ɂ24ƨ/SmB`\;I.F#Gp Eiv]ሜ<x͈Y G+$O,؍!"_*iźVüp#t +80=,Is{srղ@?WU3k%*MJȧ'.ZٶXQoV(o z Ka_h$q@^AY16j@*+X}sYiUF^q$.&S7p@(aX[6? *>_$'8#W1C\w S\bvQ4X'q۾ҷ7Fv'Pk-oBSr5ۋ)p9_/FOX Vbކ? { ^O#ypuuvgi$ML5ka3 ]}a 풅W[/[=b{;㵶BN.8r3 (pgYZ155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 70b6156516dedf8c4b101f9047d7e1717eb03406 f4cce8ef5dffddbb021b83d6b068aeb73038c0fd f767bbdb8c9f31d324c4ae5b483b56c867852e40554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 c983bcf091b688eb7c277cf8e255d3ab27909e6b % Posix-Lexing