SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  L s/]HOL-Word:threads=2elapsed=23.483cpu=45.656gc=1.948factor=1.947zXZִF! ]ŗXf1-q恈eO/O4Eh~$&} _ruUciI59&E}ƗX2 BE= vehS11=:B !PyJifU%ў&_9}1 R>j o/;tW2M.YQ~tj2N)ltps2P^ͼD8FBFguC^   HOL-Word.0dsLg*~[Pr*E]_B7d"2v-ᑋr@~ /Ŗ%uI-h _[LV]4Nfqn.([Pㇶ{6P]7[H,E4; *!E`*!&F_C- 8*3W_ 6o^*=˩?d5-u`.ƌ 0/kFUH,"+./B|Mp^+h66PzkT+Wqn SoG T369Eͭy fyiqzĠJ +[nxױ֩wD9ϜK+=nrGVQ6r³CF<9Hәe,)G1ٮH"06|4&\b7Dlt>*mʯpI,CAl$'`|9B+d.Ӟ}Iqj?;ĄTq~+C>`Mx=oXMBBȅ#P =鷲L)XK 5fo(,i"VSo@̂-B S##4exFVyAJFΓ'n0톰9>VGMPV~"ao"Prk)Rz@YíV ~ ať \P!2x^4cԍV8+<ꚼŒcTޞ6@DkTH* :iZpR;/8?5og3[gS]|vn%xE~)%J@VkizTO6dr?06nz!6G\Ba@ҝƆ5 io1 ؝`kA󏿍"S%͈AOIS ^6g]EѵGYb]-$WS[1W= T@^[ȿ;AqnyȯXcc aYqn5GZ:HNJWglXeBRѵ8_Nj{q ?c]hsQ~Չ{ue&'7_"."hR_pm +3B//NH׷>6 6ps`K1^ %#`,:6=Q" dG45 cDf䕏x[x+{iQ{&\F` Et!P{kcb+Zp?fSs.Q~,Wоl0d0*zI뫝r̶q#j~ cW 5>TS_UD(R~̵k;5SRH}-NmK|)Vk&2-oWLn*ZuCT]tJVZ&u[?qӼgJw7WnɿGcС_@67W8H~ owI݋Vy.dٓƎķxu{^pi (S긻(32u xum;ؿf~ 5NJGD*$_2*A{3ecl '+kh$+&RĀ0rr -* 6n#ST-e`E8n2bE҄{j1'ԌZoZ] D"T@'qBtBf %xךy%o+?t59_(~6#փ)/Kշ6"4sJDO.If"E+m<( j'_?ǧWCJK}VS? N-!A~izgqDK"y",)NHdF4E8 ۪Tcrmney!sDYYE5V)QݼX<`^`~͔ts $LIoW0\FY|;Ar=`9bAULkFwl1vsG׉PPhvy.Ē 쌁/~s g}xh4S!9KQg)?bLpS-kzEAWcv?D\}~$qR&9}A!)Yz+H*u!ԙH(s--jŻ9u̴..mM9Ch~k *0dwkpxT mxr HZd9uv ۻUO៦}5uѢfUQ #I3 Os\_?H۹e'6(J5#DhcT"c 楌m* >ȼӱyvLơ$ ]V^"x5D` aJ)n"IJѿT_ъCcsHqm%ec?gGFM1`ne͵pMD>g)nֿ#M.&n' <2XlPUYY?CKT1#0=|X{wDy5LAIbT&?G,;vr6sJrŤm07N:|bRT`^YR͘zf'<ԶNi__f 8f5{a 4䂚*GԶ HD:oJۺo0Cʲ0^Rp9;!9PCaELq‘%sA >lf~`Lϻ9PͼMBawe ܨ ꄄ[ ~bb%Ω L͜,O?12ZUCM; \KC3J+ao|-L2SĠ:0#gd?ǡ Z)谠՗1MM_#i4CrSDVY](`),ڜA;y1gPhF\&M?Q+LsТ7))jx0ct;3<8nh-Iu=ݡo܈9{A>1yb'ݠ]l.!% $ VMx^-DpH6J|_&!xlH!䤬MЀ`4j b`y_ZAo$2 lg348_FCS4gh"_-%,a^IZhнj+K~R"2>S}Q0z*]CHv.ݐ O\B> 0 b`oJԛȀЈV-9-Ve8qtku7SL+o~bU}BnB)D˾s/8'0GKţf @;Aa Rk|Q9,jAnbcI,\v=V_mRMt3͛#0{@~J05;do{* M0Ժd{N|yBmxSbE=Φծr(+ &5֒oX[^)̴xɥTWӫ6I Ȋ*ZXJ^4?u!~~*.OPߐxptM!%Gx֭:ϭ#*c$h)#>.ģXrwHʏL EsX(EC 4Ap|`30H`!d 2};c.Zi(%'Jqbdzfx2{%)_$S:;BG}Gp4MDc>-Yuʂ X=yS}:.8 BgYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 0e2e5cb50671c27ac231f8d102deb13733fee440 139a3bc21788cf355fad3f6f2baa96ef139efef0 2b78c98510a8ccab9b37ec93f256b14aa15c6336 34d5357a1614100e4522bb9f8371a889135c0e1a 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 54bc02edd20109ec5df1f897881ac82269c23e46 6d48416bf9d246d3092fbb069560cf5f9ea020a4 73312d1f5683eed2f4e164177e17eae847b56d58 81f0c577e8c493e332fb1f21610088ca535dd807 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 fde422d1a14a558aa55d7291242cc3465fce467e1d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54bbfec7f6f3c06e18379a642f7733f45d76a321e48