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   X-LT ]% AutoFocus-Stream:threads=2elapsed=68.618cpu=119.620gc=1.968factor=1.747zXZִF! [+_]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2)Z@ldc6?i,pHVPXB$ =( fxDL t4O?ɄH8$k͕߲f .)$lhqDG{HH Ds睷6 ݧ<pxA:O 7a.E7x#)Ų6Bwš@F/_Hzq>#x6y~CBJX]Y),;EwLc/&ߛ 4CA-Up?l<ؑ,ojvZ~P"_tjDsw`4TgSj9K֌UM(!~;'l!0LuW;6]tbQ|6v DuߔŜKFRoўy=6M},D RC˟}*)hlnYWSDKi\iÅbR) y\Po 7]i{:GD*L8Ϗ`۴(Ή6gi({M9WÍc:1}V185P2yXt-yP_LPͱ·>l`8R( L"[΃ۡ}i8`:~cy9Mp<cBN9<,iZ(H~JfR0Mt5lGn)ɶitI1SKDtO;mdD~J>ru8 u_|yt&r*$YN)`n} hˊVZu4uKQ ro R88u`n4LP|F,<#?^!NĒ ݻRjƥex7YrrƁVAMlDsLj(t`!BIMDy q9CBts (,<% DkŜ\3;ZuضM%Ec Bn^8`yF - AutoFocus-StreamlWs Wy8SL9Zq!yzEݔeٟ d^\6 )C`1#mWX-ƟCeVoƽ8 ݼE;&j "Zf0I w!OsXzFC?M7iY7.~Z5zD0Z L;Qp=eB3ž8\sbHm,2r{-zn#r45phMXf8ZA:[ĭm XŅgYZ7zXZִF! Q ]ŗXi%60mc`Y^CFۈ; Sy=q6G$)cGܡz ܦ,uFyc^CSlJ \(bZTa\eRo2? gps\)` 1LC&NMImxg ,ylC#r!j%hugv-A{WF1CG ,Jܽvz/$]csm2I>N=P ;RWйt_KzT۔{(a9=-r"LP1TPMjӈNܶX, wEihO5YOa~TBZ3+3;c?Ŵf% _ @SE( 4o- @*:vPGάYzyI ܌4Un{G"U+0}\tg(RwS\-űp{J>vzyOӠ1Ep].K!#VdjBE_ڃ@#@C^l_$( hn?|n}ZUͪ cˆ^ h9o U.&eKKs˔9Am\vo䍎:]fJ %ok{0ԫ8zU7ĆX\YZC?8v Ó&KƼu3EC!l+' ќ$W@]e DQPep@|'w.$ cs yG0Y@r޻ORD%w-ʵouMɻ5*F .#x{z@blT5^%taWZ$4B6N̐qV_Sҥ1fϹ@as& ^C9 vׅo♲$}FUc[\)hKN`j & r0d SQ}/#|%ߺ$  ؀S fS()3mTIT>ŕ]EK7w` ![*HC8!ǖ򔬒וAwu̝3Fh#}VqJp3x8 4ٮu+-3\,I*)ߓ7vfҍDk *rS _MT<`d-S/jJtge)̆$U} ͜8ҠD7diz/>_'=LR{ Ms#;~u_sS*e؞aHBX^g&ǥrXiϢc`+ϩPpdy^- qGN@?*'vGPd@ĴE&דSώXz eTBr|S4\)rWԇ-`\T$u Jׁd&gNQ Y f&@ d}Op73OU#1̼Ǖh"j D)ag];f,˜5H,౷e+oAuGj,MCI 6\b1"5'uczƎ? c>+6z2U;dž^+eAyI໾#K ϭa׏F\ Ra̚!R^ݖK2[𪂁RŊ7_?Ȅ}9)Jp;i:}Ip&t²zpH%;ͼˊVSJ$pxbk g zBHbe1Q" ul&<3 )W+D7C D )5|{TAזYխYVhxUs,D Qo OØD]**d:jo!fաXx뤍?srKp(/Guga.ȼ<\KE%7Tˏ{zͺM6D40l쯸Jz@&$ u!]Qg(7|"JwL:YU* kVmD(L~1{1yOG~bAD9ڻQ[SO㳵nPtg=whh ^_[ˋ݁^2+<_S() &Qe8K/$X%1Bwh B/oN`(~HR9B[R@!ڏ +FV/\dm_*{9KgYZc68a881068151bcf350a02b627d68b2b28659764e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 403e742c7d659c5fa734ba90ee2b5d2d079cca94 11f36a5988341f6e7300a4165fda063c3f2048d4