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 Dt ] HOL-Imperative_HOL:threads=6elapsed=43.039cpu=62.300gc=1.716factor=1.457zXZִF! 07]ŗXf1-q恈1$1|-~yߢ" w7Eh % .pICgf]7l44S!+BDm0 ߅OI!mRî6[M֒Ӓ ×XyVu[sb;e_<9sU06>4B^ڶ/! ԯK/S9WR[?(U~+"="u= b;ޖ~084>0qDlx8`tPfD섾>> W '^t:aMUzU4(p{G(^J ( 1 HOL-Imperative_HOLu_1aj<Wx˶F#l ulb=p?pV>$~pI$ćTI/2rNjIX fO8ӣ(Yw<"dӒ3sU` QKq0wb㕭"ąۂ 7 @ Hhxи.X 0=o94ṽuI6Ù>4}1"O[J)]I )k (&O ZXTG|M3U'2gXs[+"XWTV6Cp4fdo']wG z%[*ْ\ ̃e_!Kr b;u*u}eo|OL:]A=q  ߣvnmc7m<\#ңƤϴ4+UiL xUf_L3 ݏHe[1fi5cAC'оaPS=%DlD+f@-hin槷PlWT5TiLc<\^k^ [6%f'&2bi4oRY `]լ0:=uNzUfI/a&Ӿ}gԧZEdkADmRySv:j[`vi9v.(wVµe/FwEKi6jyJ({T-4>Ppw!p+%N$ړA,i-ަ =j/TV]ݕ?2\*f*2ܣܫR(m `ǒgYZ7zXZִF! B]ŗXiɟ1nhЦx"n_8N]( eOtd>mIkF7O`3C] 5U4hbg/?FsGF"+$GWv`^9rH;2YX@Wf?8Enq{ѵ!2vQ!JYwQUӎfv/$-[`V6rO{uWg*e|PE\38I>2pi#=®b25Nw)Se+f{Џf׎2ASrHQ(B|v+xe,ksT uۿeH)rj"]$g?TY{TU`ɅSwZ*Ӣ f~kǵoah 0XNGlƀ]ize%x- ?чڛ0șIS}DW /?Z [EkuŘK6.XLvé\x,NR]fRAFU]>QXf5MC͛ ,]COv–2:EmpWI$QBnC569B{4u@djCW x2ɇ3D[ˡsrl(]-=xڍRcPef;Na\ ubC@lFyźN,[0 ”^‘W\8` sS$x͜vH.U!J=2u ?v!A]yϣKTzl<9xG!.R j;nh%}/@ E,M1*' 1WX"k%ʾA qVdz=G r]qRdW>$̣V9UQ Tku'Ou\ NmBL-}F{ JwXI1&1QUg[gd1 zV{,}?&s.6(qA@H[%bOi $L˅ہqC}k_jAl4}h8H1Σ '_EFa SV,or5LA@\gJl%Nsob-Bo6A| vOr!A9fJMi&[ކCLYo&,u  p]cv>DݱQu%뮋@8; (0 dt%u>];Zd,IN?0@aYM X16~.03zŏAt)`$™:'(ѼXbF$ǭZF0TT<pE3h/ɒ(t=v'e1$#lP/WvsA簎W`b`Ox?F֏v%;Bކ .-@!)ա!piJ~ BUz~ Fy@[{