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 01 lD ]/ RefinementReactive:threads=2elapsed=11.989cpu=16.956gc=0.424factor=1.417zXZִF! ]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1K!bJ@{=ډ{n@Gfl ,zhS 4_L1n8Ii"lp^b ö|ٻv8.?Joˣ[6iد]3ir鰴lxBMNIr6?~sn9 ,jU$K6STZǯu`1P>Kdg ߆B <ˑgYZ7zXZִF! p]ŗXiɟi%3wJ3Oуq;-~hrȲ^qW9u Vh ^r٤0| JY,Ez g\d՝꺱gYZ7zXZִF! D]ŗXi%9#qw*W8li]0vƗ"$zS@ձ|V^Zw8B2źapO~=aUe{W]PL?IR;uCgl307@<YȲl;B?H51+ov϶{ZTu۰b~?6}?h Hwt72'1 m-f;iΎ{0Pbx RCECMdRc!i?: Ǻɒ@(ˑK3AU_aV~5y{O4&A[s}T%$y]ps[;Zw+F/H0mk;^y>(T03I<䟗[G?6Rd\Px4F]ĵ;?t^<a4&@N,ؠio_f};'#~$6w" 0 ֏qwf]껲H[^̆4bq ȹJ<їiy$V&I+dYTO(9!ŕ/rU}`/./3)(1&,wOƟD)}ј8}Sg OñgZ&j<縬fS)X2d9!C-_p%7AlP(X:/Ka^RM" b I(eogYZ50793c0b70ad5ff80fe727d07f216c5f3ee4d9598ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 1 RefinementReactive