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 4D ]]Word_Lib:threads=2elapsed=66.763cpu=126.040gc=3.160factor=1.897zXZִF! Z?]ŗXf1-/6vR[@W /9% ojIV\|Ͼy& `#!P1/RAIƠdDޕYI1_:Qߣ?A3N(K㭘WKvC[J>ᶿ-'u / j1oW!, ]jf S8+ȴLh lvUP9eώ7VbD)v5>{M 7U }S q87MQC.đP齜Be X.;)> ރtD.1-RY=Y7sDQ!^ԃ\q]'=!ۙ 4:žRj^Ag;ªYOyi' }4+df1L{ o|R٧.q deL>pz!*+:Q< Ld d : ^ BbK ?뤛OĤ>H ێG(5Ab8u0&?($ VwU-ZͼƷ6SwϮ$%)*o&=3$))ziîP#akA(O(7!;R`,C   Word_Lib Ͻ-gYZ7zXZִF! H]ŗXi%90ù #eq%?(I۲o\4kqZ?.7ˠ(c|&.Bo|)to8:iO /6y?<͛d.ҟ{?mx}u$||#-Z]p ~wą8TNWvg 1d%_hV -ޥJq`btK񆒵vˉ~/&Ѫ Z }._DcA¡bq&=YSh|{X h-Afڡ mM.(&qdi*XOBpbK Q HWCvj3s}e0J_PD ,WrP5 s+y EwG{V&&@U!R) һwe/$#௯YgT.kZBT$g&F9SIGŦڨ1JQZy˘))tn[,oT': xڠ ;Vegar~:7˫So0 s뚸 }[ ķ A2mD]Ȣ#@\zF QT>"!䣋edz_-tA$ہvяRJ6@=2U<u{M|o˺Q~]M1βԌt]ߔJqpE' S@ըrZ^$N(K5r^V22YUV\9b"nPMU N: 5]BgvXzizEmyS9>&<.K,̖p ZuZocg.JG^(F $L+Ň|P+9R6}ȑoZ]y@wS6_m#sYP2 31dFx@ ",hxg$LR[TDN]|tEӐ~zKvJKb bF2cW 8pK3lLY (1dE/&bb-)*3HL Y[ng\ӂw1Cm$Ҙ݅=wőCղ"kTy}}#1;D2pKe'1)RX-eԅ D ܎`}qhTh-CZ~$L5gz12$w7 in#lXI /҉7cA<% `[ 3 rex jkGV'졡b4?4dgo"CB?"q:K.Ց5~;_Ԣi3Ep XV*Ɲ4ZH:oJ=ol<9-%j] ȑgW6W$6(W/|CN杫jǖhW^0WUV%l717IщH9[iWH^CUN|RVup kGeÛ=D7ګ:[l֨X|wrc|94#8UPYko <_]k}|R%$6('UԂ{W|n^a9d:R*#Ohbƴ˿'bΐyk ~fYjtN"Uېٓ<.'AE@k2 ~ &+8lw?LO=Z;eIsQ\F E2ܮjfJE$kFDkODgDÈxnߎxĬ<4=)!&fG&1*Hz5Dֹ鎓}'bEyêa |Rkq)_꯿{V8np0FN?^6Ӿ/N._ ͚1hT*&]rFuu}~x8 TOZ{roZ).XrVajz̍eO?1 X{; )Eus'Z55ZDcڿ6#dc*^={FZh 8q9ms)(PUǧq&7y5g·ż8֎QďR~B0Ѝ(AGltIWrE͢BNb։^^r)M"SS] K>Mq<f1ʲXb^ a$wԸD_WZM8hk5;)˰@k{=$ kU'N&)'J/`̶4JyKX%ePFȷF7h0e"h! =,[c`ՐF/gևüsnH涅hsВ"p8Ʉ.9 2&!Ʉ2-ͯaHHMphFړwV7͗ !vu(Z3x]ué2P6?He3C+xe|rrfzGn>CeJm̴g |奰Cs tyT@@ U_r $r޲wIޮdvö (S&"71d.zyO99N1(UIEߎ7-b} L*z2v-[Ǭ %(JOTٖWŪVL]/_mÆn}fF~ÜÝ ` ׊(|ٚ~z}J&B#*(_Ar,kb%X a+DVQnubWl?Uwء妤% J$)lN,&ML;};?*IJ#`rWZ^K*|Yn]#X?ghѲXNQ9 yP@ Uh^$ SbQ("_L&,źyS%qiػڪ_?n?.F [h1pk7"`caOzl.s|2Kח^qPC@6U2?Rajkr=_ L(Yb {6 }b";V<55N_)9@]a;C*A`!(0DIjIA 톷w[UYQIeiX,۬RWl bX;JE#&jf}J.sv!;))-DgR1 )R`>g_}F5&Ays[]ٖMH@Po"pāi.?N2wu_<;` "YJ(/1\D/izש.Чy"0}cf=w\ӳ\q꼎!P{h5⑼C('W kB]@! %}nThJmqkgcKoCVA@6QwIا"[R4bYuJJndU!NXč\]q#nX)-g4U"_e*$ McF 4[bX+d.dNU mdd&פYZ4Pn/Z$³*h0˩0!Y}FO_gYZ6a5d55b81a7a3d17d9d9c2acc8fae11ecaae471cee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 62c6fddbd84e1259c96caee5efb59fa18f6a65d19b94fd7b91e92e061db8672cd70cc40f5a3178cb