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 bb l, w/ FinFun:threads=2elapsed=6.158cpu=11.472gc=0.624factor=1.867zXZִF! ?m]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6wo["_kZ"7 }"_FDnHZWZJXqA`&V2o]m*X sH{D<7o@؁=aDtuA깐,`KZrͿA\gxcwa{" ּ tU\Ǐ=W̾ڂETZB{q F l޹I3c}y.Y7OͫrQ7"'؄Տ`ENUÑ)qŮy|XOvloNo~]Yd) fnR 1xe&)NP*:ʍbY\&>Ks7Vzݿ[L{кM)#*VDT2:[*[s":JKb+BbU86$o9{1X`y>+tayF?Fo#;ǚ&5hR`$f4^Y< BlI6|kO}izmoCN;G,Ex9Z4NBg{*r_(*Om>1 YOaW$a^527Q(>TDLZd[â{[BH<,|(XƵ m=S#4胎*hčJ[}~xʰ? p S}j_΢gkZU,a3j.2-uЕꦆE5=$3; `8ۅ-o.-dիG=xԁ6}s/6ZJv>oϜ1!&-+Z"Ped_rz*nrGr=AJt>Vf9v?b/+yhDA ' XgYZ7zXZִF! ' ]ŗXi%n8dhH9LX7h5,{0}k w_Ǻ, tS(}A o06f ƅ/5R= \)VbSEmGT &xL=};t^V?ҠϽHn7Q< 7|-V6ʊ<lBR9:ӊuNQet!A2KuvI2(|esd(]2` c_j{5]ab [|Yo /O=e$+;ub z"V?T)H|P"b+и, y##wz2_^W_ c)7(<OJmI> .KgpV}Ǎ}Vqk4)me/n<Ùk;1S]R^ t3M 0uϭf{+ja62_/݆]y2w-N4C^fĢׯeE^'ѯ1R\Db9QI)rH-_nٸM%ziW ſ/37y-P٥vENe'nC-Tatj.z6~K xk|޹iz1 #7+AiÚ\ণ:c)b;%I컡tFOEgYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 76672d0ca038cc430cc1a943426e3cd5f6065cd2 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd11c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803   FinFun