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 .5$4t ]% Collections_Examples:threads=2elapsed=90.738cpu=174.528gc=8.476factor=1.927zXZִF! V{ ]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXb&Ǟ?K1HNց9͛o30Zr.DxV,Fѩ~ |5p|D hS,hG1*$mXΎՄ}( eov 'YtrJlÑ3&\pfv@0l=,wҳWYϩ{+ eҷz҂s(葤,?G)v&P؊iOK!J%xt̿jDC2`"dږ7PD}ndo eŬ,ט.8@;LÐS:lxކdMˡTDlwe->f~`*tއ@ǰ!0Q wY0Wov;m_/Ǩ^,Ln}*LLœ rcd@ O>…H# aŖ+B 76m[Ǜx, ]#se#%StA(||,VH!̎~[ܝF貲*NdY[ne*k(@6*g>񆍣fbukاn)m|NX4'#\1K\ЂSj? jndY 6*͢vP">o?orwi`Z16"!\=Δ3<-y쌫dkV˝~ ^PΨ YU$ *׿{_ S}8sVj<.ܫ0 ? 2R cq70yqU~8AAbXrQm̱SZH%eu2H0ե;%Ì>pZ$'TYOG\G|4>^P84Aha wO aQ%dN]rE!6c2@|}Z=/o)r H<ac½pݒi$1{#NA=ϰP?\:-p MwXAK~lkjAff7Jԇ'*31O=5:\|ymS]xF8X \*c %(%"JD[\"goeewm.ZB$= f6ݕ^N?G~RdE(jA-jKDpSK8!m z\F҇*O::hˆ$344cVA_PMu8h,zbȷ/~4F i|-׍Q\;-;MA!/A~": D~}m,':0w/CZ7=~6v"oj\#D5=,B4CijLU+w<( 6(r*aEҊBfEw}gYZ7zXZִF! ]ŗXiɟlAC?H 7XzW!ի.y% >fb{z]݉煌\tv]bIw8 5@_ƐpQŹ~;P*1hr9I6;6[2xUy}Cբܗ~0%ͽU oM -FR=y~'  \ )Br Ɩb0s(H5XPڟlrcwy?fL?lvaFkxՏ9Qft3\:LNu OY2A%o%T4羟 7Lt&eჲ(%!o!*{p%xyE7!Xh0=T^'b,.Qi?PJX*s r)I"A`/\(tNYZigYZ7zXZִF! ᫔4]ŗXi%93nk@H6gOV,3;gT=v=Tn | 핌3_wI_g9A/{!LPq'%<]>wɬK ,<± Iyy:;5F 5 бR* aőFD;)tIokSD~@POxkfh`:>  |,Y:jVA/dI$(݁$5o 7MA〡?G߷i?p!tW# .AwYyޚ[@+ТEbB\#q\Cb(wPhNH/Prr7]Y[%N`8k~i1ՀE9I'A' eJT|58Ἐ;N6iSZEk uL!;RA?T re>ج3-Ӷu!D0 ʫˮG84s÷hs؀"<W;8RΞ1 glaM#7P=q$qnpVY{;K&&s9՗"^ˎ$*AǟZg! )j|Kv07qqx)~/'f-&^Кz;Zcrrtm;kP#a}JiV !C? ӼV"w篔 5 Collections_Examplesn_#輡F89YI j_0W-P F|bzC)B@~+"XX;fJMøN粗a~W s|hUGIe[#@Ja/qΙ/^աŷzÀ?G yG{ҹы{*wbMgy?2cN@]#jDf XΆ,0Ԕ_dp۵UcAfC 'NWoa=4j%Uwes(Ր\&ݎ jֽ&Uh%ZLO#n )?9?4 +zΜEu,јe˯*ˠMS(^UY+,R$>C~i X&{'~O۞d%P_c-6Aj(ֈrɨ:?Xcva7O90}zb݀%0v*%)K"Ɓ'x /Xrnb؄b 9,:f'u!{ggoGdE3UIDM= 5 pI ˗"iy+x};A-B?滷4ƕCO\<]Q zhӓk=/@% *yR%;ǟ6[+ih r6ɘunsbcv0W}\Q]:)z@=l5;5f BwٜCA#tikM4右mg=yYttov: 4PjWQ~"虂|3 !x43_:;UP;>($ĸpi?dS1Ǿ}c]g $nP1E+%Z/[D3gEs} k CJPMSzٞ bOa!$ ؿڃBaM_U%y\R48s~XpMዘ<ыN`/W?xʂj.2@A 9"f:Ȍd J}0zzrϸZY CۯIs < fJ7Wv 1{;규,3/. NkӚ9{8*QD(~S;%Bx3JcV88$Pύ4?LlN `Ef:@q4"u°jTJs 3X,`j^ j9c.X+|Tuå2T=[5mљ1<ݏ.x8ɴR~ub8ϔfe\vx'ަnbqNyP'%}]3?nRY5D\cy0<&kb@M톇}nX郭D;K$ wf?@qYqJ1 V4uƙPM:tfsfϹYvr :nsĽ#5 ͍;]]rii^⫝̸|̿EÅnjIKqFаdm.X~x3Dj2S = gJD/llMCUDZ7\IFx%u q@Xܲ bTckџ]oO4v-*"DcRcxZy#0]ryfgf|6llnɹDeAŠ&7D^㩻M= f}V.?/z&:xHud\BD JPmWXqF +3EQ]CQ!n5kطcz<=k n5*wBcK]}QWQ!_)a_+v H,(o= *&6s ߱qT%~.^}|ňhfWj5&OEՉ1~uzY):#sKˑ~|$LUl3@j!oM#+kRcf=mP2]x w bTz]EkM7zfKncce먆ЖDlfblC۫x{p@OpA+FeB1~QҤ&LP9 h'#w  Ψ;U|V9,ȉ0pE5oQ-B[pލ ӈp[W{BKXĔԫT J,&rmAMQ&ߩt6#3@WHd@ݍX@Au٩PHpwB6TjkРõr9 ;n 9ҹj<[<!fƵ*$nT6!f_kjc stFyL6c@28ܐG_ 9 %UN@J;e,;/rHQL]ҢTz lLBۻGXu-$5X ÜT=d{T0cAi$HDävH9Y>>惿C"+T)E*hx.|:/M?_W[ Fs?7*f[5l3ʥ.Q}yy5k\8P8H>bR#l1Ck w>SFQ ȭEU/ eY2Y-Ƴ [O/SCJ("M?d6@iMZ3hB-y5gVpҿ وZC\oW׷ ux='UyuO Z0 :"([@s€uKЩ5Zdǩ<3xB {[GrվK6P*Q躛p?rAq^4a(P7?ԥ`=~@6B`w0; :`wHeJFSo(OcTj7ӹMy:Jc8n|tNfϜ0W#N `jw5R穜~ۓa W4'4#w`[;-Fzr/8#!IfW)iwƉM0OHBj?KzE[NPbQУ[أ3 nUuMt>X͝[}vU߽?bHD*?̢1 ܏w n_2V6` 1L55#ׅT5J* wT?ƺ dġex>ԔIw[b[/!*`s(N 6$(gYZ69a54bb849416da209c9b2ab68ac4ce51a4cba4ca86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 fd4a1de7cfdaa96338dbe3347f5407515b043eea 6fbafeec1e79015ba56735821f575f93f5df11be 50743a86349f365e1e34843bac14f4cf3bd32a23