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  Y Y4<$ ]]Word_Lib:threads=2elapsed=68.833cpu=129.280gc=2.992factor=1.887zXZִF! T]ŗXf1-q恈͐7ӺV 6 hD;V& _w]ӘJLU( Lc-=ZXy\T"Ozuj"h9pB;M|F>0ZK-Mz]5zz>5ᇵ>sxH/0bz.ʖR|H!Xn[TwRD s;Rȕq//T K> ɻ.}*!c!İ, 5λ8JyE#:$*#jpeOD*FZ\k ScW*MR.7aqh>  Q|aX|Ke>E3=ޮf7m/M Z27ӛPl>qoRy - ,~~f:<*JPV^, PC3~"z+*G-‹Q<\[Oَ ` ke6/9LUU:)3+)v\wC ;w6. ȝ/eԫ1&(6eYKC1\+~U` zf($`j)jFJ lz 5Ic>*.),C /Vaėr7@ZjZCn9+\gYZ7zXZִF! +U]ŗXiɟ1˦r>yǬ -O?3l\^aYdGG{J%6I- MĿ9U|6Cd< (ihQz@NVad|#%>I̭vg)$FSsê={#'}F}:y4>IykuhZ EOW"u#z5m}a3`նh!ɺxgj^n۪k!.)n.`XLr:aMϿ׌k&aS6;Oe`7|y jnqmgYZ7zXZִF! O   Word_Lib ]ŗXi%6SohCFa> >j#hF?^UoS6ҁNRl%(UϚyR HtAomo妢{<2bIW?I=}ufmفvWPzoQd=(GpaL ׫5`2IlJo# ^k][bD۪fzhɻ0i2h*ʹPR,‘ /=;li9H!c20$LzlwM,.MJsm,l1x RjBh7Q=7l fV4`)ݤ#9yM~ɫJcƓӻF[trD{#,T_.ϮV\E?0ӎhE+g B[ݼ*`ӨQz7m BMxBp7O}GvxeHm4zlX[׷38xÓy1qⓝ;j&+.~5ԭ_F}szӳiA \XYy;fzcQG)Bll@]:BCn%xk敼q't\AP+^-M'!W;Ǥ^&1SFɼ ]B! XQ\v鄭8WuVmWBZs˾lX}zۃtvnB<.bc"覡ЎVj 47I\# N8ڿۮ{Qf_H 2)%ь ސ\q)tD͡_Cqv=N k8?D.ʮsUn`;FZ*:MxT؇K| og|GIO\珓U\xPxY/̙{RA{c=7ɩJFrWBFAؗ ~ O踿$yJU;2(fSvZ_'4r 1ڍ<|_mjy8M;/{@{+b ~0}NT6>"x%nL,vv"4k8!?9 t Ei2g/5H<_^f{Im]f.νtin&XYG[eΠ3BH|Tʑrqif6 LYr/ήX͔g!{цu nu[13pYGWe(lⅸE0?z$ػUrˍNЖ:u W{JvK0-x~%d(skm w̙FR:.8MzH! D9ԇUi}s2YqG8_tuw@0/oF3iұJ\$L"&-&1zff*OO;^FL-j6fjʾ(amR8hJTjE7Xde ZYO;uMΕLB bwRŰeO&OSa [n/2zQCq/J]k[5&g."' 8kgrB缜 %{HeefriN͙ʍi!/!Sh"VQ@~A3`8f4#dl>T|rO\ ШRY%1E }%/kK 2Vwm+*Y'ybLs&x{60OjI1wIUc3t,?6l()%k[=U',#Ι*2my,!eyP{AMu&\O]'8Ʊɾx!\|anإQ'+Ǩexhϣ:g81JAIoT(u¯U{i`IK0|;#U[k|P,5Pvެc#=&w) O<\Έt~蚉E ɻ ~=/ȗH|<+rA;@qTEߺ+ԩ6A៳ԱpY$ D˩%U[@Im=m]=lgG2| +d4Ξn=x]Xӈc]@gv|!^;浭`iDs@atQ-yVtGf|C#*8c+li[ժc2B~bywe/So!Uɟ}S뒫^ARt3FD_0Z ΉO@J_|}+%7x1W]B%l cnT\L>0J& 0ۼEC/O\^U0i{nW#jXN*dž^IR@@1: v3v8WZ:X97b] B;,p]ybᯁ2nFh-@#"ף~ ّ˂yXD՘ѧ({^CtQ<i6t(u >踵ȑE  &O2OGM yܟ@8ʬbD©ŞP]ʿ`n6tdIZQF=4 Vx$l2IV*hK"P_a:jE^yJaOlw3Aտ\, u E͈ԭ j1[B-Mijk@`Ҥ ߱gYZ34b200607170987f3c7cf0b203d694e5d9a92ff6e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 79ece88ef45c5d8ba4f7465d16afaa11002c6a9e5f0d6edfaf98a7654a8b895afc1d6a767f084658