SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
^;{ѭP C6^Do9KU_PpŌ SpB{(DaOJJN0y~#Gyɨ/Q
yHxO7hk-L[Y&*WnLQH# =#'LNyC
fjǘ08QrJ&,K\_k<h3-k`U3Ýavv0 Y
l(r\H5@e?p־ѲW܋]n-͆ {6|&i]Y*}5vR1C lLqS*^- ̅v jKi[[خy0M^TrM
QS=Z>
; HOL-Quickcheck_Examples ^Nm+L^Y1 Rc)HJ!wz
Wġ2k
=䄈e@ц8-&Ǫj+a99xA-v@#@p2!+ҐUOYh)G &IpFP! 9?%>=̑X~`nZ8 kIV2rLhꋭ %Zy|p ?Z\%wcbz
}b-@0;˪DW3\Gd`ʋ-UD.ovHI$ :< X~}4 'UÙΓjonUť 7NT@׳eRW_,-mUda0xdyď;2$q43 )B
J,)ؽPߧӴJBMp c6^W^
!a*)~@9 @pR6Ș /هTcj p}z:ͨx# W %D -m ,@\/X&r8nffI0 Bʉ34"vL8\o1u#\[PQ+)8˶S߬i e~ꀲV)1
woT8gUg8ƇN*.6(Oc`#(h)B8Wux" ޝz0 _SHtqDv5F~z)SB^l&hԟ0=+s:k+eAp(HfdWewҏyZ`Y ƾsO\Ե =&-N`SxEaW_m&H肾0%B SzcE flF'W2w+fd+멁F1$8KaZYY].+WD**50M잠GB}.WL-sv?YW
q9t+6^ACKdt- h[VPPn֡"s՚g@*@gjӉa2(3.ȕ/C|J1W*OfXoQ$2D_JX ot) G $[)ɮz OrG ^Nv]Z)eF $ 6ƽ0
͈F,[|PJ:
/No
'7d9J.ٍPZ}y>1D(֚|^>