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 n`;Gؽ8nt*q* .#lw gh,jk᳴O6ҵ 0ݰ^+ITě]5ΐ5LQXfl@hc#ݣL8qB@Щi{Ҙ{k&HܐoBe<5L8Vԟ pG;2TWE,kk݌{Yc'X|s3v n5O#yFYzMzV!r23 mFWƀ)CDBmEPIAF"7'cLd?g0V!b(XF Uέkߟ# hk-c\Pi- > ܖ}Bj۶ұECy8IܵQ>JQD&o6s$GH`$CZ$~Q˧4XtM&{fbwۇKݿY8FO/Eԟװͭ{ދ'Dj!_ø}+sԷtVOSƋCu:*Nwu=ЁH2Z(19at\zq]'YX3c#%JKbW蜷PŁ,Ӆ$E-\vldKEDlr^<֢F룮Qc6g eB C v^R(hBN_NG阢.D00?e$yPcҫnOS]d)1ŸIh"V] Q_i/Sr*3ՍYX@Ǩ@}V<>wϠY:\e k'YSE&ɡ_5,ɉ03%U@TB{,tQO!Dn̙@=@ƪ%^E~b;hhng i.rY)fBF-q3X~zT߫{z Z̀M#~db8ni^R[3ɵv;f~*g mǔvڃ2.K]pzdTV$I^(QDB@Ԃ74ctmsث`(ki$ǞA x  㫿fcuVE^(5qDtUGC3[kM55 YUcudMz2YtѢ{ WV;HE9?ީtv",l IFѭ9>?6د Xz1y8զhwC8S)INqdYzs`(mewI`棉m螛Kc S3B9=={hL7 <"~/[1E2qgw83=}G+`f=\%oXCWQS fY6_E3TB ~qC47ߝw{hc<˥;#OP6X19^Cz1u1ujdͮ&pQ vcUdžnMٝjzP, σQ.fUe9m eRn9V0`D ؾ^"$ ϐ)ӫ-[%RZ±gYZ7zXZִF! Q]ŗXiɟ1˦r p0+7bOa\ C4t5i/Hah)mkE) /&)aΫwF"\|m EVN&h(R`{H 4Mꭡ;A,J&›M YPtx++X$jmf^z6{{;a:͘M? L2sU9$NuX\jMȇwpXת5!q-arQBֽ7W3_]o\a`2gLq3K lExtVvQ,y8#]JWu  uK_OS 9PW-xkdg :ThrM4h>,#iI:ƭ3]vZi*pFhZ70DaW%~ȇn+κkMÔX"`8U$׀ߜ+GZw3 lMem:b=ZheMdׯ!'"$3{_[xx 8n Moobwo׵&JвXmJGԯ{0vcK[64j"m _8MBrox#jћ|_^/cM4IT*ȥ P(6F>pJϒL'w4:FӨlS9 *3y\gYZ7zXZִF! d6]ŗXi%Ws;2 S uTթOG\arc h, IhquN)K̴),rfl*\h}r:RAu%[AG'|::{/JIhҊd/00;jO0 6RdIjݜr)}cxmBP%:ʹ]=Ѡ-B3k{SlCxK]\x@YiRM_s`pz7(TYNA^#[ L)ӿܙAzCI}=v`bG!}) ^5#P j,fگv3)Ħ؟_x̧{:5^C 256j7:j1_Rg P[m7 KԅVðR4}Hp5A3(K[cƒJXemv`D^"YE3ޢ˯n y\ ߇!6|5|8wK߭+Yn.@p1_) y} ^ixip:. Ί*. ^ ;"L:vB$1:?'+v;|tj+ >{8O[$[lf/aD/Jqq\k?D3;=mJp.:H910_봍x˯{eN}Pjj#RFBJÜ&AP1F~𢑔gndv9m7>DIU@zdZtn.2ܔIO:‚U 4LDO2Ӽ=:OrY">CHU}cjmp ^1ze`~^SKj{kJ wl]쳍Mry7 ՝ވ(;6`DEBU{KQD9z ġ-ccXKhDQ%.7~z^މ64*;ŹM; xM+2|`m3`rjƍ[F0 C 5$m̑97;TlB;au!'eb(v;dgP9`C^5?Q k.8hj FYxDGY{G׃l&HvWX QEeO܁+xtw.>;X8w<(Cmsʒ g*>tv!)|t0`5OjǺrPd"IZ4d {fPUq֣DscNZ9S=];e?t&!{#]>u5B~r >IwdS-#[ ONOA³PDX#c<"s~ܿ,ͪ}=/\a\uHh`AsfZil'I^e )AQе|C(t.<&.SjvE'Rov%:NRv;8-UW@a$s{Q0d^hąH[TM*Ir6cVTs d~S}Qm?HswZVcᡠH/E4s6.ϫҊ:XjS3.!# yYt]qP@*G$l Ȧȗ=Q`/XG7 ۪n'lT#>'A[oMwM)"XUI@:L8W}*j-%}^|0|ŵj 2'1p}=Vg̀p A,APFx۟[bQ@k)Ivx|A %Gvn5d!S̳U~G[pQw:d4rd7>Bc9(0 pimޏFR3mv*=)\ 9+cΗ2BA|:MӪ2Aȭ*Mz*U9D(FU n[Z׵h6 ~rAy>Z( F4;>里;W`crQ`Ǐu}Ȁ rgFb}jg<\L _-w}+؝TW :EL(o^ ɩ~Opkź)^0 hKhx V~SL%kjx4Nj>FHXo̘<_doV918m/'8eBkyOS>e`:.L 15q4UPitXG$nPw`$*5L}œLrviHaS)`(ou:"݁s'aઁbzvK" fxP_tD!$n1S.D%`}rjwo~:\ NgIni*+"D @yLV-!@,k>kXBíHlxjM%  :r^=:~Πsv, %PQi'\c SimfdٲPK^vܦwcTˌ(zxOp@ M/8aAӹ{5-QցM>{3KzbyҰ sM$}T7kz)1f|>ˠWA-?zs\|E]ո7-қ\hהAbЕŌUvD,s=T>%BsCտCr/TG.[\\% 7w @P_E OsuC֗>`љG5wEDrw2`g\Dpu.nc6<; ?mGr<}J&@dgfۿ{+\ O% ^ ~] o)Esx)I7h[LkgȎ/K4^LRxӷUm7L}HZ񺘒!%Z;e ]Ut}K00Py.uձэw @S~!+oM.S*jHo9]gwhoV`|=$ F+ETT(X^#a 'X1mﱸK} ?XF6x5D&J4Fn $cױՕaAP1.&*0)i6̢,NˉZO$uⴢ])Ð:VLE/_5bRN@GpI(@JQފvYߨ^}P{$T]B' \K^Ԃ d'C۫bFo3}t,5Xh4JX@LSs-4JL=fʹ:,$檾MLm ]Җ0}}c{|])[JsU \CQ+U=b"D̔EV8,DV;i G U,3xuQ*0o6J˻TAaV9KG\yoY/iUKYZlJ80ͅyԋ&_oG55%`!Eo\%2c+!bO/{:`e1{cHUJȡϩ%d,?-iaF*?ȍPꐆſ|+r(hE AGu7"7N$i;>GVQVY2 oE ?N0zaQ<[:5XR_s?ڝ.ET]uqy&0.]v㛠k?'3P'N.]|Ӑ/_R̠'S U DH03;mRq۰S ~:BFav<Er[ PQ^ []Q A#\xʕG#ż ~%SnUty7< )KDy61U8$fF.ѯS(b'~Z%g^6-cb[_bfOD&K%ٟ ]Fd)~+3sMX8S ,ޙ|XܺH?%f:1tF@hQM@wXiHVdO{KǶ!fzB΋#j6[ h~/1"Qǘ蠇>*!7`Ƽ{SxvFDb?~#CVⳞ/ߢ)AR8ۉuY$1,~yrSX6GNZ1%Vl_Nߪk0i/"*{ַ6htvװE;pvjns/% F6dep嗃\/W)ޥ~7% -u$0\ѯ,pReM]yŖ4Յ#2osO OHE xilƗvaUeFHxՕ8||Vb,g(xtpy{5~Qݺ'̂DBƹtc.ᲞQV/-ڲ: 0sꅗM\`,eBv;רacI!$!5SE^qzkYw+elE+$X Ma] y>#Qtjiyq;!j1)/R" w|jXep SGŜxSڅy,:I ii6۹+=t|`=1 TͲ Ә7Fud JiN(Y_ WcSéwςl>ıL%:_rcˋ(n& Vc%(&}yh|Eq,U)1pEc:סHLq`ܝŁˏ]5gJӅ8x{;cSD&1B!+,0VDu;zkvg-l maWf̒Ro'H)QіR[J|+>D' ?&WX%,%@aAĬGY!FhCE` IG)5fj֡ZRD%0{S -Ȱ=ߐ 5_W}>ǾH_ "c]i[&~SK؋2#51B6E¢?95kc:&Px1kloc)ȃ̋A&妫eoCvQsÓ bUhG\sz2Z~;þ"jB83gZRx^]upyO=mrOӹ_!9-ӽ <7d? fhVJ)`κ6+2PQ6N]d.m_Wy5k_,AzXwT6;JK 6(`^CgG !KB[ rPw$dN^VỔ:3|˄x'K\wKf";%dq^Ԗl,;%xrvvX7ܦ.<>x itRЁ8{iOϊ֤|,ۮ2|?HϐQ2bxh< 2,)PX,D ?2-"O?}4 ,gYZ2cbc52980ac3b76d78851964ce080c82262c28fcd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936ecb624094c29e325c5a98b6aeeffed68fd489232a