SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ]]# TL ?I Random_BSTs:threads=2elapsed=7.825cpu=12.432gc=0.716factor=1.597zXZִF! 5]ŗXf1-q恈%kV^M[-a2'161畕\op+ot)h{\gv  tFv#x(ILG5ܲ#f9&rܞt־Se" j><>8DٝxyNJ^M;!r $_3/3wƧiQ[k[*πoidCf'G™' ZFqߘ3X F7пQç U/G<"tа)n>Qe^]PS ۉwP뷫Z Do_rMy\'@$ IMķօu F ]wǶÓh2RE΂E9R讔(d ԧ bb[ZktbNI* " w"i{rqU#8> `3 Gߩ.l+2 |T(09eVnFdζOTZH&5+`@aQ ^*1ޮ|'lOrG0}2?FB_ĉkNl4S # Random_BSTs_+" D/G@ 4_ ^6|-o=C)cŷPY"_ʫi8UC|z",xZ=W]i.]dtȑmtlFy`(HG 6Yev&iG :w2a~~1YqP tW^u&L89VK_}!ɼ|)[L0CVtÞ0MI)n]t?A(Hn'Htj@g"Cx~Xυ1oNUV-E's~Z!99>[ܪQTl$"n@ E#c Kksxꥎ0RWy϶)`[& p!)wH ÈEP:8l&F{ - xt@VaŚi+:O%?-⻣+Nr\\g( Rԗwj* -tV7j U-s? 7)z&{AQ\`'Ӌ.@0D[}"e߅9dx*_uz#d+ʙxqS>FEw 嵐S3s%2Y 'fN2qϪ˾1\zio0Zu'DB$W\տj :HJ>Z]r*3~WPiC_o֑#򾀔3燄V f'(F]YP#-=lӵ3ګ\>~8)6Q-ј%nJf߼]7gYZ0c435d5ba426f4b05fab595c7c429ff2382923b6 17b9a1585aef604e28786415ac55e6599bc1f806 28d1c39a1cbd82a6fc8b4ad6eb4144240e34a08e 2f49a5e95a6a1245cc174d0e9e127b870dba15a7 6182ab98501d24aa7defd95defafa2bdfd4efbd2 8ccdec289ba1954efb6d0640b571fc84972bba8c aab851782d89b2b8383eebdd733d565243178f66 bc6897bdd7e69f249b77020cd0b45dc4f1020acd d393525e1be57ba7e4fcdb8542b6c98a441120a9 ed3710f39610adde0748ee8f641fbb4ecd7a1f4b80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65 a457760b79716ec11200989778828fac25d60f84 bc5ce755abf72ec718b65558192578e5cc9034b7