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 /\<\ ]/ HOL-Proofs-Lambda:threads=6elapsed=110.328cpu=140.412gc=6.304factor=1.277zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}z>9e#2bVX{B0(4܉g܀7Nh^:C9 )01r =_ºU9&i }ZJAZqȅT(wl6zN E*X)4 {fb /fD'wK}i)z/yOVo}@w~f<}׽2B 5aI=[W|tu?Wop6sUwS@x͵:-©@ !LN_Iw{6hPʬX%ge"ӗ~T_YRӿKds)' M>})ܧ(] Nd?ˢ8fEjW+DK/,1Jc;;$ tMKEf}9XAL>1ld=1l~:8 w [M8ٜ 팵u 1ݍ$$+~F}1׹Ts{>ʬ%䰕 48իJ+M|ň6,E\& N?"ZɣS>ZIBgYZ7zXZִF!  (]ŗXi%96D H~bR5?O :6jB!ڏϑHXL.u1Ge:`%[]]iȼѝad7*O68Sg[.#ʕږ $AMH.e„ѲF*pBg jfE:7V?)>푱M#nwGnhb̎A@˺ 0 v:ep=1ahD^k+LQbU}qyQ&܂ 496.E`p߆6z}Ia! ~h߼yy?G{Ԋ2NcY.ѐXfw2F(8 )ף(|KHZ<\̗-~ðaa~/ ȩtӢv t  Ԯcxh ~ѹCBSW@$32`5sTYzӠ DS[4%jGZ~\G[b.LZoV`ӫt}."9\vC cRT {ul~ԕ棵.jslr^Qw,9!&E1sYC ;)c{1xiF#"S(btgp ]8S' ?" --~%S7H}3 F>ABvήm|2*E*'ܨoP8*Ws[ f[lFwdxѲ4 o+o eȊk:?E \!3l8|׹]7=ă# +cD~tHN$Ր#bP΍zNnǁ2֐+X9yWb=£ۋb;lO\l%YCL`u(5OQFYS =qqjGt xE ͅ*Ը'G.q2e}/Zrfn~XO\[,f3W@ާUШ!c M7r?q;Cۙ ؋'<&y\N ]Cװhha""o'NuuiW>|< %S|D< ݡE k*Vù|x E9&2}雀Q'Ɵdbzԫzg/ Í*ނ%{iȺV>S*}񎭯R#<|5Iou ޟٻLjn\Rmf8m15*6{w$i7# tNVRgǃqjHd5= 잯f57[/`˭F;E?r۔?d=bE)tKԺ1~P,'N/H] d}4msp|*0{!D"7 83lڵB)GYQxkTNoǟ,1 Ŭ2M:z<*ܤew/WY~u +}UoԸ 9f鞶~I^B{p\y\_AM!T?iN']~ݿ듘Bo_>sF<=lqYxԲCvYv^CDK /L}[t\W~Pm4t#g>~W#KM۸ۗgw:[4omeYwG \-ȝ kg?̓ᢃᩔ&^wϰ9F8-Bq8"áHFz`ߕۑx(G/5iP g-]7_m w7y )s—l&1Zl^gU+wݍq)[ݑtBg#~I-TYg^*I>DM#/rv \pT6 SZnL1|L|9mt<P4Oq4::ۙ254l.a?+Cႍ.&l$@yΏN"Q|D~eO^v0O0`yRG6AcFHٶ++EcOgZF$ bQA^WⰀޥ NKeP薘z;|HiMм.iDRQlZ!U]Tg{%x~`N S eVڄ3鉛:E۾ܮ&]vpXultQtfeդ(BJ'^ #7ٶ(UQ}1x={R4Yʇп x!\:/e"_(2nۀ dq9 8$eM4pNv&x܆eKv'6LFLF >OCkأUg ܛtPޕrlL -_K^ݭWFuΣT| #*ZR.d)+m]lפH݁w5Sa9JK?F~I\.)ڶGe}ܮ!hUf2scs'|H8nI؇uuOBa0KBǙ{LܹykٻDY$ZG9og *t dK9.AWʍ^E&Hv=&al8۫J 2%b=t突"e"5B:ļ.iF1K_gf 4ӗc4=GC_E A+6kW1#' uHh +DIpTEnue?0”su.::sɘfb..m𶺿z{TNj}$Hw\;@ґ9 T 0Zf?._*o2c푋zdUa2('~  )$zr(MH7Mif,{\H?gi]{KݲBHgfepFr%K rV /FmFyEOꏙ5g$׼^U +XhSP4).QL$?Fnf^_4@ԲWMU@eb&LF+eGsdF| EʇY8r;ڞ$тQɮMNSph*+elPy.dg\*eHc$;2`;[:3Mc}e̢D|kk֍Z.38<;T/-m /(R֩>$kgYZf097acd750471b180e90f8bc8a4c4ed7e9b9999a1e21a38563f73ae1e71d122bc805ba19ae3a1e96 2e533e6468a3a1a6ce57bb7b1f8de701fb625dc4