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 lT w/ RefinementReactive:threads=2elapsed=16.171cpu=21.732gc=0.460factor=1.347zXZִF! $0]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1Kl1+_&dCGTUmzoΪJJ^9KRec.~1sur_)Z.^MA (|+eNFOXbxMɸouqd4\(Z#Ī϶".nr2V2{a1}tkxtǦ07fWZ<߽ kd`~zVX"T׬nۭ?GPHWC95,gYZ7zXZִF! V]ŗXi%6p67FLלѷjE7`%!%6%o=ǩf[~Bّ&xBp;˯kW .<>O4C9oS&XsGCNr#yz,<{ێj"t++l+6f}@N6eb֍ͣr57ZZkb]\">༻Zv^Oj ]E2Vrh *2+X !BU3鄄IKɈ8cixU@+0)?˕1IpS_,яy*f Uf-'U=lBPI{ ߮4)D꾕 dEtmrBugB选sqFɎD ]ݳ/E3*m>_˄ 1<F<'_%lvVP^s\֡-q`dxK\ |i9U7/`4jXe"Qpm&&cKZh%ݛ&9Ę%)1%6>- i)E:1HJ0D+ z%>Si6Oo*\#֭"'[H2X+뽇 35N70T#\ 1̜*cHx39 zU tѪ $ͩ`>eky(7ؼ4#5 a0DXavgwb(:X3f{2.T6TPf\@_cRRI⻆K7/YH^ws԰RѤmu(*tٶIGa{LSV3L}2sH; z†X|cuTd嗩H8<۰ZR!K IFc]oYu dA5iIN"; ѽ荒W~{uѴ zcɹ"Ќ<@زǀ/(xTrO-\ $4 o4Q+u 6$RRDm1 &i 򍒑_ޱ/'R:6-WfGrltG’Z/MqbC=t5ѪG׭w¢Tc\M{~HY حJCgYZ347276447590516fee87c0f41108333baf771c2a 58f76d71ec2fefdb1733f95fd7bb36657f14af6f 5992cf726bac5c9b83ff1c417799f4b78da1750b 6989f07b16caa4f39918e88a6cfe5fb8798003c0 8b0988cde88c9984f3c8daed89d847192ded41a1 d7494d4b5dc1424c0e06f4fd206de3b84c5d84e0e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 1 RefinementReactive