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  3 t< S Efficient-Mergesort:threads=2elapsed=11.165cpu=16.736gc=0.656factor=1.507zXZִF! *3]ŗXf1-/6vRZCV4 JpۚF։}fj.gP {{ @> ,BN]9j}}YLaWcys^{*F|jH)uhwT:r_ ԸZc 6^sYa R\GBrC8Sq;sW7>:7 nеKԚ#f6})QC,8e@,w*(sU i]FAXvb 襁E/{*ʔjwߌ`Y"oƱNܟ!}PN l>`Q^<4L*͋ 1*x M]"R̔026мJ4nAhJHG:5Y)VAr%?P[ȇ[ i/Ek^6e /6f+?bS䴿{^h*ϚCqM`b91Bv)UTzZ¹#:Ƣ_ IGyڴ[9qW6 $ Wk ]c[ 9td}(=Ρ5 iԩ} ;nPNBczm`t)#I pPH2cj Sv`N į@+|QL#w8&wl Ѳ[x{KR6!P{dZϣ*{U{ZdQr<)5k7<1ۻ^_yfM$kAl4UF&Blaf3ŏ2?Xk1̷j˪R8,fx?T0e&,k߻?^8yݪru knCKq=ո&7cSN*0ڦ!m"~"@qO Vcʶ+UCϐ`͓g'4Y^vxN~9FjN)T|yPBy_2gYZ17299d3ba8717cd4b2446b784f149c5440aa8081 2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8 338f5fc9e0a7f2ef67811da5a8179f13449066e7 994a0fccc0fa771e9040b466dda92c7b26d3507bc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da 3 Efficient-Mergesort