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 y+ $< ]/ Strong_Security:threads=2elapsed=14.713cpu=27.528gc=1.020factor=1.877zXZִF! {]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸M >3YYF_Ly ebti\c?75hۮLf,YFbQh*G9R3u2H(VTLQ~|a3Ľ32O*7Me?`hڟ7ם C5PE @h>:`4lW q%%JY=rwB d_B$r30u{ZZ](\i&zı}cYWOa$=]R`8j;>`BJTNvH$?jHx{'.?Z>[{/ljSX)Dp@HoN-G> r4w!D-[O+j/՞h%׍-^_OQfF ĸ:_*c}QQ-r~׺ 1\i.=ثOkPr != ڵO7i5X Q]e _C#bD ',dgYZ7zXZִF!  ]ŗXiɟWڱIY\u-Iv*#o.(Olj,ɰJwwmk`pX R:L m\ ?Ygb( 픏r3baoxh/C/}ծTf[RܲvƽSJު +*3+*^ˤkeGAwu[%pvtw>(e;rL.6G[5LS\_eD`p^ރ_ͬ(Hz epj:ʶ?% k6s ~f8S. Zoiޑ)H WCJjSĠgwiD0$9Ө^>RuOE^Iq޼T O˛X ~VK`&'j/Ep +SNz_vu9sDAYd9oZ xcH M'ho)m<<GdYA$b>A* ]XܲƢ"r?׬5IN;6~ `%E%d8+%Uzl Bn1M=Kt9%͹\ dcxc#{ůnG`".ڌ{qT2ƒB~XSX~JEM %9/_~)Qy^DicTB#7mޟ=-˦tXlhUo1bQ'0VVyCNXy%q ٵt8}` "tN1}CE(Vd!T+Xָ=S_3VZwDnc*xܤhcBmژQؔb,Gt *[`[ -e7Oz`gg/r>MfK5ڍ "w95w;x  %gYZ0d737891c258cf562d48841c85df634f3fa015f5d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e + Strong_Security