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 X) L I/]Stone_Algebras:threads=2elapsed=57.756cpu=95.464gc=3.252factor=1.657zXZִF!  ) Stone_Algebras]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTYdţN^}g &wG" k湍V2(;ّ}Y2ϲ8ymĠ8s55pU7$ixfiPpUtv)Ր,|n>4HS\X%=Pz =vِȗgm|VЊu#)'}]d~ȎZ^3^ܐ+^ؐgdz~= uWLKHȗt_RqqTt#ݦѢlJ֊Ud cDMUv`GߏP?X(9^=υÚ0 HB Ԉt˿Lj3xȿ%tZA!M½guHة,޲QPیzGH~J͇8PX>\l,K?cqK2ݍacN|R[rn\aLa6Ą5QY_)s6eCQ9l7eOrN1*X Ws27P'`?y]oEw!^ ohǏN`W}Ê @7LnX(U <ˆo%2l{fLS+>M}U2fKַlǔkː ~(==$@t'O?5m}nS:9CƤ;*\k!D 4[/4{V[ fŠT'MYs-K PjwlE\ek=~@JRyaZO2ĔV¸K%7bc*fL'w9"^.}߻бA +6u'%P{ YSĖ^ǥ[OmcZ/ 8+;}+VyzGW^ ZWPHCx.R}d1104vh.ߋ(K[E\8hH郙x_UtA$7Koa$?@ׂlz)E7K~GՀCIH+8pܝŅ`CGn:3Gx9S0{FP,K;bv{˩]@B0[)M8}ZZNA|y6D!󁀅gEԧ7@gW\pbU6`96gQX"'V%m@(E#mp<^W 1"VRV#)S}2"=E]):^I#f8jJ.VBd?-JԠu}n9GV JwIl+FV\jտ}HR@j6m _(-? qR F}Q3#|EsRFG1iPt0x3&VJ]a6䲖+)OTqYhW_0`f5Ĩ15BP!^}] G7I",:zj׎ wtů|#pbOPƝl_i) \I777FkF ضf |J=\7 ?'ldFG*853..e0+ׄWk0! =+'E4)ps%.fo `_ F};HFؚ"VN&˛7/CλJ$+9)#zQ+G]H% oZx 2W}W2#l4FvcOoZʮɂ΂YƇsW1 gU r?]w?l'6L" gYZ7zXZִF! ; ]ŗXi%zxGz$Vl @=bRcg^y)1ȴ;0㲒SiB( I3EQsBḦf* +~Z؏cqW Opdj3&<Ѐ X w>F{ xBxKk4BDZN4# ˫TXsQ`zZ9w3|^^PHuwo=pndN:`M葑YT?Q恶cDf Y}!@ρW*8%k&$<leȤ1Pt( 0WBrGd~@M.W`7!=R\gQ I,jO;P(Յ>nYB끶Ɖ~0A3}ʤ{Xӆ"8Bzo$ Cck|bU[,z?#Lx<);ƆifZ!#<Y!_[Uw.C/lvd.~~ݯP.:Q}>HY$|ಎ6i+<ӓG,d7c0}ͯo& `Gd깖 ܰ:C[ soe~;m$ue gzp&[fh~Q_ϾUJC:9B5>IBS&>E릖mƞӑc 6U% 퍗d;mAc}$`aI|ۧ{5w!N&həSZ@+94At5O(YhI2]fRcO\xH մ_P+ez|k" AwrT@op7+BHO5evCuB]z{ץH!pm7MAPCij*2(k >{'_VHj[/*R0L]V?b[\/3!}C Qs0%Q9WTl)i.$Zq2XFs܉h5%TU2)Qx@,cE F %*OЯZqi$8v(VH 8 d~ujqVEMUa%-jRy 0dx7xɦ&pR8N I7!T LiȟWLQ# n'q_vH0嬆 ru-#c V!_B2 I<$:LUv 4 M$~ݚ"nv +fRN[aPj94r[w=:8_^gƬ,P}(rd BDb$lbEEZF~=3ʣ1eeшpmvxg*Fr 2@7ElLz<2z f&G8a<>f,+lJ=U(Jw8Ԭ%߶>E, b/װVBNgu| S6GS=~JRx깍Y 3LU-"cL&z(=-z6_0 fHH-{{QsD*hPH#5wߛt%Hnk9j< u +,A)@M{%?{|Irb[㎺((J߅Ty]|TP?H܀,u̗LÜ0`g *x<ŊHEҝ|0㩧'6Հ3[%,='2EN5.M& 2`]8?Đ y[8l>;k6nyYbg A9˘d|L4JQvyalz`u/ia_cBjcM-s8jʟ?Wl#YJ(3?F%hÎ _4o W]ϡ( gв+p9u<˯0WA㴷WUD>bN>רvWjuYuP6#h:|,-7G2_ (w y1[doܝM4/P3ҏ$śeN5.. '#x7Z4n?:"my^v9zRﱙYէD76tqv7ceT4@v.ZoҴ?؏Hut .^7>m=;({hW0]z jJ|ix(ZRPDat%Ḧ́:uߥ\-@Q }vae͌`