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  T T!! dd$ ] Splay_Tree:threads=2elapsed=78.857cpu=96.288gc=1.404factor=1.227zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%#6W6{_;ۿF`)|Za(IgZU֜5Biz{hBĶ/İ&%m-V w,/BKխV'ٌ"qƺjf]S!ZE{r_*ȸb䭞҉\V?9RqL _H`/…o$%Y9 *S&w(-LY"8^5ҕtSBvo9e{sj.AvbS„%KP*xR"GG1WALҀWc/mEaɓöLLM@)9bYB.z覔]OR:Uv(So915?`ƌxmtv rVԡ's"Z8̞^xqܬ1YRy@!=;6y@%z{FFrY(vkqt&#r!w#D'-  ! Splay_TreeU=?֦Ya1glkKDgjhɄ=խc6tq, 2IFA]^d+,:I$NCZƞУ9AB ߲} 5AB_Ko68O1/Z=gYZ7zXZִF! (]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻ޙj@:J|x})f'-a#7:%;?VOC׻)sx[S? թA/gB N=St;Pd緥3j`9]\g.X,ưY@FkV^B /Bؔ C )=gxL2'Lg3G)NFhauvg4GY.vd _"| 5((~܁p>*쩳og?1xňRdlSd75V|V4OBv(cw iU'gě\$d(6ղ0E`.8_\DŽ s_eCqV j# 7?5MK}NrR2zӡdX3{j>hMD|B3o͍k!:^F} )쁨o̙"4fQekmy/jk{0YU^TMVQAxdW1-*=~NfI)S}1rj(ȓEJq`Ѱˮ{} d ez;YH)iFpcoSA`;9Xkfx,2j^?kn< H>gXOC;&.ls1% kM rw)gS)ll֐&-Fs龯@Ss(=y3j}:qw+~(y$6رg] ':"_)3ױZPS!!9'y8eIQ&wBn̞u'6ꋫ;| ]g &w:$=OrE!;1 }ŎOդ.LTw'Oe:N+N{#y>('u̫>y$ %u $^>dHG,&ˠ#0U08IBˤg(O48$I2yN phSA-eJE [vKah{:k^$C iC)m5bH_*qh:MƏP=h޿ *+jG&!>bhHR Y'ZxhS|}|8L ǁs^C,W^֦!ܷH"j&o佶~ O0is1xpDǒ #I5ZF Poz? N܁YIUJt8yW.M &>0gLKbB{;믷H}+͆GCY %qt{%x Z!HڑlfY:^~ْm6NԘl@g{“>\S/sgxpW)~#c+ <<2vSy~ih8DVi,N2@2.ΔH ٧q8+HEޫv,{WTD.lQ}=,oVYY`?OLܜswXvpJͻb0k+UHx4UYa4@PW2 I쬕)jBr%O$TAA>jH`ǥnK_!-xS? olEY#L" }ͭ:E%.0rxQW&q7u.ܴ]) *|nKIIUr!]Rs<Ǐۢdޮ,"o$槔hr񩣳ҝ@zs$':qxSş!a8JlXʁoNNӪ* t^jo:J/d$2X}M-k"}mpsn]gшe A u+Nb ka[֬:l=U->;?u̢[0HA5ŇPAcgH=R]B`ۃǎ3ۚ5/B:M'hC+9UJi=IiI罹e֏,AZs%C,eun:ȣ^9'?+>\^\uFyلjgR5i, }{ddˆ[ve=:8 b+睿c~Iy챢7 S1,Uf Yg:Fi:  uHº{0Ln-U=٦bېnaD;=3sxw`a ڬxFe8]cZu14h,:UdFZ *h# xd_ɞ^lʎD@-.EaОXqm- $N6zg+ŰIVk츫tll3"n¡ѐk)%9j#i,)K ܉_-<+m|g9RmTʾ.|CƸ~EYxq1O [QԴOo0-}<\.tq g'٥yO \<27>KYȹ++fbzVsHlQTUC8$m-\72 `3OBvu%Ͼ˧1$cd譻5uӮgR :cI߿]8 .Ӊ2co߆ R #I`t7Xӷ'q[W[ Nei:ƱgYZ457bc38c58c395cc92aa7faa21ad8780541903a2e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f