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 $D ]/]HOLCF:threads=2elapsed=18.296cpu=35.984gc=2.304factor=1.977zXZִF! ?]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VB(\-QG.APT(K&X|dN5$[[exP&i|:LMJWJ;޶8`îح9O#0|xzeR\7S'ҝg x[Q TSiŕ& # :<'5#0D5_j\fXLl<l ż_bns :#](wg0(rzƯ#}]DI:HaQwɾ“|EWjEQ؝eu!N~1"ט}z"Qwhce\`93:Yv|}~ 1L+bqݮɇnfF94m J&xuVP'eqj@g dgޡHۄIup)z]}*Q\AWyքMQ "zdO e}$!hԋ8qﲭSӭq,lm]V5a:<;rprkjQ 9}CKaԆvG/S?D͈UNOI/64 &_Z%%4&Mfq+;x5Bk/qFSE{:ǙrZ! 82 1ȱk< j|UTl#U|צ{).$ٌA;)Iߠ5NĹ8Ҷ>[V}#+h;K?a6?+ρIP"E7$y~u>,uTyc6.QnYVrǝP_]͛P$7'zf~}]Plyn{T,_O2~Y`ѸՉ0ōvC"*s:R;7p4MNq<o^W#]TᣆjNMGU=HLO\)u4xArM9: U(ބ̑8$:f:OE&L#0|K$T?z4 ; pYj.^DMD6VJҪ@wd~& ʹ\fPU~,hNHxNVMYlpH- W1S LUR_+f!'1 2\H[N@h1}}3gA:g)Pp44ᷗJ=ͭ _Tv5NҎlkkv4fgN*]X[+:mP @1cz;QPs~NgD! sPگm:'ơMVuY5#m^*Fn:&68f QZa hBN߫VGs42j4 [DНlЈ3IY?%0{VC6b|>}_>gtLg@gIxW3w*E|TMI@pG:2 l8MenlŤ?ysm=fA3?YR5m™YR;$vz _=^f})8`ؕ+6D$l_fR :E}+šv 3gYZ2bd9da9a8bc7ea3101e365282ddb119d2db2c52731bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1b019279a3daae570320d38a60badc595e098c1d0  HOLCF