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 f  l ]/]HOL-Word:threads=2elapsed=24.281cpu=46.596gc=2.112factor=1.927zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?zVqxO4٬{ ֚^zqxklU+Xwś:D0MZ (\\/UK;(6˥Mw"sl dWM֓ 3 mj<8_Njr7QA핢qLH 2ܷu7I?<:nckP|9rna9l ;<#䞷yn? 5Eto3Vt+D[׫"Qcщ269VH}a18Gt :eBau!Kx(n.U8*%uB@~_c塣i S)hytpKA5=wԁBEn*X3D98.OCZsμ ܨ+/߲H D ֧wsG|۠k kVr'  {[-s`X/RXqj{]lmpBյJM^МDVt!R%YJ<&DbU;#e+0U{ؤ-_ز8e@'l䀹iχm6()%ưgYZ7zXZִF! ?]ŗXiɟ1˦r8v@Wl"`&BaF$Zk@RS-zEa$x(YLYF9T)pWdHes&jy7~ynvx@,p]IKf.jcG%–l*JEZ߶kY濻eķB1kzGYDv3/K0^҇;+BnXeD?GF5(J }>5؜iT6p~u%Y-Kp:xX(aTF%JܛK4Yf7LzytZyd-h]:Jy1^䲃*'Fɫ͏jԭvb1ݨkj^;~+(J hu9 QƄ ƼӐWD#SRupᒵ+rvjZE D I7f ĂjlyJ["޲YyFEf~v# Fd.):t6&͉UfGQ'>>?z%wrLCQt_}gY %8LZJqhUB Me^-1$'AZ&Fb}jt!]ŕx&8Bm碉ֆ_Lكrv'Dd ! ·f$IW;)3l)<"iނTK6/L8_E/^G|@o^%'I<֦;ۅ?zb&fMFq[N}ΪX7]\ٔ!>Pw_.&k?ixx W՛oG9aVӍMHFoB0A\.J đ6hBzHlȍWW#Hx+>W>LVd'XIgݦW%/پ,*n[/WH_ `1S7hKGC?aFhvWi",w'O07вݴ}Sm+r)p ?q&EgRQtOQղdY hߪѥ2Zh [Z쭨H y(60zI7U7cӂ+fuu|q6:zsÈ/i璌9n%w<·)1@dFP#+z#݆|X,@E G4T/% Q_X.l&0tB>U-o}\QqrGEYUXJyY8d7̠BkIoV%Бc70ge~N-MvtdKEV~4k˂VA}_7. 9/6M Ⱥ{!>27.0uUHu*ag/EwIžs|1*m^N +2_,ftWfb( ,+,#{K|ߘߛ=RóhK@$~){5b*BrKv@8WvKr֌?6gCo=HVh^+}EuSc<1HݥU|k[Mf2WW4EaJ8ˢEeҐ{X1( tJDP6فhP^WU:AAk'(9ؖ'sѴ;;1j)g ;I$&YzSg_]s!\A3VmyV#+NyϺvHY`TH(Io'M:'?;ߛ7\hd̔n 1N4OBwɎN3OP-ID]O<6hr: