SQLite format 3@ . YYQ77Atableisabelle_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, "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  : :CC |D ]I Comparison_Sort_Lower_Bound:threads=2elapsed=8.302cpu=14.156gc=0.416factor=1.717zXZִF! @6]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀MvG_ny{m$EC-1HFO=y~Wz?$ݯuY1p1SoxjZg7i j5hΛAՐ".?[*}A}M6˴T񵆆 r4ʿ豬okl W!cSxGNoeяza3TZLf)i@{iL`k] "gYZ7zXZִF! 1+[]ŗXi%6o. of7z€S$[WEUШ|gawcf6_!~3`(6ZlD#@AsB y񎊰?[ga{Bfws$M!ѠCc|udЯKjۜ$|mQc儽_d!v|ŹZe ӭ1ChYd!lSM!iS0;9Kc׳*,<`$:^Nt/jl;ִ-ݲ"dI=!DxīM1`rav^n}0I=o[ӭ6_z1߈qmjm9(C;sll2v˶<^FyW=~6_)#|Yy$FyfmEmeP޹l95R|"{!l~ѯ0O\zCpՖ^^lwtMe;eU" Y *l;hZc_,Y5Dc~a@f2f* 5g󒦞љ.y-RE5xJDAMlH. UnEg&"PV_%{(F`NKNf31%0h <~~ $+6*}Yª>^e IO.5-eZjU(iDj~ aH Z9w#y8^o%V9S`sѦ?|LwWEL\@` F a[nnMkz&g| d O"O-m,.;k0:We6b3#:Jb/lgYZ1bb6609755fee29e28488ffb6dd2a24a0ba1de47e003033e0a1df248159cfae37f3521344e99dff4 e58c0b53d135d2468d83139943d3835239d94d2e 59bedaa090758dadb6cf61e44de79f384afda49e a74f7609bfd67dbd153c851e2bb135000e159cbf 747e333270518ce60c15dc34844eeecc95a83f48 a99df7ae6abac2ae8999216dfb46d1b4862641fa 92339aab51ad8527f8ee55492e3505032c671315 C Comparison_Sort_Lower_Bound