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\ m SuperCalc:threads=2elapsed=44.166cpu=80.204gc=3.520factor=1.827zXZִF! &]ŗXf1-q恉<fUZ$d{s[̣pOms~0OO c(ÁloU Rԇm% ;e(kg )~[jΉwrcdbgK"MPz~h.l@[4Ήme)U$L7!e(JeC$OoZ'խI^d:5sp GlW2vfP~6 g?; ƀO67 )CMNRx1`Xe4KD@gaٚiRbjHæVצE> 'Ihq,r۸>Eݭmfi D#!px nx pkʆh ; nu&j–k\~nB6E4+]2+!B#ih8QtjϋV}ֿPcr|/,<iǹV`ADrZ=sl 0Sk|:F Aܶ|oU[,_e]ۢ.*&z]3&3ݎ4Wz2-[;^^\5ōȗs/kYjnW MDV46.읋w6f_r5RЯ8y^..|@]""X e9ʮb󭢕WB;p[,):0;0(6qS+f;L缕0G&)Fcdֺfƨ53y=Dr۟?MJLPǶC9$@NIr l2a'=xC0H[l=ۜQ t>lìz]}(쮞P4 ɬFYu@\\IfZ- ^ O ex9 ?EGc)?@0#M_OBø4 HյSK;g lo9D3J'E*RNr{JȾ=Q*%`Yīv IDJtV_!I?<ќ[VQ} zrGII/i`*-$Ė&MEo6T&O"VJؠx/^^N zԥbH'hA"݌=mP,OpP.VED+ k46q )a6i?ϕی0RwFi$͸kl{~7$.Uhʞ`I27夈9|%-W jS#qwP+ıNWAl~Jq ?ۧ؅Fa66/sF_C Zm1JZ^&,펚rl׭@|{PDqLlbЗCwmֱ =m*!>Y c03oy6UX$'fQUF狀R=rF 7ˉYImm#iÛ# 5euC-єJ-tqIYڔCP|غ@L>F.ư#k9v4Jq1DƪU]h'x0itjʵ$"Ge{t&8hvO2aMֻ4keN:m>L-xl$w7S u1[ˌSV߈eFw{1U%F (ͯSsY7IToQ̺TpSxr$nR=ՔCԹ"HDNn*[0R rr! *φ- N;w\ }> gX 7=^28dq7 !(~i>$.#7IB N ىۉɵ'sQQE;“&vqODc5ȶLeFև"*d.0X{IOFg%ŧƒM7 Ku#n?hC U9L =b