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   Y/L< ]/ HOL-Proofs-Lambda:threads=6elapsed=110.069cpu=138.728gc=5.480factor=1.267zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%lnY<Lxt^Q(PlX;}<˱_~;?<`Yh>|[5d]zv)NcEg Bcm% wt>lt) =ߺD3h0(i-1hռkʿ,~֜-8^׍']iz~] 4.RD6dE:iΧǛ ' Fɽpq5 DpC$ i LR=p!(SD8Cمg![HCm9|HF/S-aQK# z4CNb w(9쮺jۅS$?bN &_\f Y XVO[=HgYZ7zXZִF! iU]ŗXiɟ11bu)]>_ws[Ɋ br%b+ >)bVM_O # UI1m5$,dg,A2/+tK3$*3Tْ1jB WyWu$ I\i>>zԱW<펩Nۦc1וǣrbE+sV5GF# ʤGF2 LؑT奈TMAX]XX\P߅""bGld \BOm,0 ;_*9h??2s/ cGU~彊бgYZ7zXZִF! y]ŗXi%94:c:=y {5Ўyuz ڴc1 xNӭcD%F(! G(M Ձ//>$uu'eli2̮hlG\[yP^[Q*2w<z]sҡ>1#: O~ZB[=(9x3loJLU`g[8Qaw|86jP\1st6D!@NWo-ސ6Jba; js_O` &PJ|Y66pp.~+}wJ]u8G F("#/mܡ7^t⺵xQq; 5L@bi~`n]l :E ,Z(9&7ڦ~Oqgb"VfN@FG{lH}7l9 WDuHfb-إwSVޝS0,)FMڏMs)u 1im,͖1e`r/T$X @Pft;6.%Y'X / HOL-Proofs-Lambda[÷ |,z3nѐ뗰Z؂M(IE2q`x%ة^k AќدAJr1ya+z5rrֿ(nDm:&j+z1;rC UkDŽ\M㾘sAhgB`0 NSG*!L@llq! fMRAUٴuZ5%zvOsOx !P1u~(6,P Q-:U:43q9,)>pX+Uml£)rXT;%O 8@!d0uYh/Np<NyN A$' A͏e<ʱ<0W;qk~K %mDrĕޜ}BI 2MeR%pp3]c ߖV^t0po, y ?^*.Zq |Pwk&1* ~8s7BT_ R]ĎS{~JNa8o 3h*pR<عBBt8\xydJ" lܺ"HU8IH-Нt D D.>FrsXit(Ns{Px.:(ѩ#8.~-dX}u_i A!B,?KŇ) : ٵxBƄnoǖfl]%CbP||!E%chuRzOM"̥D2M)N)%@ݪqX b~tz^J('dd҃u{^'r;mguPT6]@g `Y!+1 :݀?%g4?`Y jF!dD;T|olLW?"Fju$gWB #t ~ϠZc1mz_? S}kPSYZҢkYlmv Kī5v^zuy u4Nz^n5$S *(J h@dO]gBg},"fZr{Jb\7e/*Zl_3-o8UΔjhx'@PH/C`ͺ=g?JY4ӏCϤԋߣpU$?z5S>Paxe (DoxՊI嶯[Y!Hn)TXZHK,`E|S[bwtx<ŜjII=)Tx=fڦW$gJ6|0LL#ĄǰT)(iDLLW0{*@qW"~GG*֖cNbb˛ɷ9gʥ`[Խի חCHg"*{z봬S$V;W/fEˮ-m=g]nwSH+`Wix) ߷kia10g=?igY.kV魒, rY3~k b j&-n`[b䫜osedhd:1D5F7`>Zu>H*Ȇ+նԗǾmݦdKvPW^F\95}`Լ"b8C'hXbe@@RR%Fn9Ppr{Ys쇆#8*hcU& /H  w_QHGB}HS,n}>ɳ$捨ќO`YU 4E>@P YȁAr4_Wވ}a?y _fK wSX+*s<X.K#y}\,ނ7ˊ&t@kupyH ߘpD +Hw4I OT\;v`x$p Wm Q9U,s )޾Tz\ygO0Y#0oW>o;\Ѽes*u%pd-;d-@HhBoApZG=Ii`CÚ"aA?Q-8|QPrK^0۝G袴&ʧSҷ^F!gGǃ03"VCmzN_c}xN>N#cyF̼|^=[|[0[sB%+tb_ӎc)tŴ -]hu6  7'I-*Z-5`$k`gYZ56de5e3aed1e85978230a2ba1f324ff8459b3fcff854ea4eb03a9c8a56164c4c9f9900e0cc800a63 888a6d22c19dac4177c4609a6b1999e0a021ea35