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 pp C |,L ]/ Median_Of_Medians_Selection:threads=2elapsed=16.444cpu=29.028gc=1.308factor=1.777zXZִF! 7]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjw8C>Zb{; _U[ (2UxooUI|Isy=ߍa\5=8b%XUzR]춧JX|͚= ǽg]"' 7#PP**AǘS[( sYfjtL[Jv׎"KN aA47g>Pn2 kROKtw>:%a*"^_q쫵v2B\雎u\(Iv掓d e@4 HSpJs\f,^ pii2vB;}G: l ZKt@ a{`a';=gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V) y}xk@,G䠓vR'Ɖg:57dd 7M &A"[0qڿSǠe K blS5<ClgYZ7zXZִF! Y6 ]ŗXi%;уw$I1oZH]!7̠W{v]|'wuj+"+$9MV."N1l^vYŭs/@[ O*YHI&;@=iHHV-e_`_!gdÈ1 T|el{<ðbWAR muƀZܘZh;c%nVndufBSU|&!/Jv,lْeJ<ۙwj6G+Rұ<:g7*8@ʆW`?C$yRC]u,Go$AFxUy\#H) ;dZm(=Yd\_oìTB%LPH g"I֒+1 ~|* Y?;VZQʰ_,Nl}ow.'7C:߀r:m "H,1yz j.I ].<XOfےz_9(GF~{&0c?qЈb^x#X9*Ff^p?>+Fdo.ĈnyTBt+4ίK"5U%V{urib۽b(xB/2 MEUe*BZž+$3P5cUOFc?5TbjzUY ;3~n'S?𷶯g1E>Q&3^O:3Ӏ2TR2*{H X(%Ilm\ {9S)hMGֵX.# };/ /@ eSyݵ㚳c>k(Nӣ'1.Osd̿YCmb juxϺ˙ښE;I,ܿ8^;\9|<7 RU.J$%o uz)J,5 /KPψS^ 2hZ4^֯ (fۦOdO x؄agqC6Uu3Y]-(0x54fjMxm)F`j/jGN LTJ*Kh\S\Ιن m r9W\hCT7xYt*E.ˎ*Np*߱ A\L.(зP3o@ nrgYZbdea6b3fad34dead0fd76b2d02392daee3bfc3d779d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 C Median_Of_Medians_Selection