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  <5\$\ ]/ HOL-Record_Benchmark:threads=6elapsed=101.722cpu=173.484gc=9.124factor=1.717zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2f5%8Wّ 6+< xgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h0!0#\q;jXcwnej]ON}YZ7zXZִF! q]ŗXi%90&O>z3..m\)i P$O |l*'+}%vZhlj߉ B91<{^^sw 4ZxkӿT)>,:@NGB748"gV7 %jsl!܊(C_mob$쟼Q냆Ӟ/RBWn"9"$v ]bPN=p??5w"e fT{N n6>Q:Ekٳydܺ*[QBXW- )۽͡\(u.lY05#B rEگW."@tu 5k`6Ź B<5":'SSw+^5q3Zvƻ6Aʘd#n A2|Q=vTLN d"?'kdYcA_$~ oS !q\TidA^Keft9@찑O kū߫hj8V 믋[77/XQW&a #.TRs3 sYc 8ՅJoP2uL`x|Iw>fՙ:+$ b}I%!Fb<dh-_ޓ"|!+]k>U[hQ-J}Bx洦A zlbS@d3|t[us]݆soSjjЛVe{|)d!MjO99@!0Wq%p$S#ZT"y-m3;pf7y *R{v.h:"ar&chb⑞1ú|-?|h*)XsbB.Nf{ q&/@A~eL72^}ifAǃy7;a"MQV.{uH&wE^^c.x$c{Dfy$s~rxaqAǡR;ѕ٥Gմ-cqHb} Q Lt>?%(64=iXOpA1x1sSIٲ__ \C&ʁb0f }M>nMpݟ`X1v)6NÅft)ЬlǸR60m4[ӹy\Γ)AO2;٧?71c"ޞe u}x0SW@V6cwB`Qc=Ooӂ .s[y}_k{ GWž PߓeX+>J57fx;X ƥïC+ M.veqU"ba.NGhO1Jsڿ۠ǼIp|'(\6_08~ieW/TGINCQ؈'?(5rL;(~CA::_ݝUP ނIEkᦄ jB߃]ڐ$lwg=&>ol`ڠ9Vo "lpf&Z'Q`KCdNXqۋFh"Rކ I*+Ϝ/*$5PKE@3* aЬqk |SPެlw+Y/[^Ӈ}z6^`AZ+}OXfGŇl{ԑKy]f]B$mv:hxߋý;|Ljew"rHs7)YsGƱLK3KkǛOz ndL}o*X|voZW^G\y@}Seh^{3)pV+zGH|ztXTZLsƞ)wFM ax>,|Gj|zﰽ׶ &V|\P6'Һl\DqmkP_: le #c9r")OgYZfbb8dd1c907f1df956f26b092383d5501d708ab9a8fd777f4c50ddd8d7e155b9b07d9218f3467fc7 02f1225c0f261de736caa9ce0f266c2606abf26f