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 ,,Q+ D / Strong_Security:threads=2elapsed=21.736cpu=39.052gc=1.272factor=1.807zXZִF! s]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸MJ-GNU=j[PehPhUV!D1etW+2 8yz̡U˕7`e8Ѽ<]f'Օnֻ0صy?@3}! 8 x)Z=?P?}gx=(=2$AmJ!)wTVNqFW QdUJ}hx fh_h jY߀^lc~;-iPJ]$`;IRJTsͦ܈|*eΌPb!F/WlbmЅyjE2 Q[2zSYw0V7Uo%C"NV_<|>t[,ɕNdB#R3e."ڥyVS.Z\[XmƄ!h 9Q ߓ;IcQ)4du'"[pv P/7ExS)-T@PJJ]ܿhwJSexR#@0 v\Rr8g>b##ܢzq&OgYZ7zXZִF! n]ŗXi%6ha?z$dh`>&B8b3:뾅=tap۳81%RO>տwa # n83=[..ͷ=bs#r͂|K޿L^J;c6_ffQS Ճ1sZOߵ/MJ;a&0Bτ'!z}J{soق8CgfŇ[sdWGx}('pе8e(ϓ^+Zs:0cq -$s,A ÈR'I޲!E X>m7aAi)kA@YB# 2&-ڐxN_cxC0TK`?c0T\C΄ =Yd@eaґG-GKЀ zCM؁,+G۱tU6Hc9?0E%{=ӣ 1 ElO>l!aw@.m`^׸Ʀ>KA@'vyfZTWY]aغlq$|bQN>aOMl qܼt2ԶDHXiWe77F ޴pgYZ0c336b7303b23ce3ad8facba97d005511031fa79 15924b568e68d47d75dab652d7d2734edb365b59 15b72db6bff1fe99a2964d3636f1f03456d23aef 1820d13b921d8ec17a3fca161bb61e7079ecb8bc 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 47b0123bf73b955de525edae01f2a8c83434c792 5855c11fb47d4644a3eb1661268515118b384fd2 611b23318350c2753620589e42d5676a8ab4fd71 7453cdc101d0a2a99a53e606d88f21d8b3a62391 a20370c8393d39ab3c57febc38a4519af54dfcec aa28aaae513cde6d47a7f4f0509b1328c1e7daae b72a4ffb8ca19f4d8b8d763ce281d69c8af989ca b99b9da9c4cf3add66cb4c0fe7eefd6bfd36c755 d473271404ff7d7a79a798df8c25f1e1ac2d1696e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb + Strong_Security