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   n! td S/ NormByEval:threads=2elapsed=24.516cpu=47.380gc=1.392factor=1.937zXZִF! 1]ŗXf1-/6vR[yK6Φ + ?:%Оos+[1x ͭ ׿ g^rs~07O1+!sh{f"{ٖ fdQk:v%[rqRғl8i]b݂7lca,pI(Nt<w&GsI'Yu?ɋ)M"'F9R^KeJa> eo!^[0@77RXa2xe|Y׳L $4Dɴ+㥺3i]n f% qSr.Pn|6لk<ϳˢWq+gV-=yc%dNZl0(yLkYWgQיl{WK DQd 2q#8U^bLa5![zTt؞|M I{c&aԖ(RL 24K'f=X9QO[e~da@_}1o]!Q?n_Νx< $u.Ʈ:MFWˌ&S5yJy~>o&V @.ADQi*Zȭ̳̉6:-0s؏Rli 6b?.~]N eMBc4NjmOKi[qf͇ Yj  ?%kہ5Wx2iO`\ιxFͿhWd+Px w91u{߄#?̠B9eb/UuwRisbNN)",>す\R7^}Kcw,l"~8_ÒXeZm[s|aD_KОt~q 9{yAIs>))_}YsscP, hWΠsWM'7}Ss 4 ̓{Y5c YT*ĸw.3d) .O_R0À膕 <]M_++VoB-2!GYS`gOmK<S;4@2v ^O4CCfw`Ēt;֡We]9LPړbh,ԻǙA4tRCyNqϷekߓk22 A}NlUɥnD60~bDG3h>h|+$g7q%h/hfLHgچ}!#D 9ԴU|6l`O?sp>\:sHFܳ`>P@4Sqm&5HnIYI"UBM\) sRP09 W9Ak w!ypR6k&RB)B" vYD`CUڠ,4_`p %hO8;q!(z#O,i42%jJ& #|2@Yh %܎!)JqJ@¹9F534kɊ<9? !Ju~!ww7SnwmkH.b]l G%_YWh&_Cw^xxJHtG_%LlgYZ7zXZִF! 3]ŗXi%qdq?{b;h9w 6 z5`rpJh+ƴcx0ĸ,28ۊ4C_g_U^J񠙦5*o\=@@,ԩ@1m3TqzZƉQ`ҘUԍQ3Y^2W-CZE0}VeI RAdoXr Vu2ni..wJi_w;ʪ8sؕ%rsb(v` %LX]ޝ~GhDHs.DWKO,e5ґxoz|(7طBz Qx121 $%%6|Yo(N.ڲ=)KFNL-K²ަ%=z?a8!7?=`0eO8޴:K~&hQ:מ2>lnBeކ 4o2saoZyzO7a|/Di#˜//S>6cY-D[v[]wB8.33UCs|nrٯ:Xʭ+I\<flyYe<-< &WtR_+bY*ەT(Ii|-Ӣ-O Sd=vvE-SkSw_yms]X ݖgv<3 &1KehZ{'D=Z;%=3ݭ@ki:uR.OS\npm6 !r>.@wYN==ֿ%λ0!mQKU&@y8Ȏ$+ůaii?i!72C.aI,668b0z-mu #-+ FaYX X쾐̱{wYO(Gqu(, ~k5$Ԑp9#3~sPֹnj srRg]#.Ol1gїf4.T3ʘ 3򆃪 (ϻɋ'og whfRu7׫yq!Pcf}ŒC&H-c oZO4xוc%-E&|HJ0]zL@[3CBk~dk`(lJ0:Vd_@@02ߘ|j[68OB9PAW.hX- ݠI`)eA.B /&-A}Sԁ|"'DsN"ЦV=YeDOa4B/o N NIYIgYZ478816fee45c9193309fbffde927fed38a13f044 d45d00c6430bcb32d8ec28d5387c874d34f9acf5 dbfb16504f02920db603ce3099063e57929e36c5 f15e9a0267e9c882bbe66e1a762dde09b651a14fc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8