SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ##ZC ,|D ]S Comparison_Sort_Lower_Bound:threads=2elapsed=7.661cpu=14.652gc=0.568factor=1.917zXZִF! ']ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkI0K_= !F-Q6cd\-!0z*|ё'>cP$qXLE۹˖:lu;⛹3Mnvgm}1nWfj#*q_) Q<9QW]ȸD8#yJ!"4%&Cc谮b3/Ty/>Ok7+YېذgYZ7zXZִF! 4]ŗXi%>g ]ⱚ; w;OA5~#Xd;6.΍jO&2ݥ:5o^x{Tͅ$U*.[t].$V1†ˡŘ:'> AA>{qK M7q&7YG7}u?هwT~ˠMqaBtF+m^?7խ`!^\-fnT! Z'/6WӊEߊF!VDTȏ4f.9> ‘gA]ys/گGiҥj܇=/¸l亩~pBLхaT>i9˯tM~_L׆n.udocIy*ef@P#_JPJlBI |(9 I*s)ʾĝ[L$}`;I :s V׬nzW5[mևl#N6~G/X@%a&6`s$报[ Af x8EdT2x; "w9_##Q_' 2ӉlӶ]_y5>G!*)6f8 +h>KUء釥cE"=sgqR]Y:,J%p]WG?{߶nRx >( IBo")O`] OT mI=] MI-ϭK&Br)6 B/DlVv7ԗ/ į26JL|yO+ = ᭱}5DLb J|~ʜ#/,Stl.X{ څb# Q)GARtjs@AOmݎišׄgYZfcfb1f5753cbf42c6c7233b844737810f2d194f20779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f f046ef9a589d206031d12698d33d4ab88465db77 a9397ca0efe7323d72c24b2c68cd0b411c7aff65 C Comparison_Sort_Lower_Bound