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 ((M?tL ]]Nested_Multisets_Ordinals:threads=2elapsed=70.274cpu=132.208gc=8.236factor=1.887zXZִF! H]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟drE$~dԕr4uV0l?4ۃ گ- 7P1cs?s58seƃ,s?f9\=.jo+N `®P06N-'GعgӜUHE̞+giٴH=%ei:ʣki+pu{S"2VQCi7S(j," 1v5,zÂN*ֿ!?ʽx2lRweLpaȬ(&,_8BɄcp=|-iEhft%lt/ᾳj>(׏֏ Xx6ys̟:Le93JY\%d %0?J{r}2 nE*3$4[J)yȉ5m' s ގKỉݎc^ **bʧ#6PN5/]:B8Kb`DS`})󪥛6ƛL;g."ҔM+-OW} cǪ T [w]51{kcE…`Kϥdj۩(\=cԛǽܹ͸9EnUɷ􎺕el/7SXΕQ$O f- C㪩P2|vYHx .*W)wlB| u5a`j/f-)#"SB׎O_fhB5<̽bN܃ k]kwzua0aպbvлܫ,w<_B,.^겼ҢP_̤4QsZ)8?H_&,| 9v` ]i޻^+]0AR_Nc#%#2iT cyw*8F4[#1gÞm; ar4HSO@MXWR9XϧaS^h+Gq@ 4(x~pzW٤ A̅9ѥT@,$P*93s~uF(h܍}aAXg)KF~W (4KA'YV w(dbe-T304]ĻMe aG|O+:at/{dI6Y}Q KqDsmk6(Ʃ)(2$Mp^D_43!j' 4NܙI Z)줊bB B!GZl}\ڃ<IJ jWV12_akHk\KŜ mQ:-}B,k{N/(3t".rg X+Un""WET2j8tPI3n~gڟC`s P8u.=m.@W 3^#Kf#0̰$X)GzQHxؓip%C5B@ZUgYZ7zXZִF! q]ŗXiɟ1˦r90Fn0''ztZguT:SCVX%'C$۞~ 2؄ s֌ֶ.-CRޜ+SI?!*0hfi!4KsFCJ|rݿfT⪀/`Qn ͓h"rKմKK:/e\K//,2}9t@B&_pf7E G8I]XzΘ(35^[ri:,#o_/PM[)k?(c!7;~r+)3 Y#T`5'rotyLp:*!0SX>VP^bzzi4{ꗖ luY=t(zY53.bYuzxbӴ2rtR  /Yp܌j L^Mn} cJ\[G}Wq- Ԭ>॓]ΓװO_X;G<e x{UXw%vfW`EAڪcH5ȃy`z_w^J#mҙCq"I$=2=@g ١Ei˰ӕ]-ђ<("X, hA~17?SQrPރ.؄'՞s|ʽR%ߥYMYErR+L\IS45&ޙ,rSU|y'@c:Edyڦo(jΣC(rŠBZwlmJ3OV}y9KSr gO(Ѷ҇~xC:?GjD g2Q7k)yc`o_@FA*T-9[oqJ`g4NppKs{L sY!!H ֑OĹ-5`oM/m{&c#uжD)C˽n_>ý8ۈ[4`Q=+u opž%b8Rא =~AՄ&Le<'vlǀFbyvhb6_%~rrzbK"}Z}=Thr9{R܂?Ĩ|@6FAQd|@UXzv,"quf٬;\H~zw'R8ǖ, # g縑KY1PZ9+ ,+?MfWnf -(`_7~If8Xֱ Dvh to=ܪ邓EA4RÇHB].Z;Z"PK5 ƩƐ $I<bK ! Μe|.Zˡ1@-d?0nv:N)U^Wж#N:Gl5.xl)Rb#Ēnzc8? r' __)Qٖ*ԑיe$>?rjV1K@(yyVhSJbaxNfNOG-yNt i-G:tEӨ]f5RRS`u]u'dm$~ՎBP봦fn [|@>V /|dW|w'!!RS+3N5y9&=/a=xpHšޫC<^HVjQ}#W`jF}us ֪pD0MtoVtˠAq%} xhS4'\v?qZMK^؟F 0y˺S7ۦ㠑f:m7r/">W81SxDTP v=Zڸ^3wȮG|"D]qϤ܅] T{:YGjFѓfmQQűc34)zåu2*En|\$uQD; jA_(O-_n=u2KkN(M86kz7,cuP_|VJ zaNq!o /8*RS (ʜ$[q!- Nn FrhȮzct:(IK)e= -,"I!ީT֩Cuy$ q*yGa:4 ԟ '"[~ 3:Yȸ̚A?/iY0n[8I?Zڇn>};T~Je3p1daC**>I GJ2 ՊՠLgtbӯuW(#)X;V/ 0%NoȲީa^,) s^p<"t6*.S/AK.kD1 \`b.%1^,Wg`*5{˛vz=0Rfg VQ"REiDBT[< gUJ:dm}mgL7 hc%A+HG?N|'eUwMtz;ڷ舤:!?DM$ ѲSBBaOʧ3p\a)|FګTP.Sz岔6ևW-A+R[)>q(lc}L#5jӜK6QL=CUٝc7cMl;MKrkGwFh}iV{m:ѯ=qn&#z`oN2z=|#WeQ)Gu'Zj)#~{W<#7'<M)2}P*ɜIV1֮ʞnk4F3jyd nwўR&02RdvQ@G?ּ1Ac%j󉝳%y<>g|;x HguBtB|U|gJ?oUb}nƹa}Y<{t,R) 2&1Q%TNOJf+񷝸a+̺harmeɩ:XtTXSr̸bB#uI -P0@ ZؽGuuZQu:[ӹ 1c6j !E$5j_]zrWsG60=Jd+z\6fh:,{AZy6򼎕i`o^J׆3Y'ljFsE| ?'~%A8VYUuCi̺!Y԰EG%ʊ`D~G9ؗDE_%j8^%\c ~l?bHNdaS1wxrI!M/)nLҤwX۬ėa9jJn )ʔ.OhyfFW nDrN!ЩI/ gYZ093033b6f59a4acfb3a00d15ff3a387f6f1f9c31f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 2abba7e3a071aa96c777f092c2f02a959e5e2939282def265cc113e67b477328020de35b9c97922f