SQLite format 3@ . BBh77otableisabelle_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 @@= l$ ]/]HOL-Word:threads=6elapsed=9.160cpu=41.620gc=1.604factor=4.547zXZִF! p]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?zAde?i־Wj:񘾠 ;鴿6s[ RlۊqfVD+_OqNm5 D\^4Ӿ^r)I?rvx6pQ!tvpJ㶡.mrD Z+s:zulcfH$J.=0RqKpsMaV)0_ $FqܝM7<KEBe OvTH?w݉]"5Lϗ$b7f-`7p`g)#[DXIb3N]5oO+I$A!H9pɪ9 SL.ܿ[).Xϰtnj/pȖ=|7 5}:dS2Sm~ߧF~0WKpGr+H>Wpֳ:,uG7]hҩ!ʃHgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.AXyh^3o݆SԿIuIlF| $QG|l*7!iK`A'-eʴS B 4lC_kB1M41eml|:y"a1aw!,pa=Ws/`ʷg㭩QpNsF=_E S0zg /5]Iގ-V)x|Gה^FW9Hq_#4~<)dOV ܿ X}Wb%b8c&Ю<4;~uxHyѝ)?_t4fHk{$H-jTQzVt ^V` gYZ7zXZִF! ,]ŗXi%9,n"qi Owq=`m#X+vlD7<֥3{ !@\Z&aC4kƀ/':7;:=:?n҉nUYEF>pKJvķKsiB3Se&Wͯ4_,V3>cU: 6X~E+ C#yg: Y+߮ܝ%]??U~ ^ѣTorgi2BmW CLf?_4 Lр#/.Uo{'yeC5&Smg- bj(tnp~[eh3a&U`-y*_n3zX"8{@ݒ#qꂠ9I&9e$ & X@ێbՏ\[o6ֻlJ',;@a 7E<&iIỎ=3< ;#Tp0}_IuӔ9FL *#rS ۦ}cdpm%oGq['g}-J {XY{-~| ̓ js͟`l-1/,l_e7I>%2-o0BAcCK?T= xJ `v&hO^kA H8 piPW!P{'Y}qgYZ0c01ffa9091f2e0f33ab13c328f8fb1a91e63678144fbd49de05d756fe9e2e19f640fdb8a712f8dc a414a4ff183b67646c55f7bc60a981cbc1fc30c5c933e223a0efe38306dd121565056a5d0e548e51   HOL-Word