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 !1 lT ] HOL-Metis_Examples:threads=6elapsed=12.166cpu=50.696gc=2.876factor=4.177zXZִF! U]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓O^ e>zʂG4XA~dK34+a t#{m'gs(]^4yhÞ%[:op󅝦M)$!gM ;J^֮"urimz:]}$VocnP^vBo/:.҉Emba[8wG{U㱶[T-~2^|$Go^<2{_OZcrֳ8)'eSOJ_3 N 6q,n*[:7cUcCQk,n,J+T[w6Ev]vaav;=4Ҽ'; Ҙ_*J2+&9-7FeT#}Zs9D!ҋYu>!4g5bfEt2^  )9@wcZSGWxwC^>5o=S=$e{d6gڀH8ثXoaF[my>.414vw=wlyаEDڽ\~,9T-o zl}+*Yq\;5Tvu/@KXQm}G䰉Oy0 g(D=~/x'sHc #? ,޽I1uBlm=.gxIO5[hq](3TS-"ÿHۘ{ Dk &IY=By-w*^m' KIȧzpXT\"բR,A5%ޞLo3KPG#O-Iϊjꄈ{,H(NF+AN5e~v<qBډ>H!V Zw3 C B' C`[|MӺ͍qg XgJ`c31fA$MܙI9{]M0pT%lm(<stxoPOj]OIPov*ԍ]D\K1Z2$?3U^ R&zix|uKmu1 Aа ;Vq/šH۷ ֫!KgYZ7zXZִF! .]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMWrsztk1ulqNpAn9lաi}mcc|k+@3aM"VMz'緛ܹA*}FJ43Z&ecNW&|QShi?ؙA}1c7ll1{ 9u|KFr+N g#FH&Ll*ڕyb-ɮ,XX{Lr1R30:]3n<ى7ZkCQ/N-'>2D$gYZ7zXZִF! 8"]ŗXi%92 Y[MڌG%wʖ3Nk$ExYUWø9>D (,L'Dӫ~^Խm,y;4!V<]3̿B%"lcym[%# DkQ5lEV7V?腻b$Gw}s dmu[ep.0ZqF>Gy褋L||q<8L7r\ǘx1AĈΐnlSr?H!f}PTu@sϴ_^B m,5rQA-n 9wFDlcUqBN+>dEŴgQ$ڮk!,WeUq8 .dNjژ>( xiG [DHn >DV0*qP5I_Ti{+[lQz%__/ٞ,)b\*h@% +qc!ΏJCS0a@]UlE.T/X?o)ӓƜah`k_E6QpӗZmՄƼc_Ḱr'\Xqcnf,œ.wP\KU J&6%@6$SGpv0E:NN*ngn/|Ӳ@(*jo%Ӡq׽![\7dc / Bg jEpC_9Di<{8yTùǷL#̦ h8(g2 7Sm Ʒ/4|F~HshĹl~X֪uڣַ^f< ;d3E:HrX