SQLite format 3@ . YYQ77Atableisabelle_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, "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 ,,I#4D  PseudoHoops:threads=2elapsed=104.405cpu=140.192gc=4.444factor=1.347zXZִF! bZ]ŗXf1-/6vR[3£ˎFW pR0l@5GDc7(p ܇P/)Ir);i[lX$Ϫi?R鼋/α`٣?Jn/_?]H_8@qfs-C5M?U#տ{M>"WAETy.,alLಠ*w-6{(䮃4&DzfPevVUA ]^7gL6ޔ053 S&.㊃5 iuqa|a >=ݛCYdGZک?jž,K|+# bq)kH cl՛"` Vmw',qp`6X`\`>.Lƺܰ1" g"'DW%vfӇDZ">K[Ig*#45`983 (k߶J/M߰P(n>8}kub&xwFڂqCwo.^]H]Hcs?듾Qmڮԣl!|9i.";]Ռ[є (j1}^FSGװj 9>j[ƂpҝqD0r4!g^6PL2U(]ȥC@ߍ"mՖ+1@I&J(ѥD:ʄEXu{^0?Iuu78Dg"CD}P]=i d"ذ.׶o laL.;{la0n3,%|5[=XzJsT-L(]T=A˜5?25uI IUT~jQܓz~YyZv&_1nBxԻo4?c(F+Fl=%~X74*^9,Xd+P:IbG" H䧓wNDRIT^qh %M.Xl|z͆wo@J2 E _vxtP*Ў Ggc lni[ER{_TfrT]"YICGwN3GOCWE=7IHh4> ñCLi}vʟFG{NYuMEw.GGC@0eRug4.v79=69ĜMPǨ7OtDa{Q鲿 ̳L:Sz<7j =MBv9_٠rΔx萾iZҥ.Ԗcŏ#K+Ki &_(ۖ. hq$|Fdו$w.d#bJ8%%liy"Y.FAk`yFzBgMS\~0 ZްGPMח 2r;\EՔd}/W82 UӦ U=|3bs& TJ_8+L`%h6xBe#r/QN,WGqgffgYZ7zXZִF! W]ŗXi%65W< c)ZEyub47mHF+{%זU,v^ݗuH'3t;[ۯZ".=+f0wm;}ub#L?K-vdS'F[+c'1RvĠ%|]. 0 -!3@% q'OC>J;X/AW>;1r|}w94 )dg흣\c7fnWgjAx MQ MF Y m0?ۮ5,ݨul3K 8mߨ4z/&"8U 0Nhݏnnl\.dO~IrY sԴI9XCnЕ"sA5y8Yx}O;Ɓ<5[fC]WC&j[}i1Ӏ-j KJv|lݦ4Zki_{,ڃq4tr HLy]sS#{Gz#yȷQܟ`<7@/lTeV>]u0Cc6v1Gu(E;CK`^ *d/wW$CjۋodItEɆC5\5 n 98;4S;O]\EzZ7O%wݣcƔR܌\yJf~JbqUXh곯w({OL6:V,0M\ǧ듚.R nM8LWz% r4<_*AݏkZ3vDլtȆS)8Ԥ+\5yx\)8^*Kj+kn^|P.r#;Q;\ 7AX`Te2-(#[IQb6 uc"_s"9Tdָ|S vT:pk6cZ9b`< wdSDfXt/y[aJ:?)hm z=de71Ӡ,|>ojTUEzsAO Ĵ5hj$F]5qb}hRQZ%'_7QoMh|_oh = ʸDy s<fu9 hע}Uǀlc"٤$"g/M }>g 3D *HqD죗V9ߚAPrJKzOݳc?G6MdRz>J;MqIRsU 5ψЊv dLq`v,t\~dUrêʚ EjYT g:xi>!>d)$]b['.-S!G i דHTQB\1/Fh!'e7U{l~wtx' t>KS:&&o+gHœU)=AЛUEڗ+wP1y/wP!HX1d-Z/8:s{~15iˆh\E LS(ɼ^S;' R j1YR橞-ўwr˶wSniV\r`+jK6z} QbAF&,m2$e&3A|Ss6Auf 16u| պf׭iig qّV_Rё3u z\P{U! &Lu4mcK(xV4HIKYܦ" cidTwX^4M6}5}P*twjb˛7*ƛt 4윮.dZM˼3c.6/%zCv_,z?r únz0}ًj1C35 |'c)jFZPp`k?(Jkx}uuGcRe,}{ X8[ǞS=xR /N9o`1OψH_Ҹ_ dž|0a j)ӫ;ѳ30xx{><(\,iǪQ`І2CLH[ne|od?d.^!=yHלqZ[Ţ}K *߹y Z.(; žD3yz "ۯ)/8ˁKx++My2*QȯZ)b!m} ڒzuXU3U'|c(pQgsy}k yPt*͋qt=:.;_-IEoTBꖔ): 3ŎW2If]bu2@3~;s Ԕ3|2R0ZƞDnOqcm $Qvlb1' /rWfuK%9SyߚhvQ(i Ad0 I_ u'sXtTwLoӟ ڎ 9WJoLXޅYX/Oy}Q En)s*(̃r&5<'jU,EmX#pvOOչB1GJ~ TrrW| >(]xC';}շѺX)7`4Hh F ۟ElYD@ƸZ,̆..΁85E 1 lqeC?B YR 7׬*'A6;(ޤȞ0ZPM`rYpJ}e] [k",%%-X'$7|žvmEq@ M5uCoB|=ぅ+*j{=W?lP'%gYZ024dad8fe898cc373584ca421d2f6ac517f6757a 24854fc6e0ba1abb1268fbcdf897fbcdbc016dd8 32b284596db1e83dc0ec305f42b3f193753b8d67 4e9168a4953045453908bad16f1b01e3adce7bef 51b459fc9c5aa7d5f68f1754d795fb09ea644e53 76e3c3c83413865d1c0249cc34717434bf9ee7b7 941eadf4dae631ccd39fc9af15e74202932b7172 9a4a85368546387a79f5ba733f177705e96b7af8 a749a142966d2109198b5103b0618e232e4067ae e8473e4536ba236edcfb59d684429c31c03de559 f647347d3fe7669dbde6bd5d5cd06822bb8fb7cdf0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 d968d81a6ba668ba02caf104e4a74ba340ad9541