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  44 ]/]HOLCF:threads=6elapsed=12.574cpu=36.136gc=2.060factor=2.877zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NV c:iN1IqS5tR+ *JLwS(X.KQppVuS,w+"k7r\g|<0+#,TZa1gP* bСq%l@~D+&a"DZ~ۨH(x}1j./m[fL#3gYZ7zXZִF! R]ŗXiɟ>Ӈɇ9S2]wm¿CQCĜmU<.,\qcK_֦.3""ɺG0TTt$F$oO/.6vY`P[ ЅƚYrZ5u;J*'Iu0lgEEB!]CT;- O )nPEY΋"s;5.<9qF'^ ,GcK*W #+ߢy - Sf!Vޟ2jv)[ܴR2 uw'%ˤE/#b 5cbV+ f8I6x*o9׫Bxb9 =KL0!g>/FCpb̓o_,_~%?& `v"dpD!4~ѝ[K zh`=i6SH &;{.:a^ۭ:P=ꀝs)zD>'Xn9y1pGLb%&^ -c=ĔqfDZK(Nk@ٱlL! Rc>PC:?ÛTF]qFs[N/ҢЌq(޼`lXFߕb`- KI5ɐR?*5lJuwnHG63=.b w j}o@:媽VGGO-n}UF#Mi-bOgcS0|S8j_P͋`仯۾2&dՅUJ$)iYQ Kb-C{L(f;Z މ\l1y_חAH4C]5IK6$515{ T.3Ґ:JQ a]Qg(€ދY#"P>6qе<6p-+ \9#djo>N5ERs?x2%Rmxs nh 2񓰛wf&]F+`/^S$(IԆy4v}XgYZ708fb4e06debc9ed50294a6c68fbddcb1442673810764ddc346d5177be378b761316527db367ec3e a0b11f9c133aa49ac228f451be8e515f846bafaf5d58fd94539c33248592dbca1bbe0e90d754e822  HOLCF