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  m m9\ ]% Koenigsberg_Friendship:threads=2elapsed=60.074cpu=105.088gc=3.724factor=1.757zXZִF! .1]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XS rxvB{#R.|FaWksOEOy򔷳vc\MĞijfa45^ܛ oâCDmbae S'˙B<\vt k7װ[A&gҝkV~{ eJ5VT\"ID~c@K4>xVRKd=B8•Sx~L$m$<ǿRVm&޸sغ&ÌJ\to!¨X054o)8ϯ2)cp|,Qb:|ҊK*܅_io7D'ZT}KKRR>:v 6֜lr߭SvBWC M}3FD3_%^aKF'br;E=P'[)09._`{ ^/Si4'PC&}٬xBQ{Q܉Qg"$-ɷ POymؿ2& &=IS/cuOb%U /f3$=5ly]]F8h,<: I'`Or^ 2[\> S֦x~ i (Y?0w}=ȗP>7 '9Q/(qZ7*ޕ2W m<[QyI3sTtzQX\#$ڛd,WSSnUG3vɐ.mu(38#}9؞4zN zFtMeY??Xy%kzh=2f*Uô._ab  .rϢLpry}3C'd9g'$Q S3,_j\u\)ISlgYZ7zXZִF! ^]ŗXiɟC3zto?;Qŷȼq,S6NbhR.D[˪r}*)zE.#1:d]Br0[{,`- RxzX_k$jyű;X?ֳL^rP_fZxvJ_7':.9nnΆn gYZ 9 Koenigsberg_Friendship7zXZִF! )]ŗXi%92Aez[]9Z_R] 0sdnZˬ]07 PKrfmk!>CC-G\uyϹT5} 'wy^'CTșuk#nヌ ua/9uRJ{[Xܢ' '1 `Fr[\w>;i)rt3)\d֌H0 -'_"4{E>?g E:]inb|\*H PGfg6,pBZOV`JP xx'՚,N Ӯ~9_ )R`ú<<mmz.C{[UlM0_6n@u7ƾw0yJ+ӆpNt=9a '="͆e.*_AfDW+ .p>Nyv-XWP`dz\\m<Dtϓ C^ uƸ琷1.WW܁G YۊI}bTwo6:tj;<[3aNiw|,{s})]{Kҷ?L V^C~(P`ǍVB7ʦ4*br  9Q"_5j9dAU.8Lz^>>:l;̘Tce J=7s @(6fv]+Zh$fDtFc|Lȏ~@e E:_KWͳř.GDY ibb.Hp_ڣe#-9vX8`#nvϖ9uKO!RC+5v|˗O=1-]b"XOZ'%?ckxE#mX1X@Ef{+G(u0Cn|TS_叛dIUzL͐\AZ 6'_}2S> DJ21C5;rYAsI^anˁM|,$m N~~'vo[GHOz c7ys[U<veֶ-uKc&D@,+LeM;A .FbS'U.tJ D>ʯcM֑() 'MeC -ezፃBVK?px5-AO-7g@B!ĒZwcSԪCAR좨z;Ƽ#iKkpK ̀z6q )NZpYOHǴHZb57M׭:+r}5˩Fx^#DTGc r\[rR{*;W] nAؚDVjtR^}!~b1\K{ew]WqwM ]ɁAݗh)_6tո>3 )(*y+Mz'?Z53Ƽ2 z;~|Hcg"<Zٱ8 ō MT˕ezb[a_PjC\ϒbeaV/L8GJ}i"],_*%:3[CKiY7A)"< 9wu'̷Ҽgk"4\3pG^69f>\_q uݲN"[.iOIڦ"Q2`\n.t5 R1)Tt`=6xѥ5N"@t$uPű 3(:59bN.O~_\7];O8Ne8Yr_0fk|F;K\i۱M xP&p:m \&_EJbRJƘxf2Eu1PYA. ߓn'ѳSH[:MshiR<s'5nqxÍQJ{RīpcW*&\g-|Rnn ?9rC$8H)=%لTFPt1 3",n>(F}&J&g*y;h0vöԡ TɕKB¼78'sj&ȭIG:Ecݫ BS~ 7Lr,jf[Ux Y d).pEs kn䷓ZɥtqP0G2D# g莋 ya|ԲwD…#1qn4xFnxZEdw0=*wkHJzG9ʩ_K'HX%bZ4&#)Gĉ$=`^7s@̏`Rޡs6">3jD 9dP ӪáttBW-QUitWj@hȁiNnUb#-얐%x f'_(Ь?6ѷqU|X\nWV)Vʣs=")oRNyV@`B4꓄ٔ/Tu+m;rb km_Vhnq_-O{1~СKPtWn?*HI|!]d:CDZXSd#ÁNYD&B3YO\:%Jq$49-O, 6iju7FIkpSpBrok O^Mnf#kPP]օ}6u  |N`_sd*]c^Bawg'8ttdͰtN R(㦤qVjDjCFt\s9hT,~%enF…Bv&ab}E@;b ܱR @6Դ\VLQG'\Tn&V3rUpf$P ;)tB۫oKL5>zcS͠;ZfSdq%OWq9NACYd1#.mcRtIۤfmKD䮩qXIa&!(fF {(b 2`B>Fc:73 ip̖2lGO蜞@PPb1$6Iq'EE. R_0n FjKG{ڃ9z(Y?K#=L$syK̄awZ '!D x]"5 aRشZ{ϐΡ0՜VŜbd07r퀓CPgYZ98c8774106126a781f066d574bc626e1ad7aab65f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2 46bf87e128242a537a5f1eca2e017689cee9eaf4 8645d377c2f2957bd3736c6e60666887fcb8b588