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< } HOLCF-Library:threads=2elapsed=17.898cpu=33.212gc=1.440factor=1.867zXZִF! /]ŗXf1-qN ~mG&rVpbf4&@`ꆜSؗ^?H+wM(Q,larD-7a_ɱ]E^%UKNeՖu75KBo~QFpYK,p Y =M^[e0y(&@v  n? ?u=D "X$CIj)AOe mp1Έ˫$uhE誻wȺM2qVUH1#w J ꞓq1~NTP~`]88zxĦPw/>מ)Եx0|Z/,JaR1GOgmj\E:!:k~=fVA$ѯUD[j^Kܼ5xU.RH#w"DğsHC;&ty7ڍG6*_0?RrkyKlӵw2J\k_M(" S+0Z"װPN\-܎N4=q]\{ݟ0!G QDf_SEr;ОU]n0ʋ Rþg'9xn/`beCg\:2e@hq>UޭKP˚nx5` udA&i=_Ƞoܛy5335f:<~3 >[4^u9F,sUv@#ȥ/Zv;Fi?֙.G\hER)1y_qbO"+!,C;n_൒ݴrĪ6xnv;]9#J)Z| 8GgiM#XKJ ^4qԬ"VW̚"dg Y{KItY'W8G#%BbмD:%}7HZY]Cb?hڎ#wS1s|5%L?D=/ {G+Lċ?t8-^ $p7dRn?4MwDc6 glNL9?iHcM^;- CqFċ0`i"}!~ О*pc܄uC 6Jn â*5/^cq% ϊHtG¶8 N&PeL np @OF>{↵^_=4,9C?^ ˀ|'Y?OR09Dg"4$U ОऋD̩O2!M0prYh4 (z®2+y(<,2G$r'QoFdz%vnIm|b)9328ȊqJ!>LZȄv ˯X^}ܙ 5뺹j͞h$ΠPD-S}pWO$̲e~ްp#_`<haZٳ72tȳWryIs/,zK}'5x} #Hbs R=|/ KηE9oV@7w^ub;*lS:#t%a`3)bS-?3gr]Z>ǒ/4f5&8B.N٠1+f7AeY QiρovF+ay)Ȑw穡+}o!tD1*tgYZ7zXZִF! T]ŗXi%Hﯨ`aS$!+v\E/{sfK\liOʋ4MzSWV7uVQ-fMH6Yh U`X$R!/eݏ'8t(/lQovC^gZU{ %}^փAWD܈iU:yYk('(H^P8K&uӕg e*6#lG5_쮊Т9+ؖ؀7q;ܕiKH7,Gʴܡ5lysW]r氭Cq 5Si5c{c8WZLۄLo5!ra$6 _㞱w@QY]{gZdBpU5et\J oIjf"6_^ީ@f|!ׯH!2١zxc(=J|򨋲>Ɉh?&Bܽ'dZEd.;)5Wg6Y|~9c1K-mYP6_9dg aKUW WlFgeSI:nuxNZx4|լJF\Sy<1tIIGܑZڿ/3ؔq`їxovhJ5 ka7ZX*eqĄh%=]ʲ&f0%LAFFRCaߖ?~a/kɖnB2Mac VV#4],%v=s/BZe'5N8􊖜90@ ^u,RZwjY ;e~U#{ |9fQ뇅$D=լPڤvU>V(Q]قbgVyN4EPG‰+?Ա=R;ZC7dRŚhKE/jx.&t