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 T)  ]S]HOLCF-Nominal2:threads=2elapsed=17.368cpu=32.264gc=1.528factor=1.867zXZִF! ]ŗXf1-/6vRZZ,}ūG5m&:M+Ӫ[F0Y'X p~`_RAZa7%xED_PhA(Ŋm3 öQ5l..H|Gԛt<!H -Ҙ2>TdŊ:bWypq!9%иA~QsL}5T_)|AkMTdP.<#ёCB30ɓP "s gv)l|2$Nlq]m l Τ& {3C7^aЫ!X|&<Ȯ`Dw~r`r@I$(FFeu>C{"+/u` 7 5Y xkӁb^C&l]^WלۅbF8Ty"VF ؆NlߘP#/vfc ;nNFiqOqsg "bm|Ҙ#!]Rh@Gvy%܎;h)a=]F;<Wl0ZJvfnf Szpx ͊xG9vd##L$VLMWxv<2 &ĸ gYZ7zXZִF! O]ŗXi%6?3Կ0@@lm_NKzGjc #u"2 WPGեFړ-lIRkpvӹOv>'{wޗ {Z/TNC]: ӛLzMEryVj>h+CBSD|Ei:RV~ zbX1Àq#‡:XRG4R$x'5lS#?<唨FJ:_~Ņ; 0u@Vs4.d(Qi6IRK  nR !b?z ] `ڐ2Lٍ?Q# NWsmLʣ ~x=νox}j|Q5F7g&p vTmlj1:qF;\|F] G Rv$NHb\۲NŧJ|ۡ|XU=;>bmYHC ;1pj-nazɬs?!f qLMl,p"\=v1:珝P~eV"BŞ2=9!1'#`C$*>٬`g,z8@II^nWLvC G*seLjT nN~M|:\I vѺm#rWced.}jb׫זxX*4b& >U|M^meKa?osY$Y÷*YkN ɑp8dS勚 ?Z|I@m:jښe^Ƃ.eADUO#ш*Ch^B#'JT#|VE2F1*@׿n~'"po|<@ǻšYAR ӷDbOctUD P+7"<!Ž,u3"=ӴuGz3y)s;683ڨ;xaQ^DXسľzY z!JrI7x+k%̭C@AK h A=I & E6'sXZ=@@֫AoZ3풏ݜ5OP\C?a8$*d1ԲN'd)y i 1˔Q>G E]r)[MvƏ -uW7/߈@ =uR 2۱gYZ198be86beea0e89675fbabd4b4a98b310bb78516e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 2482957401095775da64799f933cd36f56916949faa51eb3ea38d3a75263307086519a3d4e498ed9 ) HOLCF-Nominal2