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 hh /T, ]/ HOL-Proofs-Lambda:threads=2elapsed=146.525cpu=164.636gc=5.648factor=1.127zXZִF! =]ŗXf1-q恈͐7ӺV -fw0w]BjZjfէ]JUgǖfN&NQ+0˹ʯ^_I $u 6*HAׁ7(S-xRokpf=2#!8V>Ch[;)ŏCzM9Up ɬE)`Ms-(G\z(vHj w9=$`FŜ<{(;@\ RΔTumۻa1ǪX{gw;(0i-H~feV?Dt(OR5Jԅ}ru|8+X#.$m>FVUzd logYZ7zXZִF! ]ŗXi%9(PφBO[Z1Owd7OЮ"FdR3ď jgSrΘdm(&zQ[:(̭c8,` B0\$O,_B#P hG [I snE)n7"f M*YTh<(G2Иӵm$ଜDu'jx%L>NT8:=7iL&4wn^zd9n  ux:Lp*\OC-% Y$sF#ݡey'rECp7j,dd!`w+E3?"$\HPoiAJC̆P׫Z1CO!=2iǙl|(hٌ}~k+fc\9:LoBqa:90%W}BxB6h@1̲߯v]'V{__R=Ae8)]#/]f3 Y@CrlY&Ĉ9$''q՘V)uӑ{I) /iz';c .O'3kG4$f?&_Uyp)b ߏ ӈ Zr&HO I2ji]@ !rYM\rFi7jο|z%8 nōZ=z,,{h.(苠YWNJ >,B^)!F9Y- Hͯz-Q|4͐L_Yvm?Hrh~8_'cbO{yK9.IMFB@6p9^dLxt&|U3n7 (W)}UJ <wx'g/Ϣ* R&}EJ58""P~I}iRW-F_cvcF9$o1zG`斂ng9hq*47@RWIH."fNN_-#LY;.tr }*/ 2OEڇ{J[QjNI?ߦs8[)>h#FcC(vCf7F3{@pa͒me".G+$p/J*ݫJ+AFR5Tngf``~,F7d㼌`:,oB3bvuf( xc*32(K=[KBg>q$(Fn\M.ݟb`63Mz<2bZđBi2z6$Q / HOL-Proofs-Lambda . s;[L㜇]}Yh`(m9o82BD~@r%⭧o DŽB(0QUe%龗^ML9ytB~di6&&;NLZo`-1d<-|4>K1Qr?ÏU0<)m*}*u>*K=;U-q Ki'[btJ(Tc"8gYbͼy`Gs_bN_}TLRn8O{TgЊ}uhAn ﶧ58Z8X%WFWmaOEq.3" s7old!MD02|b6-AhYE)i(S 0[$Q_nkI#m7iVfРB]e#*DHݝW)1"}> _T%pVX_Hg:NP`~ʤwWkOhtB<~ ׭꼁?-3@BkCY>}2ȝD|#ԏ?`6ծ7dM^ZQr3k2.a7׹yK7d& F\q8Ɉ< *!}s Ο%z)pbwNrf'2 nXȧC uUo;_v֙/ fVX73֠؋ Q_7S׍21xQUDX@nh:eDܻ?lp{>4k-di.2dS{sk5(M42w**_W6!3;zZ+$_TC!_תr|B@{$k*VB%aok|zDF6$<PF5Ju>k qXz.~8Yd,~!OH>93#BQ+|Ǽ;Uuݪ|W(ׇL@"SvajIR?5=tRQWkN>!طB1)L6%N$Te<%< @ɪFXGtt=@rS(@mA8q2(>vo%?ɛDx !%HP /Rǖe76_-3f&HYŴZРR@J^sg!$>KW塚@uW{2g8ËD)ʄR&fFTGcL/9ҘIYwt`F_ qQ$< BGsTez][F:oS\y^.`;Aa 7;~-zvQ2/1YQzS~fKAQt[̯J5O$trAxfɱ `P[jf*~(Y ѠY^617zKl}F [lg+AA"Rs6 z#kVk/8dTiT9rH!U 4{ V(\jRU/0~:N$bCEAr&j`R|,sGCi=rb! z+T U5]XS:cgOCnJ5.M-cmZzA] 36>2]EJMۘLH>a¯,Pq,mnxl@ZgТP3PrCTψ7 ꩫB?*R#!k.y0@?;F4C&簅Vb1 &6]sTY6u6knEIK=afDt qRq͎POLxKS$CL(^.Z&畴kʕh~&HPs1Cr.ZH6ACdiRE14xfp7uSPH˫<4d3wC[d[?Nӝ;[Ƶ2ꎟ#LS㪕Uf %?!g5RyÓ<\SFmBA㠬%4!J>lr;摖Έ 2>阭FHcj8FC`y1I1G"XiȇgV5(Q q6jgD,Mַ