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 _ T| m SuperCalc:threads=2elapsed=42.171cpu=76.940gc=3.392factor=1.827zXZִF! &]]ŗXf1-q恉<fUZ$d{s[ Tc _?aڷLW&N=+'t F[R'[DmI8I.g6HHZ9[Yb{Zk0vǻbGIȉ4O@kyօi,I$kPc$_(- >ss&3icf|-qiXQ"Mפ"uBBQ Ju1ku|񾪿=rI/v@ GPgY5@pZ!7|RK}vN:72TӰx5cȠ#/*tj^Η}trr\wGWS͆   SuperCalc}\Ρ[I|KV} vjzye3X.uh.OKJ:r&zXKC.Ajs6l#Cκ3 Pẓ^gh~H <ֱ#Hyi݂0X=]#H8I\YG|L4Q*܄3C~aLn3U\ߺs`۶Y )cw'Yn@4^1QfO^ uQ N\se(}Z9k1Z+󾕤TAkǹ.lv[G4Yrwt-uDb Xq빹E)hǢlpTRNUhxՁMJͳvw OP;N!?. !KsO@_~fi.8 7!4 z HƬ͐S ׻a=(LgYZ7zXZִF! ݧ ]ŗXi%}^,o'v ^+i3 e3Jۄ]/'3x4|ΐ?NStg ^pD܍H@xŮ*[&`1wm{Khp`XςVf\J|aKXeŊpk3l[BWG>6Ey4`5̦'mo8R>1`j>*.pZuj%jT<p[ʛCňCGdz;i! 546Y)Mk6STptF .ڇӢfɾ ,1iwӔaq.n)͇D'%AE4]n=#zYz>d.U2Cf؂0~{P$ZnĹZa lf! "ğ@F1R=\E,&hVRmgNSԣAz/\)HRsYXҜQ֌.D4Je&nҤɳRDO ykR׳"^3:SJm"7ʛIw?|=HMuV.ٱIH;؇NuԶSFyIJs~Sz7RIlc1"V Ϥ(V"P zNR1.`wph#8^Ϗ:@w1!s(*z%㙭_ 0m?Dbt#(|&*/oغuY_KsNYZD3q%9s4G IW"t$ +Lv"='w/k%wnIv~ԧt=+ϔlIFqbf~l?siag&6ًPm^ix>w~x|]G߶6H =<BxL@)j  ]=lDa(A`6Ʈ^pb1E0:vL T@Y& 3q fH*'#lG^Qш~cD7X88ݍ!.L$5x .)orHqt^ỸF$^Ljf.HBʫТve*O5\q3pO:ͷ/ l I:\fuLfXy\vo#1`Ǵ<衉*@8y*=LDlOnHY?(֡ ˺4,ny(uNV ;`}B[kwc'I&Že9o~%v9(BY 0V;=gyN?(֛m0cp7m&6r9Ϫا+KKLiY/=^8.Mf U"ˮEPld9žReyZ!Ok"L">T@`ڰ647mEl ЯH'~ހp%Te~vl!T+K'^?.+-aUBg< QB~HԊ ^O.P4xaZ[kF?{-w|7ҡXv,:3m