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 o7 T\ ]/ WHATandWHERE_Security:threads=2elapsed=45.166cpu=86.468gc=2.568factor=1.917zXZִF! +]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸caJ .q&mFh€g3P4t"r"Ϻ}As qDWYXе;T!rlE".HYI7ÔoQt7BP"u$.L@ = 7 WHATandWHERE_Security/ʁ$A?4۽7TK!@Ti{'Ժ{sl-!d`BinI,>+QЍ+F|hYdpqPbkDxcwz_*$ƪ /n6 I5c˪e`,R@}d$iS_qoڻ t̗֡0siv{@-R)YSemd=QTayrFlH{N@1.1Pw [h@"FBR<=}/t5;4Yw-G,L=u64cz&zCys- x *uD|%D۬ qg@䡁;"5`MsS Ut[hS!v*FVEd('ރ&8P2#] >:K?i^(+Ԧ`0R/% uC$ktן> s?t@qyg%=%`i ҕ 2ݒ?3Vخ܌3cnPN2 -.XSM\۠iI3PV773 SOCn`}pCqBO#BN#m H%+vϏvezzV|+v |NV5# f<ʀ,v~dbj$u?ΈW_U*B7b.jRnjuL۪TzTo!F6 ᙬAp72[v Y,{Bրɿe [Ҹ /`kD՚}ppWtįwJ-}@d^|NV1aա>ͩjLKDXd|XW)iT`P+GxX{%Qr]7XDhe!voЙ ֐D8ZH@n+* Up8Yu_vFm_Piҳq)'VYץv48)d( jC:All; s@2^!KQ JZ¼ &qDz/˗&(wհˑW\OO[%h ukĩA6Z9>ȡբ9cש=.?DM%XV"꽬fe<7T>A+ ׽c,E ߱G_cˠ QWZ#v*^#;Ee6k+(q92 [&2H1e$Q1s^ )K,՛sztф,ӸaC5cX)#`PWƪ h2s{V}gR]cjQGS xA(wZx$vQγԱiãVg ,Ja+5J02PY(JS,B؅to+Ao\1D[pkkEfc{sW*tn+J+3ZF+2>׸i*e"28_52_{ox ձjUKk+eoW0v.ݣÉ)G,"8<&c52sW>Q5D Y+P+\B%o(yyl-^&4X~1 _ *u6(|3Xt0A:$?ByeMϼ+ZdYl6-ط՘zsG | 6҇ť1(;ӆ`R` [6 |nwT&}nmBTnPW<MGW]3uC6 )֌IJNlksthʼn }(?pe{5R1`{@W*|%q%IJX]1(:фGtK}:'nHs,ecG8.j ׵g˔VO&ztƻ|~ ģ5h$b 铜὎hRTXx $gB ax5oS<TbMHyK,:PC{Shr!p`ʥǐDHK.|LѴp`F㔫T/a<2OQtQӰ9F(r8S$gYZ1b84e57e293e3e0a10281082edd98172beec5d20e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc