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 s- d ] Lambda_Free_RPOs:threads=2elapsed=18.348cpu=33.900gc=1.476factor=1.857zXZִF! ]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓgGyQ@Y*"3*[q([<**؎'  Q[џ@?NGƧ6X 7 Ő(frn\D)5+ mdxiI?3u ̣ds#K#C`PAs]?yL ҮLʂ؟)Nn( E# uIm.b0s]E*O~GREɬvԜWn>"s]*iXAz[ҫR}1av!-BfO? t"̤+g2w0ӎỗս3ryFAb<5zNۦ 5=7V[P݀UӦ ̩ w8඀J("0 kW~On` -\_ ф;fq=}y0DM=)韙]){,AU:E%vnQpQ%S+a+A/ZFa`ЉJ)? 65!>x~񪝨mu\4uq\7@D]0,ɴI%.gYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7"g+)ol c#oU!a>)WoZ8S#TAږYeW VJgV'$).&G$8s1Q:݃$wv옿-1q8I/:GHx=gvrRonPjN2B])to+=:گNѨ6ND3"c4<5Y`g󗄠)_>gYZ7zXZִF! i]ŗXi%90øc~eiF{Dc% qmXýrahws z4 ^fKP~i~FjhX~EwNXzM+0Z^b{pzYv^U5InpU5Ֆ#b\)j2gmO]Tࣩ |@;s4ײm8=gGP07s }F{ZfW$wtj6RԒym:Mt͌eI)e}xCJH=IG#.-9((}leL-}?(Pݙ=36ӃH]WQF#ju3)R-H+6> Vhd2~W1cxOIsI=lF?A_ES3Ӵ…;pMiN^lDЫbJ2Ÿ%WHbcBQQg > |p@0 ]Iv!ܴI[T 87ylO>A,֕7,2@ͨZ `Ja_gEj3H2s,79'yvKDߊƑT3~5uD\c{ HͽO֛d ?S7UewFduZ?_|ի1*\M%:DG{4M7:d|i_ q˟PaH#8d?M[ VԊq;]td#U"$_ՕYQ mJSy5q,%l@vZ\z:d;w-XD&`El֎rHq gw`/,`&1Vy蹥Z7W.ҷ?b§O\|mBͭ)T+ӥo&2-h;(A&&Fǻ NPa!@'  At:֟챟$7m3q-[.Q ?r{T:^WN2tZϋn*ƹInSG??87Za ++jM,3jjSrf}h$ɱtl_ef*Kt̄u<|mTTގi)0K^7c@ð L?˕iKmpxyĖuBD#=.|b% GxgYZ3e9a277360f8065d277045b6674867bcd9df2c80ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa - Lambda_Free_RPOs