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  < <A5 Tt % Lower_Semicontinuous:threads=2elapsed=7.806cpu=13.936gc=0.300factor=1.797zXZִF! $]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&Fx!ȸt*94U([5͎<4֊PhW(inncK߶' {W{@$I9a9M_A (SZc w(r9c4Nﯶ/ z%P KLw4>.]'?^ԋߏ&&RUB QuC(u9c(a ~ ?ievjBk3׫{YѕB;!HkAy 9_EVP)h "r!!&_w -uSח Z`9 ?JZ>NQ9Nanw:o_hC !-ՙ;]c}"y-1_zD q M@]f0OD6]eJ3 o5S%U'sqÕmX*h`׸؊ it}O?_lchEHGnb#}8Sor~a*u1T1)l)c١|(;.!)S\M;6D%AU쀴aP*8w~j|( B#xvs2n0 aIqL{^kM"98RJW}I -qbw5 8bgV*8|M% !OorWDّF)>>6UTDphY,Cܸ^jxҼ*szskbCgYZ6d0cfcee36ecf616ad1e3d88fa3e4d09e452482c 86b65e55f934fbae00684093cf22aec3241178a0 a37c0ff6a586dc734eef0c613efe285630dd0169f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 56381e65d929be2b28a6c2758bba2a0736db6379 5 Lower_Semicontinuous