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 ::7C T I% Comparison_Sort_Lower_Bound:threads=2elapsed=9.039cpu=15.816gc=0.396factor=1.757zXZִF! Cc]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p`:_D p0r[{:GJe0Igjy,GGu@d^r攟3R1:+FA_uA`mmBq1vh6!}%gۿJn0sn)+ϚɇA |-cak dD#菩‡晿8ȸu\ܑ7E>N%GwǍ*HBϤnq @e\Y3Y-3,ݒPy=OHEW^3;\J7\!-A`_7raO ϱɃbg[m>-:c0T0&7u!8:t`3K*.V0>0Y{55[ע폾vu? L@9fAs'Zɼ.j9tzg'__YVb9ґHnn=4МX*I 82s/g͐4m]P=*3Wn_M8gcI,l1J]o8D_v/LXvRƷ6߰aΘ7H]l{"A#Vv*f+l+I߿.wZzo7ݬL]ïH/GmW'GX\G~ C Comparison_Sort_Lower_Bound{cN o6Gn܁`0T n?+$78F \l3mz,1gnxfCPbq! wsWMOtO*·hH<f f>vK] z4O~zʕ~Ūu1>z3s\,v*h{Kp$&RPd\Mْq^Qc4DP#kaN넗'q'l[=3>"guPE Vu/ᐃb| ^+ D=I*[;1&F( MWt߫x}_OiJjXrc,$VXii *8Af8N1`K={uoI ٤q?5m#,C̈07jiL6l Y/i~<~ȍ##%^lҧt7rMV6k{ܒNh>%t ,yئsʇ/ARJ_oT&5"X6JG'}mv(Pﻛ!/xFJY/xgbYgYZ001c942e96601ec3cafb3353318b24d63d21ad27 3828cb9b0150cc80164976109fa8b4fdc453c9bc 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7ffc5ba9164a5135c8a774215c31f31768f1b221 9b6affb3d8b7d65bf9ce5de2a6c590f279758e5f b1ef7a3ec85404c96c4b02989c93710eb0f9d363878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 53c8bd6cd9b4e6659e7c8d26458e89775080e70f bb9ff7587ab10e11055ceb410da95336edaa5ea7 0c2ceec5f61d6c4922d319d4af83d515743fa260