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 }+ , / Strong_Security:threads=2elapsed=21.931cpu=38.876gc=1.060factor=1.777zXZִF! }]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸&j٢ Y+eufC.S4xd0Jp ZO~hPϲ]W&+P=7:IN7_p;gPw궾^FBnA Y; G##?$Z;6,j="( {ddnRp=<y\bz/X͂%$i]|lȁe! wa~meYq f_` Ŕ30ȀrvKcIT%hGvAYBy`'O&7]--yWrZ#J4}JmƮ۪Akm ATY)(,U,KYaWYG7DL8j%PEAA\('2KgYZ7zXZִF! p]ŗXi%}ϓƑ75&aoBCHʖ؂/I9'Mbt@)䘸;: 4s  tV0#&2F{ 5Ϊ%@ݕN/a|X#lǿ=O[O2[R1S釹0j %F oM8O/dpNH(.QfeϷi9X>,ORpipO5Qh~2qک*cLPofO.f ]>4Y1 nրAm#U1q2j+,Voz yjYa;lH19vM~=lOü܄-: w~If|f9@1v }{L-`{ t R|<*+LJ Wh(!9yH3ېtرTg)AǏPAV/NJ1Ĭ˪IгrV_gaŏl9%Ĺ,]B3}_aIoQ˖R )yzZUs%9գ两,c b'jmѐgy$Wl;m:DDa0f@xcBM î@gh<ɚhVfP򉊳 NVu iA(?#g筳. u)[4t, u(a[6dlH2MI7i * dzv{ n_11㟰GŒ5°2d=+p{[6 ؎:-dzQ)Fk 7]i+Y? N{^< ?-DsZ|19H* 6l1(#Q KS̤@fxIfq} CHބ A9csu|eS5 ˀXj}e8'.h& bGX&d gP< _hG%bV S]31v6fG~ oJP83G.||8ӥB)Ї֜@vׁe/%xzׄxSyHw ++n$ubϖ9q~8?$g;߆8 @} 0npDBjmH llS+rD nj>ItA sKG=ff!rd2UY$V $1|bCj33%wVPNO¡Us%/A n&\Wouvx<@ԁzoYuY #pجX%9?ďmsupjy >b^'37ʩ=mNYFYf{]*-["6ZNVkLԹY5Qڥy\ު U@gYZ0c336b7303b23ce3ad8facba97d005511031fa79 15924b568e68d47d75dab652d7d2734edb365b59 15b72db6bff1fe99a2964d3636f1f03456d23aef 1820d13b921d8ec17a3fca161bb61e7079ecb8bc 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 47b0123bf73b955de525edae01f2a8c83434c792 5855c11fb47d4644a3eb1661268515118b384fd2 611b23318350c2753620589e42d5676a8ab4fd71 7453cdc101d0a2a99a53e606d88f21d8b3a62391 a20370c8393d39ab3c57febc38a4519af54dfcec aa28aaae513cde6d47a7f4f0509b1328c1e7daae b72a4ffb8ca19f4d8b8d763ce281d69c8af989ca b99b9da9c4cf3add66cb4c0fe7eefd6bfd36c755 d473271404ff7d7a79a798df8c25f1e1ac2d16960ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f + Strong_Security