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 1 \ w/ RefinementReactive:threads=2elapsed=16.314cpu=21.924gc=0.436factor=1.347zXZִF! %(]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1Klq-΃4sBpuu%OZvȔSIqڄ?t4gx15Fd~ݜB:D}"z&?&l2>HJd~gIGdz, 3cF#RK!2Wr/3gIPL?% zѽxqZ/$kx\,[`+70mfxU>GgYZ7zXZִF! Y:]ŗXi%6uT*oy!})G[6, *uoJ/0 2]U1gUP]4N:**FQgiG0h~/ J9GPƊ`Go{U N=Pŵ́{vAwq5'FcQ rf>raWcVki;WWH.MjSh~V eèÔnzĀڢV&tF9?mqU޳ƔSxh5xO ~M#\O#.xV,DK~`#vp=~Z!9u{(:Q!G:{6m?{[=9.܌7etE2Cxi`O?N%!s@Ϻ)i"]:T٤&v9 eݬBƴch۰E"ilu;:JvV1+ɕp\b*p)f\ k ƃMik[o}eLJ@{/@ k09i)xHgّɅLG]q]{51TA] eڗcstMٙ <9vΌVM<{4\#Kp$֍6bl+݋ !\#9$-Vaׂ!݌|oQ5{ mDݪ/*FI4 )C[wਲEp`ä*Xckǭ5SP} ?9 !H 1S|&Z _Ƽr%Vi12WyڑDž%3 gYZ347276447590516fee87c0f41108333baf771c2a 58f76d71ec2fefdb1733f95fd7bb36657f14af6f 5992cf726bac5c9b83ff1c417799f4b78da1750b 6989f07b16caa4f39918e88a6cfe5fb8798003c0 8b0988cde88c9984f3c8daed89d847192ded41a1 d7494d4b5dc1424c0e06f4fd206de3b84c5d84e0e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d 1 RefinementReactive