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 ::C Dt ]/]HOLCF:threads=6elapsed=11.831cpu=34.756gc=1.844factor=2.947zXZִF! ;]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^fd8Hq#o7÷z@l,%# %=y ??P3}|v+G$k&U uK?gv*J4=$}FNTQQޛPCUCzI^zZ9qj&|,G.9cvϐ @I!qQQMP 3_#v/BggZl0H-Tid\q(,}5 n'\@ϺEzU?|Q.;ɪKOPÚTf"%d v+В&x#COHC~%f{/qµ*K C’L`AQ>n(Ԧ \1+cL~b?v'OׄkÓ>Pb1vZK)*VPYF -oZklvFT!#; ۭǒ@CCUMFz|+G~x݂cJaѢmD+v˸qTk X4gc=H6]t q]qZC}*ݍeӋ%|j2ȭP*"+%gYZ7zXZִF! []ŗXiɟ>Ӈɇ9S2]tNPq 5售 G12y*JAǞx*᪔1TQQ1X! A00 e] Ѵ$lțt.M|8MaՆ]lr4k2͙ɓpf7yx8|@ ? 6`(r=asJ jYQ@TkA7^3.INPUx9s}np` *?ij _7>Gmqp~0*1o/ 겣Zr/8ŗLd̞*@c{;x6Jmts}A!NyV3t& 2^n^լ:aۙ[6"v+(-ݘ1)zѠ,YǤ֋p2ZxJG/6ݍ|{r+& ˑFA:0K}QAv)bJm3~pڴOpb~d1|b#yߝoT>"N|RVEfYU,ĐhޡYUMx-/,l[ O`m77 3!X[w#-Mgw*p=0=s1qv 3F)3*4b%sqV' po.nDҎ]aI$XE(VDgz"걜lδ;@"j@^g젺5/-"شh>A!*DK Sa&Tݙs ~ܵ) ~H[ %CI/58^8qI? uw`97+5@Mv"$q2$gYZ0bd1d9dc252ca02a8caf2603ffe33c34dc87df5d0d46e8014914da4e1c47dfabe60e74a66f8c0804 3c595614c5a7dd95ed6bb1c41dbdcbae6cc56fd2c6dd2978714534c3172e4bc213d104194cd59336  HOLCF