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 ' TVU2V20.3FaY\O7(Ϲ" o Nvs U-`Ԁ[kmA}}]zus֮EgyNA0Ăfe _ J*9kX\%^b2KE kE%>.|Z:$E1'8cOeY+N>I^TV;(}OU2wxjuIt$Ӕ"$R݆#+VќʗZD RgrȋH^j8-ܮ2loǁU1|j{{D 7/ Ք^*!JSJm~ lAV24dsp']ǓVQe〜cfԬ7uŸj>$ܜ}¹Rru ?'g١yO6$\ Okۯ|ڼ!4~j[/9Q[-{Wn~!  9O͸KH@=nuTOHwdκB :ԟq.SHaw( åhs :eBr&G@A[,w/:{] k;y.-iبUN'//xۆMB楗`V#3vc&#i+EgYZ7zXZִF! W]ŗXiɟ>Ӈɇ9S2]tRիiۛI%Ҿ>а)y?Cq%$!nF]?Xf)-~v0rQFማ;KW8޻o4gUqt?Y!ɰIC[ L WzW՝|[h|.E8/.DdtH$dv$7@O:E/&9Oۆ>4z^h,<ҁ+0DPI5U- F3c#g"5#%r%E Luԡ+drzG/9uGt2bI$O ,V\EL=;V>{-V@jEbZk.5gC1RRޱ`dk?)l_93%;:D ѾSxt6i?"KT]Y,YP čRq1`CЈmQ"ntή(}vPV/̡%y?_ `f ڵ%#N (l(? *qcJKH"p*Lj擲 )eW9C&FRFQ:d&bѱgYZ7zXZִF! ;3]ŗXi%;3\i̒"ƌp: ϥIzR\W D \1]Dqq”iɋ +Y0k ^{%fC,cy@)C[ӷJTdn1|V(hg^?c%)em_jq)Z5M;%%FJs!hH詋&>M΂NcfXfOp;/B̽E 6K ا.0"7P B'rS^l䨵i$xXapd}DMVSCep@mx'qlƫ0EG3I0| y^7#iSsls4;o>37D*Mi}R_؂:IܕҠir.[ř;rdg97mSTI{N [ z/+ORDꦆ681蒺33&O\5Lp[D^w7Ce *L#f_fS4P-Ѝlxmx<(~'4cWL+r}[7_S]93]9,yk@b'Bq<1p,/HDYU3rA@IpO&[ܐ8baqw϶)-k4p%g ;\OT ☂)㏔d>eG7raflgYZ867d85e1925bbbb28294088aa2ad0ba6b4ff3be760153fda7f67c400babeac5ff8410bde1cb89937 979fcfd417ee7f5d3ccae23097201bc6a61b502d1d3279ac17fa26b01bf0404becaa1064e4d73999  HOLCF