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-/ , ]/ HOL-Proofs-Lambda:threads=2elapsed=127.830cpu=147.304gc=5.128factor=1.157zXZִF! ]ŗXf1-q恈͐7ӺV -fw0w]BjZjf7gpY׀BӇ.6$b*߅Ԃnk\&R'Sw}C[ ֫'U9lh'UvxN݌5˔pj-4FMr+O̦W(yY(pȣs6Tݻx7^ݼA?V%4~#4Z]DFfܻJ81fv1x$V&̧SŠi[ ˖JAE}<;g5<ƽ' -?;BV=CT"FӸXrCq@f6T551O(1`P zzW3}{UȊR % y}R,/=-OXO_Oow a- LoJrA]4;=¯cIg>3Ϋ cW_am˖ (|OSUjTՁ;zM8/l6=)%Ðnة=?gYZ7zXZִF! d]ŗXi%;NEԇSGT "Bk:3U,nJ/rW#1*r5^2KNNz-l6=_պ1Ua86) i2: dR"?H;*Qa_0 vQCΗ׏jcT]aǒͿn_S֐5y@Z+Eжog_aAFᖓ d伌}!m~l+}Oj n=7(|q}@&7:8#{+9D4`9"_Q- ե K5Wh/jZEeVHqM:- d1zN`[_wR!EU5P):_ǀf΂np$% aGf {mc|ĉ֒5~9<]]ɽ ,P_ݥ`/%un@hZnăNΚkjcN%Yɹ-X]Y]0-ROُ(2 y;C*PLwTTI+á. ce`M`hYqlJ#Ny'fk  'Uޥ~ icx5&UBCV\mJX5KGԹV"+MEkS(]IHYN6EHH[KʕbL v[Ը">;X;ͻ}dW fm˭.;LAnHǵL8O6suP: zut $t}<9$x -e,^w@e[eXT<~aĸCp^td; %y]93`0l?'LN?y9:_=z/KE_7rῷ6xcS;L6EB;Bqif / HOL-Proofs-Lambda} PQv.F;{NJxJAl_ֺF y6(%mvBI*gڤ}Aa,Š=Y&6/L);hgZYD#mhgH# >s){-kRΚ3{ tXhj̀O ڳڦV3Xʦk@A5Ր i> !3-9F33hnk ^i{*Q\(2E"Y̆~n *ڙ+S8: AGݪt&~U]h\EHĶi-IVD`s6\t|yC['jp'-؀K))}HH6ŸVPj4p LyP@F(qlYؖ?uh|z֯I<ܐq S[*e#&'4Fp kx6<)VTgBg{ZpvߛJj Q<ݤrp +o XQOmv=OǟLjK)m 2 P[#"Rc!3έkM}w+b9ǯh/^ VpΏ&,IU\^%:7BWG-Euy`F͜ΌBG‘usHxN5͆q_m9~)򃘊:ZwR#{L+Hugse`n5X*ύJ#ysv 2`&<k j-RlAzpP,WT̓cvD>hՑR?Y#aAJ:3=$!1%]ۆ1Ij)^VZ6q/i4\`}Ԧ0A @G ~WyNj?wEjli $uuq KL;8Y@g}:Opsq3HMMGFd e YTN ?ˢfQќ}Y2^(|0|D%chdQ E]"3  ]URW=ML'0Uވ5̡uȂ[AƫLІ/$ }kO ۴Vzѷ"Ԧt,\޶^wU1ɓ,~?@J̇(3kc @ogѾ ޤX"rO-΂Q(mI&uw [Q~T#lof@`OɳOLpоWs4qPA$`F9{}UDQ n}S&5l-](z}ĊLM(SXqUM͑r<5QW")ưRVc#h>IJu5SN⛴K>w5$=-# ޱ&ޚ9Yôc]6 L@ BUZ 6J0 T*cVJz3j-ӏ:tO"!.`w>pO%p UGlJj]<2x D/)A'Nv;8M5lNB7t9/+QôJ`ӷe HB\Z4>%w $Zd}fi\8~Ƶ[m,d5fs<#2 E`p] l7hd{ϘpWLN@Z9OteB ~g:/kbN4aL#-7+/gc/oýʣcS"2#_ID"3bl3Zw6 ` ݲtb~71PΤيk?|9™46%;^0)߮<`l,j1u{ vC|@9UQTͧl֬T"_`Yҥĩ9f)@ot(ﶡg:XӘ:`;ĺ%i[w[o Z!'1[%Z!ẽ* F2]#ʩx{.QyMJp|~ aFIc7D !\}Mhoo:Zz_K#mN Aů=cv9& eRkn @h_mevUl\FuiI,ܛY?^5W0'sH3Lb0 dg*]7fkfz+RO bwWE|-@0ueKEw1tk 'reQl;!Λr0'OQ)A!WDnipa D@J%Ľw݀jL\~φF hӣC$BZ\UkH .EDŦ卟"5\Q׫e'.T :iUb7< /H u* q}gYZ43438222d6801f534cec95d14853ad87b85b2edbb1e9d096eff3e2d2097c331d061d199548b5d3ea d5cd6618f4026933f26bae23b5d6be7842e707f8