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 RR+- <$ ] HOL-SET_Protocol:threads=6elapsed=20.702cpu=83.092gc=2.164factor=4.017zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3U"3FgHe@u ՆJƻL Qy"lUkߥ|':ўvTC|%MԊl|:zyY.ӋgV{Č D$/>SPzGWKg.A-;U4ȍ 8?ھ!/{>,U{n A0pOC6˾*Py8;PRT?ےQ s+2qByXD zF Gw{W a[馏1r(NU=//jީUm3׏}v׎_!pQ{9jCWt*`U+!{^v+,+eX`44P VU-/yRe/ BwB4VhR 8 g(K@*d+g!,.Qib d[ꎱx pSL?'>Dp4dQ\zgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxx,/>,`4ZxR9Kkʌb^K:21g)xo=H^͗p4R7Z6OȁbTԭ$s7:҅|EwPοa E92$xwzTsG`RA3f0wzԓN] ~5>,gYZ7zXZִF! `J]ŗXi%lMCɣ%K,O&W!R q?xE7$hcw"jY F  ؛3Mj" $ܹt.@\vQ`{ 8/52oRxh_cxL6 b }֩@9>q |'зo𹷕Rh<^'%N€}Z4 ۸Dvz2&󁯨*͵73M5]tp6qFcX0 aR] %w ̏~fB-uH B+T+:aC: A>D,[&gqWwm-yV.*-"EҊ~8P(8\w,?έp1rm6"g*P7^1Z<֐QcƈqI2vu\< /dTi?}^$$CdZ%D0kxE6Ϯ1;0x{gmBYpM,]|WU?Qy lpJRMHtL9ZׄXgʣ's,4>m;: W0ļ`F>p Y:ddG*O5UkD0!5IYn~ }8x֙1 .Xk ⺠Tsb<, ɂ0s5bQ^k'7,i/[n_.r/(:i)b aYTvM>525;T^y-|̝ 85eVR8'E`{?̋ ~涡i}&Ƽy薒b0HMLoġ[;Qfb%s%tG'n.VwUvENEӭRQecʸқb3# *شRa h\Urrؾhʾћoe+HzgǞ{HUbm/Šo>>.*ާf S FEpk^4/ ImuXG ٣cԟ׊<-.K'$XrxXr{Yjd{ݳՐzLavV9Gr~5[a~Ў'Yx/R3`1=|C;7r"DŽ\8@}ߏy|wvLls@,/ drSvV"v/.ޮzGwD4^(1YJcIةDzpzFǻQ;1K8u<j a3!*˄9֍_UsʞZ#Ii9lH~G,A