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 9) |<\ ] HOL-TLA-Memory:threads=2elapsed=15.147cpu=26.580gc=0.820factor=1.757zXZִF! 5]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋEסQG "־"hvjٮ?^>lStO2Р;:+zc+yeu2w|y'f-| t#8Y3emv 'VQU<t7rȆs(idB̤$ l^>2k=Ao %֗@ o>86hץ["ToJжl؍IaI@"5Tt.jﳌQ oFB_E|u++ _tK%' /ºoMb2 4_ުhRRHFR`S/{kp\4' MjoFB!綊--JH¿Bd\&^ER%◼{wyf)B?W\= CYJ+GZZ.>:rYoߐ9+lgYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKWyf#-EZ`21J_ƣ|yXƠ)aI:eܨlI8M֩1!5*Wg2/t4LN~I\9njsolC*3!ќ;;7^_^8keGr|N횅*__w{:|ۻ+RM -gYZ7zXZִF! F^g]ŗXi%9*WڭE-*LxŴ\c4_Qk;e+.t79p+N[-1]i_l8ZMӏt ljF&$`xeZ@u~|zδy52JǜnQEgZ [;!'&*S x_[Qt`,#(2Ck%~Aҵ ^HSkʹJ ppY2M~ʭ[@emŘa瓨6,ռt"jU$5vSMZ^~L~u",#Up7L!Xyp3YEVY&/2 kXS~7ݖ =OH ҺI3L M gD#Q | PO᪃$yץ5AX4y2>~p\y՛o^{&u,Ųƭ"Q#$rNqȁ*HL+huet)5@Q+f/QM,ycNe^".~zT1g_Թ`p@jݙ<7]ƳZ?5>K #j=0+൉%!0q\Lp.0e~s9S:ۻue1mRis$ul%OI"xZZݛ{7hsg4eƿh+Ԕ7LRBwvƯ' &m*.Ub22Ԣ .k=j8i0+3xM,gdUm'D/~_awlA*3]"n;'BpRTLf((Y7oă-6pȊ2̦" P]Jxŵgv\kíƣhT`[RYa_:x[_@s#8Q9+ ߌbٱgYZ45ff5db8ad151438302758125e834a77c040002eb5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 3f51c256de398497c0a029aea0c5afb8db4bb3f5 ) HOL-TLA-Memory