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  - 4k"Jxvzy);52O"$A7-vJ9f/NKMܫJo8 M!؛jntJ ɒͮ?~62ѐc" zI*K{/$2vQ356^S:8I-@g?ysI{?9%?m荡eC)V`eY1u_הGG ^_HS5Zң.ձ w\ĦC?Bbqwul "4U(\͝!N .= k%OMVM,[˙ @V}3o{+1l[T%LuC]6梤 oZmCf7|Kw`&Q ֥˽\$j`|Z h?HODsNw^ =+'̅Lt\s*"Ky :a =1c }U‰GUz5D 2S{ߪsuc6hz#F9.qW(j%9F Bk<0+>|+o{2K">d<⪵yCIl@Vnz0RB$:jmBJ'rR9e]ݮ"BSnu), hm̉݁ēh>Uha2Շ{Dղ_{2c>nv+iDz׍MgX#UzfwhPs-tD/ WHOG/@;=_,C̘/W  %qm-K,Z}R~)VMR>|Lo|.ʢUM0(v!³ xTh6Q2iΜ4KDm sr B24]GL7q3<&Yqx) c pŲK271:2Z`i!g%NDb26hr3,^\5u̹ Q( &%}Ë )ހ h)Z%jU( 'q \{H01F`R'Yt&"'jWB%Y,wȃq Ҩ!O3?Lyyа %5L;kzOHˢخfnlDݲS@0ࠐF yU68e~F2ImUHT#֏_)( PPAYIDˮ_( ôS8R^qͩFEWt"r:j_հ+ 5%ǕGt'8yX#_bSmlFF TǬmypB6)DE$}Rk:mR[SRsDTAQGgu[5;[tIDUㅬ `qexVu-HDxe>faJ55fFH%/Ȭ2bzW̝0\ ΚH2 2|^wcL MX,<7FN53TۣQ!GQmdSvľZ"y8Wly{oq/qUbݦ^>Tq?G:n;S)&ҎJW&͸9\+XButY,f@̸S#;Z_20h__O'CY IъlK=y_#e8_"$z: Ձٸ=!8]PXP=btAzJ&ZP,o@gw ,FUFI JʻH1k a `vLsI,kH;Ї8TPGTƲ'KRVeқ`jhAb#|T-E YXһE펾}R,[0SƸ}+r_1LI|U,*.'γ&/ȍ>cih|U&%.5|9aJ]i9MU_[gYZb3b8eed5c60a0c3b41e3118fd7cbc4e1873b2892b3385753884b26aaa722d60ff4b4d3face84cc7b 02558fe24890e2aec0fd161c9c474ecab0a8f955 07f83328c31812c504ab3445805e724c3f0afc25 - HOL-SET_Protocol