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 - $ ] Lambda_Free_RPOs:threads=2elapsed=18.521cpu=34.424gc=1.464factor=1.867zXZִF! b]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓʱoqLDC>{? FIJ J>1kKKL!/&fV01a۟#xs%u%l0, g} yٳԬ%>u2G8(MϧC{Eؔ[▂0}8nV`$mDn8M,eg,]B^4p;Nu2 `PtXya`4< +;3Kf*3HR k V=Z%=Р(Fn,!K1g  x @|ڐ R,=qT U\su!tuÑ]S{ 2,& {bvDƖ"<V@aE] K5n+~w>i|(kE/"{ [{kT.l_^ƤRwx!<x D4 JxH=ͬJ-X] q @ 9b /fp! AYmXS\QȇQV4m=<#f*(gYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7" nӣk 0Hm!acLGǮr]K}ƣ&9a,M&vJyI$^Esm3my@ 軩<.hyS.j aэ|)EṸ'_ɊևUjh]D?Hӡ=b |ɩ(`Ui0f ɢȻ3!& 9s2St\oVHAx:pgYZ7zXZִF! i]ŗXi%W~Ǚ5q(:r:^p?;!&8`|AA3(;:1Q7-c#RN%\,TZlٛo;b7*wђA҃wfvGҖ ni p#0S@ ٭ݲ5lѱ>f(29H`n4O4t-3KʹYW ]~jxսm[8^D!JCDvMtibJ"W>̑ǧ˗ ,4^,̾*ѱͣz@r)]L%op#EBaP?=5bKX>Q4.w%jAjlGq\}&R>*ְ{xd Q7wk/}) 2ʰ8 ^=0¥}Jmwtf=4>0^aWT mS(#t:ѝ**bwٰNL&0hG:83Z+qQj9(BW-o}{d-ؔsɸh:\^,1Dž۷Qj] &HXeZY[Bd|=)MV+ݱ2GڇYaBmJ oT)v: 'GJ2s0ҪZL}d{=Ŋ@y }H|C֧GlXH][7k]vGzȔoRr5{~RJ7A#8 ֡x'q!#XHqnx݌gF7N|~gQT hUWHM-=^*ot`8I2  1sgYZ524b5c5da0f23989e384e93185db2f0ec3364db6d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb - Lambda_Free_RPOs