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 WW#l4 ]/ LocalLexing:threads=2elapsed=92.107cpu=142.384gc=4.656factor=1.557zXZִF! Dmn]ŗXf1-/6vRZBfߟj2𣌑' * 68E(a)l8^ •WxI` BpCwtBV]"RM@Xx"e2s  )f9f !Lp(r ;KVz=bªllf*.u]oxZ2{i~#*NnyONu) SvCj! dc۞wRNU`"cEb. A : b>nR% #꯻B.k[^F&k[0Τ 9YN"Au5U m6ii֛`v@KD݊HRbQeӯ> LdW U8b ?Fy]_ џJ?iYգ$smU$&'IV6@G{gE"Ypޥ~P0.Oy\T7OA;R)P? ؍ -ށ ;lQrc0&5cmePeP |W@?rUBFK(?֦Y&Z?gǼTpo&$#7{'IBjJ֟lBDh2 qڟB[}2ȓ+(7)7BT+o7 +1b | %~E}]UO,Hdqv֤\W,D2t^HL!ndچF Bϣ~U`cF Ȭ2x >V V&ILPBN Z!N)N\n~>(-L7.  jsDgYZ7zXZִF! ]ŗXiɟ }@;(L\OQ3 ^W?bOaUvsΕMtbhE0.Oܐκ^"8?Jz u٧3#ۦH[q~rBhQۚSLO]FؐtpC!_xTH7<Jlp;'c) H_"4 u.ƿES-|"pwiaz@5 ѝE%_XAp4˫pQU2 m޼0XaJwa-|P )#o.IͰN~t4~gB5 l4.#힉5^ g1_~7vxXWmjN{7A6Ho*P+!UNf|CVKNoS:4*v<- \"`_(a+kx׊h^:D29ϳa~;(t[N{ʓyy)VqbG zDʊ59׫$6H]JNF zsXȨ\C`p;ƑBSJl6ȱL !F0T0d1~ʛV WnQ#&n48izq<[S_{ĆPR  xЃ^D {D Zʝ+S 邾|n9ٰqzhm^7 tJB<7MP+,d&6GV.OmuzgSEY)ĘI%km84ME97nXrSA('>S\[F>l#`*tdTǑSR빀w]8{f.n?p#/:9ft"R( }ٱrUC=0IpE.u !ZXQ(p]Rs=_B;/ԙl ]hی7ﱆ@@x׌9\Wz5F= <3TLq v~Ouv.`)f4gunZs? 6ދayw wMjDvOtǐxtmlPq xr'QX S!Jq;o\T2PpP>>BqYzyH7MqR!ߊlslein\SK#;<7{55yycI"ʸCǁu*PԵ~Ncӿ-!*7lk=~Y*Z':sft~6s0i 20 >^ڻ\ bXZİqǜP ~ZSi 3NrHRD-IϰJx/r&lmԼeJH1 .gOF"Ѕ*TA=8,Cn}:NCOߧ."bq0fEh6٪ݣI"&o4W$_߶6s=;&Q`'.=fu8I E vQNan4sf ET%I+$eM< ̓HyY6|sqc S ; gGn.Wq{`~zRr b~XV΢z=p _3C4Y%MBA,2ʻ5}$Ug=!P(riaߴҞ$[HǐlOR7ryp(WF>#I 9F3gD m/-|,}7qlB֯$O1c͌JyOW_:v~=`Wr3.QR,Hck?%2 Ц0qirv1hnf9tap>RMwl*Mkd& QX, OHp|:e^d[h$ D׼)0@^'/EyyOv,'^!cwqΡ;fҼ{Th(w`OjktSUU(:iGC\Qw:-18v4[P͝OT'4oQ 5a~x!uj e564VdÅ_HChi <<8‘WOv.ߙ5u }pQhn(/m.sS8+u=IW9 塘b*m6NI|ƜxnUa\5=-yJ\o8.^ݺiׂ:iotq$[[*F2'U/85BHW+&]zPd9ɶ`+))meH79b ](RgYZae86ebb54e8b3913b9c5432979310f31a880aac3d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615