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/DLL ]/ HOL-Proofs-Lambda:threads=6elapsed=108.935cpu=134.116gc=5.364factor=1.237zXZִF! 9]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%mZn3T=d2p٧Xo>':$d-EzCרG^t* I !;v3 hsj6%Ƀ:wK(Xp88m?Wa׮Z-(*;Xl?hǠM^ 3s%N9~4&<pbDaBuIY5RIUAޑ1VW/jb; -l3 a|Вծ*;+DRR>*pfAIo9n.&+!TԆ9_ q;~*cB-PGh8~O+v.[*Mǩ:uPk>m/4^8+gYZ7zXZִF! i]]ŗXiɟ11bu)]>_ws[Ɋ brX<|A=Ú$vUpht"rȉ)=4.Oj lndІ7cu蠨>yPm*ё|; ?%?+s%9}0b?&"ƈm`ܷUeY$քfGIF>u \JfiS,{:,Hr2Pmcx Z^$p~NOEbݰ}B6؞䢌g9k@oS|%9Cp X0/O1񟐡v?b4mkφGm-Yc9l { EʼnеiE;VM`_o{G+/0d}`a׀\mzps8 ܽd Gn",uL#١\Ϻtp@Jr&=XQRyE'H٫}(jgFRр / HOL-Proofs-Lambda=s8 qZk#CpIQ/堹 tc*U_qle\@ka% X)pzPU[»Ifov79 ݩL{8e@`3LqZ1LYM֒ga w](8C5SU0qBhPX3ɶM.*}b:>Sk^&qyvpզX B#;aJ4 k!/p&Z͈9qZ [{Rێ |v~%}d8(>t$`'m9ƞ;L*uDDzJ=~KTJ́Z`Dar7]1Lץr3,QPLxxjcs&\ʶJ=o%֐4=7l$0W J4B hPa4U?t['z=LRs0<II✝eEYhuc{>Sè81^{q{*='Zk#vs%~+~0` CrQ,^S=nBy:$ctLX%7CM辀?ci Cv!Z53uR‡?ZU!l 2ӭ6Q-<w"?GpRtC%E5)[2I[3YFvz\%CVfK5 A$]ʊkvyq^'0iP АuoUFy\b 8P>4ʼn`Ux( kօ0D% O; }Ty*b͔=kL+{&krXðeyxWP6}8 ztW4QT\~cqvWS弙lX;-NokSGXH;iǎ$g[ \y*b RCtû"!F7Gq >Ma<1p>ڟir.2XD~Ou dnOu6^H;Ǹk=bexK:2L5pfwuiuCj O\av4nNxLUoʎ1@Oo7$1PRRKr& :s^XQ vԍ 8L2kApz s, RY1#[z7awGd`g5FWxjN1N"2o_ J4L6+<>{CnM=~gyZ_nEߔ 99rjF'rPNC3C-wιר%} V)5kӗcj9]̈f3}dK8(F7ao^q7o%ׯ֔>3][6%Mco!rWV# )&z't8ᶹ 4M; ǗI.P: +-)?\ P9_f^i3_kB,.tkRbz=>~+L`Iz_d5:B͒&>DC!G1Ɠw|7:·@6x_&"ԿZxZ|]|X _Bݵ1rfx:e׋4 oЪ1 }@:=} %E5\bQѲ!kiϖ_WT{NEWY7+Fp'!LB|qKG(s/iˌs69xNnpdtt[iI蕺_r^h=%aqBBnsr^U&gϏO&'vwu$',ӕCoU/& >! _v+E){ =HLݻUF/ɰZ4ݼgz}!zE.EZM ?{2eq'R? 9uۘH毫@v/ЀnU gy>+"!:,N1 P6١ ^8F8<ۧ"Shwc7x-ɓAU׋!@`.S'g\}TKnA"L sCA 2ڈ23w* DѰ´ջZŗ47%󓱽Z1Rf?q~d̨۞O7S]tl{;3k=1j۔eB /[Ԑc,gyM9IrQo v]Hiq\tHsT0Hi>0Mn|,~%D$ZPEY`zݭa )J7I^ï&ƍ OddH)z {[iJM'@$0mϹlzWI5ρjRP>;[g(I"W[ӏnE܂(;1< \hqT' ='\ %il J#!gYZfbec70addb77464196b06c6c02a7be475e889b99f6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e 784233df3ce904ad5c1699becf2a4aab5b879c1d